Synthesis-based loose programming

Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010

Volumn , Issue , 2010, Pages 262-267

  Lamprecht, Anna Lena ^a   Naujokat, Stefan ^a   Margaria, Tiziana ^b   Steffen, Bernhard ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION-SPECIFIC; EXECUTABLE PROCESS; FLOW GRAPH; GRAPHICAL FORMALISMS; PROCESS COMPONENT; PROCESS FLOWS; PROCESS SYNTHESIS;

DATA FLOW ANALYSIS; GRAPHIC METHODS; INFORMATION TECHNOLOGY; MODEL CHECKING; SEMANTICS; SPECIFICATIONS;

TEMPORAL LOGIC;

EID: 78751535459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QUATIC.2010.53     Document Type: Conference Paper

References (25)

1. B. Steffen, T. Margaria, R. Nagel, S. Jörges, and C. Kubczak, Model-Driven Development with the jABC, ser. LNCS. Springer Berlin/Heidelberg, 2006, vol. 4383, pp. 92-108.
2. D. Bjørner, Software Engineering - Abstraction and Modelling. Springer, Feb. 2006.
3. B. Steffen, T. Margaria, and B. Freitag, "Module Configuration by Minimal Model Construction, " 1993.
4. B. Freitag, B. Steffen, T. Margaria, and U. Zukowski, "An Approach to Intelligent Software Library Management, " in Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA). World Scientific Press, 1995, p. 71-78.
5. B. Steffen, "Characteristic Formulae, " in ICALP, ser. Lecture Notes in Computer Science, vol. 372, 1989, pp. 723-732.
6. B. Steffen and A. Ingólfsdóttir, "Characteristic Formulae for Processes with Divergence, " Inf. Comput., vol. 110, no. 1, pp. 149-163, 1994.
7. O. Kupfermann and M. Y. Vardi, "mu-calculus Synthesis, " in Mathematical Foundations of Computer Science 2000, 2000.
8. F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, 2nd ed. Springer-Verlag Berlin Heidelberg, 2005.
9. M. Bakera, T. Margaria, C. Renner, and B. Steffen, "Verification, Diagnosis and Adaptation: Tool-supported enhancement of the model-driven verification process, " in Revue des Nouvelles Technologies de l'Information (RNTI-SM-1), Dec. 2007, p. 85-98.
10. E. A. Emerson, "Model Checking and the Mu-calculus, " in Descriptive Complexity and Finite Models, 1996, pp. 185-214.
11. M. Montali, M. Pesic, W. M. P. van der Aalst, F. Chesani, P. Mello, and S. Storari, "Declarative specification and verification of service choreographiess, " TWEB, vol. 4, no. 1, 2010.
12. M. Pesic, H. Schonenberg, and W. M. P. van der Aalst, "DECLARE: Full Support for Loosely-Structured Processes, " in Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007, pp. 287-300.
13. W. M. P. van der Aalst and M. Pesic, "DecSerFlow: Towards a Truly Declarative Service Flow Language, " in Web Services and Formal Methods. Third International Workshop, ser. Lecture Notes in Computer Science, vol. 4184. Springer Berlin/Heidelberg, 9 2006, pp. 1-23.
14. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. The MIT Press, 1999.
15. A. Pnueli and R. Rosner, "On the synthesis of a reactive module, " in Annual Symposium on Principles of Programming Languages, 1989.
16. R. Fikes and N. J. Nilsson, "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, " Artif. Intell., vol. 2, no. 3/4, pp. 189-208, 1971.
17. S. Russel and P. Norvig, Artificial Intelligence: A Modern Approach, 3rd ed. Prentice Hall, 12 2009.
18. J. McCarthy and P. J. Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence, " in Machine Intelligence 4, B. Meltzer and D. Michie, Eds. Edinburgh University Press, 1969, pp. 463-502.
19. K. Erol, J. Hendler, and D. S. Nau, "HTN Planning: Complexity and Expressivity, " AAAI-94, vol. 2, pp. 1123-1128, 1994.
20. F. Bacchus and F. Kabanza, "Using temporal logics to express search control knowledge for planning, " Artif. Intell., vol. 116, no. 1-2, pp. 123-191, 2000.
21. M. C. Mayer, A. Orlandini, G. Balestreri, and C. Limongelli, "A Planner Fully Based on Linear Time Logic, " in AIPS, 2000, pp. 347-354.
22. E. Boiten, "Loose Specification and Refinement in Z, " in ZB 2002: Formal Specification and Development in Z and B, 2002, pp. 241-250.
23. A. Solar-Lezama, The Sketching Approach to Program Synthesis. Springer Berlin/Heidelberg, 2009, ch. 3, pp. 4-13.
24. A.-L. Lamprecht, T. Margaria, and B. Steffen, "Bio-jETI: a framework for semantics-based service composition, " BMC Bioinformatics, vol. 10, 2009.
25. A.-L. Lamprecht, S. Naujokat, B. Steffen, and T. Margaria, "Semantics- Based Composition of EMBOSS Services with Bio-jETI, " in Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). CEUR Workshop Proceedings, vol. 559, 11 2009.