Skip to main content
Conference ProceedingsOPEN ACCESS

Formally modeling, executing, and testing service-oriented systems with UML and OCL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2017) 10601 LNCS 113-122
DOI: 10.1007/978-3-319-69035-3_8
2Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

One of the issues that developers of service-oriented systems currently discuss is the lack of practical, but formal modeling notations and tools that can address the many different, important aspects. This paper presents an approach to model structural and behavioral properties of service-oriented systems with UML and OCL models. Essential service-oriented concepts as service request, service provision or orchestration are formally represented by UML concepts. The models can be executed, tested and analyzed. Feedback is given to the developer in terms of the UML and OCL model.

Cite

CITATION STYLE

APA

Burgueño, L., & Gogolla, M. (2017). Formally modeling, executing, and testing service-oriented systems with UML and OCL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10601 LNCS, pp. 113–122). Springer Verlag. https://doi.org/10.1007/978-3-319-69035-3_8

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free