The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Interoperability among Heterogeneous Services
SCC '06 Proceedings of the IEEE International Conference on Services Computing
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model
ICSEA '09 Proceedings of the 2009 Fourth International Conference on Software Engineering Advances
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards a transformation of composite web service with QoS extension into ACME\Armani
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
| Hi-index | 0.00 |
SOA (Service Oriented Architecture) defines a new Web services cooperation paradigm in order to develop distributed applications using reusable services. The handling of such collaboration has different problems that lead to many research efforts. In this paper, we address the problem of Web service composition. Indeed, various heterogeneities can arise during the composition. The resolution of these heterogeneities, called mediation, is needed to achieve a service composition. In this paper, we propose a sound approach to formalize Web services composition mediation with the ADL (Architecture Description Language) ACME. To do so, we first model the meta model of composite service manager and mediation. Then we specify semi formal properties associated with this meta model using OCL (Object Constraint Language). Afterwards, we formalize the mediation protocol using Armani, which provides a powerful predicate language in order to ensure service execution reliability.