Design and validation of computer protocols
Design and validation of computer protocols
A framework for modeling transfer protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Impartial Anticipation in Runtime-Verification
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Deadlocks: From Exhibiting to Healing
Runtime Verification
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Using projections for the detection of anomalous behaviors
SDL'03 Proceedings of the 11th international conference on System design
Describing component collaboration using goal sequences
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System
ECBS '10 Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
A comprehensive engineering framework for guaranteeing component compatibility
Journal of Systems and Software
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
A major challenge of dynamic composition is to find ways to model components and analyze their composition in order to guarantee that the composition is free from interaction errors and deadlocks. Existing techniques for validation typically require expert knowledge in formal modelling and reasoning, and do not lend themselves to be used at runtime. However, we find that a coarse-grained description of a composition can be sufficient to ensure the consistency of compositions and to detect potential deadlocks. Our approach requires software developers to specify component models from which the properties needed for validation at runtime can be derived, and to perform some well-formedness and compliancy checks at design time. The new development tasks are integrated in a UML-based development process using concepts that developers are familiar with. The assessment of the approach indicates that developers with ordinary modelling skills are able to detect problems in composition at an early stage, and thereby design safe systems in an efficient manner.