Loose Programming with PROPHETS

摘要

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 syn thesis. In this tool demonstration we present PROPHETS, our current implementation of the loose programming concept. The first part of the demonstration focuses on the preparative domain modeling, where a do main 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 com patibility, or platform-specific details. The orchestrated process skeletons are treated as loose service orchestrations that are automatically com pleted to running applications.