Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Distributed and Parallel Databases
Building Reliable Web Services Compositions
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Compositional knowledge management for medical services on semantic web
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A high-level specification for Semantic Web Service Discovery Services
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
An approach for managing web services changes
International Journal of Information Systems and Change Management
An Automaton-based Approach for Web Service Mediation
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
| Hi-index | 0.00 |
We define a high-level model to mathematically capture the semantical meaning of abstract Virtual Providers (VP), their instantiation and their composition into rich mediator structures.