A Design Tool for Service-oriented Systems

Eduard Paul Enoiu, Raluca Marinescu, Aida Čaušević, Cristina Seceleanu
2013 Electronical Notes in Theoretical Computer Science  
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
more » ... en 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.
doi:10.1016/j.entcs.2013.04.008 fatcat:7upyn5wgkvggrpc65gwl3oxdvy