Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Notes on the methodology of CCS and CSP
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal verification of parallel programs
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
COTS Integration: Plug and Pray?
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
An improvement in formal verification
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
IEEE Transactions on Software Engineering
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Journal of Systems and Software
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
Temporal logic for scenario-based specifications
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The Future of Software: Adaptation and Dependability
Software Engineering
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Using strong conflicts to detect quality issues in component-based complex systems
Proceedings of the 3rd India software engineering conference
Concurrency control generation for dynamic threads using discrete-event systems
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Towards a formal framework for reasoning about the resilience of dynamic interactive systems
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
An integrated development and runtime environment for the future internet
The Future Internet
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Broken sets in software repository evolution
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
On software component co-installability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
| Hi-index | 0.00 |
One of the main problems in component assembly is how to establish properties on the assembly code by only assuming a limited knowledge of the single component properties. Our answer to this problem is an architectural approach in which the software architecture imposed on the assembly prevents black-box integration anomalies. The basic idea is to build applications by assuming a ''coordinator-based'' architectural style. We, then, operate on the coordinating part of the system architecture to obtain an equivalent version of the system which is failure-free. A failure-free system is a deadlock-free one and it does not violate any specified coordination policy. A coordination policy models those interactions of components that are actually needed for the overall purpose of the system. We illustrate our approach by means of an explanatory example and validate it on an industrial case study that concerns the development of systems for safeguarding, fruiting, and supporting the Cultural Heritage.