Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Model checking
Deductive verification of real-time systems using STeP
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Software product lines: practices and patterns
Software product lines: practices and patterns
Specification, implementation, and deployment of components
Communications of the ACM
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
A Component Model for Field Devices
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Structured performance analysis for component-based systems
International Journal of Critical Computer-Based Systems
Structured analysis for component-based systems: an EJB/CORBA application
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |
In this work we introduce a new formal model for software components supporting behavioral interpretability based on temporal logic, Petri nets, model checking, and an assume-guarantee strategy to specify and reason about the composition of concurrent component systems. The formal specification and verification strategies, methods, and techniques presented in this work contribute to the development of more dependable component-based software systems, in a modular way. An approach based on two complementary formalisms, Hierarchical Colored Petri Nets (HCPN) and temporal logic, is introduced. HCPN are used to visualize the structure and model the behavior of software architectures and components, and temporal logic is used to specify the required properties of software architectures and component interfaces.