Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL





Publicado en

Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018)

Licencia Creative Commons


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. Our approach supports the automatic generation of test scenarios in which, for example, the availability of services can be checked. Furthermore, the consistency of the service model can be proved by constructing test scenarios.


Acerca de Burgueño, Lola

Palabras clave

Formal Modeling, Service-oriented Systems, UML/OCL
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX