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
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Formal Model for Semantic-Driven Service Execution
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A formal model for service mediators
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Hi-index | 0.00 |
We define a high-level model to mathematically capture the behavioural interface of abstract Virtual Providers (VP), their refinements and their composition into rich mediator structures. We show for a Virtual Internet Service Provider example how to use such a model for rigorously formulating and proving properties of interest.