Loose programming with PROPHETS

Abstract

Loose programming is an extension to graphical process modeling that is tailored to automatically complete underspecified (loose) models using a combination of data-flow analysis and LTL synthesis. In this tool demonstration we present PROPHETS 1, our current implementation of the loose programming concept. The first part of the demonstration focuses on the preparative domain modeling, where a domain expert annotates the available services with semantic (ontological) information. The second part is then concerned with the actual loose programming, where a process modeler orchestrates the services without having to care about technical details like correct typing, interface compatibility, or platform-specific details. The orchestrated process skeletons are treated as loose service orchestrations that are automatically completed to running applications. © 2012 Springer-Verlag Berlin Heidelberg.