Specifying real-time properties with metric temporal logic
Real-Time Systems
Information Processing Letters
Reasoning about infinite computations
Information and Computation
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Theoretical Computer Science - Implementation and application of automata
Proceedings of the 14th international conference on World Wide Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Design for verification for asynchronously communicating Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Analysis of communication models in web service compositions
Proceedings of the 15th international conference on World Wide Web
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Formal Methods in System Design
An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Safety metric temporal logic is fully decidable
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An interface theory for service-oriented design
Theoretical Computer Science
| Hi-index | 0.00 |
We address the problem of ensuring that, when an application executing a service binds to a service that matches required functional properties, both the application and the service can work together, i.e., their composition is consistent. Our approach is based on a component algebra for service-oriented computing in which the configurations of applications and of services are modelled as asynchronous relational nets typed with logical interfaces. The techniques that we propose allow for the consistency of composition to be guaranteed based on properties of service orchestrations (implementations) and interfaces that can be checked at design time, which is essential for supporting the levels of dynamicity required by run-time service binding.