A formal framework for developing adaptable service-based applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4961 LNCS, Issue , 2008, Pages 392-406

  Lambers, Leen ^a   Mariani, Leonardo ^b   Ehrig, Hartmut ^a   Pezzè, Mauro ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; APPLICATION DOMAINS; BEST PRACTICES (BP); BUSINESS PROCESSES (BP); CONFERENCES (CHEMICAL INDUSTRY); CONTROL FLOWS; CUSTOMIZABLE; DATA FLOWS; ENVIRONMENTAL CONDITIONING; EUROPEAN; EXPERT USERS; FORMAL APPROACH; FORMAL FRAMEWORK; GRAPH TRANSFORMATION SYSTEMS; HEIDELBERG (CO); INDIVIDUAL (PSS 544-7); INTERACTIVE APPLICATIONS; INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; INTEROPERABLE; LIVE SEQUENCE CHARTS; MODEL BASED APPROACHES; SERVICE-BASED; WEB BASED APPLICATIONS; WEB SERVICE TECHNOLOGIES;

CONTROL SYSTEMS; DATA FLOW ANALYSIS; DATA PROCESSING; FORMAL LOGIC; GRAPHIC METHODS; INFORMATION SERVICES; INFORMATION THEORY; INTEROPERABILITY; SOFTWARE ENGINEERING; WEB SERVICES; WORLD WIDE WEB;

APPLICATIONS;

EID: 47249105655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78743-3_29     Document Type: Conference Paper

References (18)

1. Lorenzoli, D., Mussino, S., Pezzè, M., Schilling, D., Sichel, A., Tosi, D.: A soa-based self-adaptive personal mobility manager. In: IEEE Conference on Service Computing (2006)
2. Nguyen, T.N.: Model-based version and configuration management for a web engineering lifecycle. In: 15th international conference on World Wide Web (2006)
3. Brambilla, M., Ceri, S., Fraternali, P., Manolescu, I.: Process modeling in web applications. ACM Transactions on Software Engineering and Methodology 15(4), 360-409 (2006)
4. Lambers, L., Ehrig, H., Mariani, L., Pezzè, M.: Iterative model-driven development of adaptable service-based applications. In: Proceedings of the International Conference on Automated Software Engineering (2007)
5. Damm, W., Harel, D.: Lscs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45-80 (2001)
6. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
7. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1999)
8. Annegret Habel, R.H., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26, 287-313 (1996)
9. Kuske, S., Gogolla, M., Kollmann, R., Kreowski, H.-J.: An integrated semantics for uml class, object and state diagrams based on graph transformation. In: Third International Conference on Integrated Formal Methods. LNCS, Springer, Heidelberg (2002)
10. Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: a software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, Springer, Heidelberg (2002)
11. Harel, D., Marelly, R.: Come, Let's Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
12. Hausmann, J., Heckel, R., Taentzer, G.: Detecting conflicting functional requirements in a use case driven approach: a static analysis technique based on graph transformation. In: International Conference on Software Engineering (2002)
13. Lambers, L., Ehirg, H., Taentzer, G.: How to ensure or eliminate the applicability of a sequence of rules. In: Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques, EASST (submitted, 2008)
14. Lambers, L., Ehrig, H., Orejas, F., Prange, U.: Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions, ENTCS (to appear, 2008)
15. Harel, D., Kugler, H., Pnueli, A.: Synthesis revisited: Generating statechart models from scenario-based requirements. In: Formal Methods in Software and Systems Modeling, pp. 309-324 (2005)
16. Whittle, J., Schumann, J.: Generating statechart designs from scenarios (2000)
17. Fujaba Developer Team: Fujaba home page (2005), http://www.fujaba.de
18. Mehner, K., Monga, M., Taentzer, G.: Interaction analysis in aspect-oriented models. In: proceedings of the IEEE International Requirements Engineering Conference (2006)