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 synthesis. 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 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.

[1]  Tiziana Margaria,et al.  Semantics-based composition of EMBOSS services , 2011, J. Biomed. Semant..

[2]  Tiziana Margaria,et al.  Constraint-Guided Workflow Composition Based on the EDAM Ontology , 2010, SWAT4LS.

[3]  Bernhard Steffen,et al.  Tailoring Process Synthesis to Domain Characteristics , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[4]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[5]  Tiziana Margaria,et al.  Tool-supported enhancement of diagnosis in model-driven verification , 2009, Innovations in Systems and Software Engineering.

[6]  Tiziana Margaria,et al.  Synthesis-Based Loose Programming , 2010, 2010 Seventh International Conference on the Quality of Information and Communications Technology.