TY - GEN
T1 - Synthesis-based loose programming
AU - Lamprecht, Anna Lena
AU - Naujokat, Stefan
AU - Margaria, Tiziana
AU - Steffen, Bernhard
PY - 2010
Y1 - 2010
N2 - In this paper we present loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style. Key to this approach is the concept of loose specification, a graphical formalism that allows developers to express their processes just by sketching them as kinds of flow graphs without caring about types, precise knowledge about the available process components or the availability of resources. They only have to specify the rough process flow graphically in terms of ontologically defined 'semantic' entities. These loose specifications are then concretized to fully executable process code automatically by means of a combination of 1) data-flow analysis, ensuring the availability of the required resources, 2) temporal logic-based process synthesis, resolving type conflicts and taking care of correct component instantiation, and 3) model checking, to ensure global intents and invariants expressed in temporal logic.
AB - In this paper we present loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style. Key to this approach is the concept of loose specification, a graphical formalism that allows developers to express their processes just by sketching them as kinds of flow graphs without caring about types, precise knowledge about the available process components or the availability of resources. They only have to specify the rough process flow graphically in terms of ontologically defined 'semantic' entities. These loose specifications are then concretized to fully executable process code automatically by means of a combination of 1) data-flow analysis, ensuring the availability of the required resources, 2) temporal logic-based process synthesis, resolving type conflicts and taking care of correct component instantiation, and 3) model checking, to ensure global intents and invariants expressed in temporal logic.
UR - http://www.scopus.com/inward/record.url?scp=78751535459&partnerID=8YFLogxK
U2 - 10.1109/QUATIC.2010.53
DO - 10.1109/QUATIC.2010.53
M3 - Conference contribution
AN - SCOPUS:78751535459
SN - 9780769542416
T3 - Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
SP - 262
EP - 267
BT - Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
T2 - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
Y2 - 29 September 2010 through 2 October 2010
ER -