A formal model for service mediators

Authors:
Klaus-Dieter Schewe;Qing Wang
Affiliations:
Software Competence Center Hagenberg, Hagenberg, Austria;University of Otago, Dunedin, New Zealand
Venue:
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Year:
2010

Citing 17
Cited 0

Kleene algebra with tests

ACM Transactions on Programming Languages and Systems (TOPLAS)
Sequential abstract-state machines capture sequential algorithms

ACM Transactions on Computational Logic (TOCL)
Handbook of Process Algebra

Handbook of Process Algebra
Meme Media and Meme Market Architectures: Knowledge Media for Editing, Distributing, and Managing Intellectual Resources

Meme Media and Meme Market Architectures: Knowledge Media for Editing, Distributing, and Managing Intellectual Resources
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Service-Oriented Computing: Key Concepts and Principles

IEEE Internet Computing
Conceptual modelling of web information systems

Data & Knowledge Engineering
Service-Oriented Architecture: Concepts, Technology, and Design

Service-Oriented Architecture: Concepts, Technology, and Design
Representing, analysing and managing web service protocols

Data & Knowledge Engineering - Special issue: ER 2004
Service oriented architectures: approaches, technologies and research issues

The VLDB Journal — The International Journal on Very Large Data Bases
Service-oriented architecture and Web services penetration in next-generation networks

Bell Labs Technical Journal - Bell Labs International
Using a model-driven transformational approach and service-oriented architecture for service delivery management

IBM Systems Journal
Semantic Service Provisioning

Semantic Service Provisioning
Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility

Future Generation Computer Systems
Research on cloud storage architecture and key technologies

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Web Services: Concepts, Architectures and Applications

Web Services: Concepts, Architectures and Applications
An abstract model for process mediation

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a model of service mediators, which are high-level specifications of service-based applications. These mediators provide slots that are to be filled by actual services. Suitable services have to match the specification of the slots according to functional and categorical characteristics. Services and mediators are based on the ASM-based model of Abstract State Services.