Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
WS-Net: A Petri-net Based Specification Model for Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Domain-Specific Modeling
Enterprise SOA: Designing IT for Business Innovation
Enterprise SOA: Designing IT for Business Innovation
Multiparty asynchronous session types
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation
Precise Steps for Choreography Modeling for SOA Validation and Verification
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
MBT4Chor: A Model-Based Testing Approach for Service Choreographies
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Rodin: an open toolset for modelling and reasoning in Event-B
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on VSTTE 2008
Model-Driven Service Integration Testing - A Case Study
QUATIC '10 Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology
Scribbling interactions with a formal foundation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
| Hi-index | 0.00 |
Service-based applications are based on modern architectures that require careful design of interfaces and protocols to allow smooth integration of service components. These design artifacts are not only useful for implementation, but could also be used for the derivation of integration tests. In order to be applied in these different activities of the development process, they have to conform to existing requirements and other specifications at different architectural levels. In addition, their internal consistency has to be ensured. In this paper, we present an approach to service integration based on a domain-specific language for service choreographies. We first explain the motivation for our work by defining the industrial context that led to the definition of a domain-specific choreography language, called message choreography modeling (MCM). We then provide syntax and semantics for MCM, together with suitable methods for ensuring its consistency. Finally, we report on our experience in applying the described language in practice.