Tailoring process synthesis to domain characteristics

Proceedings - 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011

Volumn , Issue , 2011, Pages 167-175

  Naujokat, Stefan ^a   Lamprecht, Anna Lena ^a   Steffen, Bernhard ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Domain modeling; Process synthesis; Temporal logic constraints

Indexed keywords

APPLICATION DOMAINS; CONFIGURATION OPTIONS; DATA EXCHANGE FORMAT; DOMAIN MODELING; FLEXIBLE FRAMEWORK; LOGIC CONSTRAINTS; PROCESS SYNTHESIS; SEARCH SPACES; SHARED VARIABLES; SYNTHESIS STRATEGY; TEMPORAL LOGIC CONSTRAINTS;

TEMPORAL LOGIC;

EID: 79960521628     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2011.24     Document Type: Conference Paper

References (34)

1. T. Margaria, B. Steffen, and M. Reitenspieß, "Service-Oriented Design: The Roots," in ICSOC, 2005, pp. 450-464. (Pubitemid 43856204)
2. D. Bianchini, V. D. Antonellis, B. Pernici, and P. Plebani, "Ontology-based methodology for e-service discovery," Information Systems, vol. 31, no. 4-5, pp. 361 - 380, 2006, the Semantic Web and Web Services. (Pubitemid 43290448)
3. T. Vitvar, M. Zaremba, and M. Moran, "Dynamic Service Discovery Through Meta-interactions with Service Providers," in The Semantic Web: Research and Applications, 2007, pp. 84-98. (Pubitemid 47290001)
4. A. Pnueli and R. Rosner, "On the synthesis of a reactive module," in Annual Symposium on Principles of Programming Languages, 1989.
5. 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.
6. 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.
7. 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. (Pubitemid 30560298)
8. M. C. Mayer, A. Orlandini, G. Balestreri, and C. Limongelli, "A Planner Fully Based on Linear Time Logic," in AIPS, 2000, pp. 347-354.
9. D. A. Basin, Y. Deville, P. Flener, A. Hamfelt, and J. F. Nilsson, "Synthesis of Programs in Computational Logic," in Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, ser. Lecture Notes in Computer Science, vol. 3049. Springer, 2004, pp. 30-65.
10. A. Solar-Lezama, "The Sketching Approach to Program Synthesis," in Proc. of 7th Asian Symposium on Programming Languages and Systems (APLAS 2009). Springer Berlin / Heidelberg, 2009, pp. 4-13.
11. S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari, "Oracle-guided component-based program synthesis," in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1 (ICSE 2010). Cape Town, South Africa: ACM, 5 2010, pp. 215-224.
12. S. Srivastava, S. Gulwani, and J. S. Foster, "From program verification to program synthesis," in Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010). Madrid, Spain: ACM, 1 2010, pp. 313-326.
13. A.-L. Lamprecht, S. Naujokat, T. Margaria, and B. Steffen, "Synthesis-Based Loose Programming," in Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC), Sep. 2010.
14. 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.
15. T. Margaria and B. Steffen, "Lightweight coarse-grained coordination: a scalable system-level approach," STTT, vol. 5, no. 2-3, pp. 107-123, 2004.
16. B. Steffen, T. Margaria, and A. Claßen, "Heterogeneous Analysis and Verification for Distributed Systems," Software - Concepts and Tools, vol. 17, no. 1, pp. 13-25, 1996.
17. 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.
18. 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.
19. 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. (Pubitemid 44849748)
20. T. Margaria and B. Steffen, "Agile IT: Thinking in User-Centric Models," in Leveraging Applications of Formal Methods, Verification and Validation, ser. Communications in Computer and Information Science, T. Margaria and B. Steffen, Eds., vol. 17. Springer Berlin Heidelberg, 2009, pp. 490-502.
21. B. Steffen, T. Margaria, and B. Freitag, "Module Configuration by Minimal Model Construction," Fakultät für Mathematik und Informatik, Universität Passau, Tech. Rep., 1993.
22. B. Freitag, T. Margaria, and B. Steffen, "A Pragmatic Approach to Software Synthesis," in Workshop on Interface Definition Languages, 1994, pp. 46-58.
23. 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.
24. T. Margaria and B. Steffen, "Second-Order Semantic Web," in Proc. of 29th Annual IEEE/NASA Software Engineering Workshop. Los Alamitos, CA, USA: IEEE Computer Society, 2005, pp. 219-227. (Pubitemid 44419299)
25. B. Steffen, T. Margaria, A. Claßen, and V. Braun, "Incremental Formal-ization: A Key to Industrial Success," Software - Concepts and Tools, vol. 17, no. 2, pp. 78-, 1996.
26. C. Topnik, E. Wilhelm, T. Margaria, and B. Steffen, "jMosel: A Stand Alone Tool and jABC Plugin for M2L(Str)," in Model Checking Software: 13th International SPIN Workshop, Vienna (Austria), ser. LNCS, vol. 3925/2006. Springer-Verlag, 2006, pp. 293-298. (Pubitemid 44019632)
27. T. Margaria, D. Meyer, C. Kubczak, M. Isberner, and B. Steffen, "Synthesizing Semantic Web Service Compositions with jMosel and Golog," in The Semantic Web - ISWC 2009, ser. LNCS, vol. 5823. Springer Berlin / Heidelberg, 2009, pp. 392-407.
28. S. Russel and P. Norvig, Artificial Intelligence: A Modern Approach, 3rd ed. Prentice Hall, 12 2009.
29. P. Lord, S. Bechhofer, M. D. Wilkinson, G. Schiltz, D. Gessler, D. Hull, C. Goble, and L. Stein, "Applying Semantic Web Services to Bioinfor-matics: Experiences Gained, Lessons Learnt," in The Semantic Web - ISWC 2004, 2004, pp. 350-364. (Pubitemid 39743894)
30. K. Wolstencroft, P. Alper, D. Hull, C. Wroe, P. W. Lord, R. D. Stevens, and C. A. Goble, "The (my)Grid ontology: bioinformatics service discovery," International Journal of Bioinformatics Research and Applications, vol. 3, no. 3, pp. 303-325, 2007, PMID: 18048194. (Pubitemid 47613193)
31. M. DiBernardo, R. Pottinger, and M. Wilkinson, "Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework," Journal of Biomedical Informatics, vol. 41, no. 5, pp. 837-847, Oct. 2008, PMID: 18373957.
32. M. D. Wilkinson, B. Vandervalk, and L. McCarthy, "SADI Semantic Web Services - 'cause you can't always GET what you want!" in Proceedings of the IEEE Services Computing Conference: 7-11 December 2009, Singapore. APSCC 2009. IEEE Asia-Pacific, 2009, pp. 13-18.
33. A.-L. Lamprecht, S. Naujokat, B. Steffen, and T. Margaria, "Semantics-Based Composition of EMBOSS Services with Bio-jETI," in Proceedings of the 2nd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009): 20 November 2009, Amsterdam., M. S. Marshall, A. Burger, P. Romano, A. Paschke, and A. Splendiani, Eds., vol. 559. CEUR Workshop Proceedings, 2009.
34. P. Rice, I. Longden, and A. Bleasby, "EMBOSS: the European Molecular Biology Open Software Suite," Trends in Genetics: TIG, vol. 16, no. 6, p. 276-7, Jun. 2000, PMID: 10827456.