PROGRESS publications

A Design Tool for Service-oriented Systems

Full text:
Authors:	Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
Source:	Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), p Volume 295, Pages 95, Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS), Estonia, Editor(s):Barbora Buhnova, Lucia Happe and Jan Kofron
Notes:	Final version published online: 9-MAY-2013
DOI:	10.1016/j.entcs.2013.04.008

Abstract

In this paper we present a modeling and analysis tool for service-oriented systems. The tool enables graphical modeling of service-based systems, within the resource-aware timed behavioral language REMES, as well as a textual system description. We have developed a graphical environment where services can be composed as desired by the user, together with a textual service composition interface in which compositions can also be checked for correctness. We also provide automated traceability between the two design interfaces, which results in a tool that enhances the potential of system design by intuitive service manipulation. The paper presents the design principles, infrastructure, and the user interface of our tool.

BibTeX entry

@inproceedings{Paul_2749:2013, author = {Eduard Paul Enoiu and Raluca Marinescu and Aida Causevic and Cristina Seceleanu}, title = {A Design Tool for Service-oriented Systems}, booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)}, month = {May}, year = {2013}, pages = {Volume 295, Pages 95}, editor = {Barbora Buhnova, Lucia Happe and Jan Kofron}, publisher = {Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS)}, url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2749}, }

Mälardalen University |
Box 883 |
721 23 Västerås/Eskilstuna |
021-101300, 016-153600 |
webmaster |
Latest update: 2009.11.03