The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
IEEE Transactions on Software Engineering
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
A formal approach to software architecture
A formal approach to software architecture
Software—Practice & Experience
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Composite contract enforcement in hierarchical component systems
SC'07 Proceedings of the 6th international conference on Software composition
Fractal component-based software engineering
ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Component service promotion: contracts, mechanisms and safety
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Hi-index | 0.00 |
The Kmelia component model is an abstract formal component model based on services. It is dedicated to the specification and development of correct components. This work enriches the Kmelia language to allow the description of data, expressions and assertions when specifying components and services. The objective is to enable the use of assertions in Kmelia in order to support expressive service descriptions, to support client/supplier contracts with pre/post-conditions, and to enhance formal analysis of component-based systems. Assertions are used to perform analysis of services, component assemblies and service compositions. Additionally we enable the definition of virtual contexts for required services and the corresponding observable state space for the components which provide the services. We illustrate the work with the verification of consistency properties involving data at component and assembly levels.