Communicating sequential processes
Communicating sequential processes
Real-time object-oriented modeling
Real-time object-oriented modeling
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Component-based product line engineering with UML
Component-based product line engineering with UML
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Assumption Generation for Software Component Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Verified systems by composition from verified components
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Towards Component-Based Design and Verification of a μ-Controller
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The refinement process of component designs is one of the basic building blocks for systematic component-based development. In this process, identifying inconsistent specifications of interactions among refined and refining components can be a critical issue for system safety and/or reliability.To efficiently identify interaction inconsistencies, we have been developing a consistency checking framework integrated into the model-driven component-based development methodology Marmot, using model checking as a debugging tool. We introduce our notion of interaction consistency, propose a general framework for integrating the consistency checking mechanism into the refinement process, and demonstrate how the efficiency of identifying inconsistencies can be improved through abstractions.