Model-driven development with the jABC
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Synthesis-Based Loose Programming
QUATIC '10 Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology
Tailoring Process Synthesis to Domain Characteristics
ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Scientific workflows: eternal components, changing interfaces, varying compositions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
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.