{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:40Z","timestamp":1725505600797},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787426"},{"type":"electronic","value":"9783540787433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78743-3_29","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:53:27Z","timestamp":1207079607000},"page":"392-406","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Framework for Developing Adaptable Service-Based Applications"],"prefix":"10.1007","author":[{"given":"Leen","family":"Lambers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mussino, S., Pezz\u00e8, M., Schilling, D., Sichel, A., Tosi, D.: A soa-based self-adaptive personal mobility manager. In: IEEE Conference on Service Computing (2006)","DOI":"10.1109\/SCC.2006.16"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Nguyen, T.N.: Model-based version and configuration management for a web engineering lifecycle. In: 15th international conference on World Wide Web (2006)","DOI":"10.1145\/1135777.1135842"},{"issue":"4","key":"29_CR3","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/1178625.1178627","volume":"15","author":"M. Brambilla","year":"2006","unstructured":"Brambilla, M., Ceri, S., Fraternali, P., Manolescu, I.: Process modeling in web applications. ACM Transactions on Software Engineering and Methodology\u00a015(4), 360\u2013409 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Lambers, L., Ehrig, H., Mariani, L., Pezz\u00e8, M.: Iterative model-driven development of adaptable service-based applications. In: Proceedings of the International Conference on Automated Software Engineering (2007)","DOI":"10.1145\/1321631.1321707"},{"issue":"1","key":"29_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: Lscs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"29_CR6","series-title":"EATCS Monographs in Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","key":"29_CR7","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1999)"},{"key":"29_CR8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"R.H. Annegret Habel","year":"1996","unstructured":"Annegret Habel, R.H., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026, 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"29_CR9","series-title":"LNCS","volume-title":"Third International Conference on Integrated Formal Methods","author":"S. Kuske","year":"2002","unstructured":"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)"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"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.\u00a02505, Springer, Heidelberg (2002)"},{"key":"29_CR11","volume-title":"Come, Let\u2019s Play - Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/581352.581355"},{"key":"29_CR13","unstructured":"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)"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1016\/j.entcs.2008.10.042"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"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\u2013324 (2005)","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios (2000)","DOI":"10.1145\/337180.337217"},{"key":"29_CR17","unstructured":"Fujaba Developer Team: Fujaba home page (2005), http:\/\/www.fujaba.de"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Mehner, K., Monga, M., Taentzer, G.: Interaction analysis in aspect-oriented models. In: proceedings of the IEEE International Requirements Engineering Conference (2006)","DOI":"10.1109\/RE.2006.35"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78743-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:15:23Z","timestamp":1606166123000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78743-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787426","9783540787433"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78743-3_29","relation":{},"subject":[]}}