A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
An ASM-based executable formal model of service-oriented component interactions and orchestration
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Expert Systems with Applications: An International Journal
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
UML extensions for service-oriented systems
Rigorous software engineering for service-oriented systems
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Rigorous software engineering for service-oriented systems
Semantic-based transaction model for web service
Information Systems Frontiers
A reliability model for Service Component Architectures
Journal of Systems and Software
Hi-index | 0.01 |
Software systems based on Service-Oriented Architectures (SOAs) promise high flexibility, improved maintainability, and simple re-use of functionality. A variety of languages and standards have emerged for working with SOA artifacts; however, service computing still lacks an effective and intuitive model-driven approach starting from models written in an established modeling language like UML and, in the end, generating comprehensive executable code. In this paper, we present a conservative extension to the UML2 for modeling service orchestrations at a high level of abstraction, and a fully automatic approach for transforming these orchestrations down to the well known Web Service standard BPEL.