Communicating sequential processes
Communicating sequential processes
Three partition refinement algorithms
SIAM Journal on Computing
Communication and concurrency
IEEE Transactions on Software Engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
The gamma model and its discipline of programming
Science of Computer Programming
Selected papers of the Second Workshop on Concurrency and compositionality
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Programming by multiset transformation
Communications of the ACM
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
WISR8: 8th annual workshop on software reuse: summary and working group reports
ACM SIGSOFT Software Engineering Notes
A partially deadlock-free typed process calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
What Do You get From a Pi-Calculus Semantics?
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Relating CHAM Descriptions of Software Architectures
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
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
A notation for problematic architecture interactions
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The impact of component architectures on interoperability
Journal of Systems and Software
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The Influence of Software Module Systems on Modular Verification
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
Journal of Systems and Software - Special issue on: Component-based software engineering
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
ACM SIGSOFT Software Engineering Notes
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Patterns of conflict among software components
Journal of Systems and Software
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Proceedings of the 2006 international symposium on Software testing and analysis
Automatic generation of assumptions for modular verification of software specifications
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Towards Component Verification in the Generic Component Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Using strong conflicts to detect quality issues in component-based complex systems
Proceedings of the 3rd India software engineering conference
Modular analysis of dataflow process networks
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Adaptor synthesis for real-time components
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Composition management interfaces for a predictable assembly
SC'07 Proceedings of the 6th international conference on Software composition
Journal of Systems and Software
Needed foundations for assuring the desirable behavior of software-reliant systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
Component-oriented verification of noninterference
Journal of Systems Architecture: the EUROMICRO Journal
Automating the building of software component architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Preserving architectural properties in multithreaded code generation
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Partition refinement of Component Interaction Automata
Science of Computer Programming
Broken sets in software repository evolution
Proceedings of the 2013 International Conference on 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
Hi-index | 0.00 |
A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static properties, much work remains in the area of dynamics. In particular, components make assumptions about their behavioral interaction with other components, but currently we have only limited ways in which to state those assumptions and to analyze those assumptions for correctness. We have formulated a method that begins to address this problem. The method operates at the architectural level so that behavioral integration errors, such as deadlock, can be revealed early and at a high level. For each component, a specification is given of its interaction behavior. Form this specification, assumptions that the component makes about the corresponding interaction behavior of the external context are automatically derived. We have defined an algorithm that performs compatibility checks between finite representations of a component's context assumptions and the actual interaction behaviors of the components with which it is intended to interact. A configuration of a system is possible if and only if a successful way of matching actual behaviors with assumptions can be found. The state-space complexity of this algorithm is significantly less than that of comparable approaches, and in the worst case, the time complexity is comparable to the worst case of standard rachability analysis.