A Design Tool for Service-oriented Systems
2013 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 295, 95-100 p.Article in journal (Other academic) Published
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.
Place, publisher, year, edition, pages
2013. Vol. 295, 95-100 p.
Research subject Computer Science
IdentifiersURN: urn:nbn:se:mdh:diva-14128DOI: 10.1016/j.entcs.2013.04.008ScopusID: 2-s2.0-84877250201OAI: oai:DiVA.org:mdh-14128DiVA: diva2:488104
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)