{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:33Z","timestamp":1725805593862},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_5","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"56-72","source":"Crossref","is-referenced-by-count":28,"title":["Prototype-Driven Development of Web Applications with DyWA"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Neubauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Frohme","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Allweyer, T.: BPMN 2.0-Business Process Model and Notation. Bod (2009)"},{"key":"5_CR2","series-title":"LNCS","first-page":"273","volume-title":"ISoLA 2014, Part I","author":"P. Collet","year":"2014","unstructured":"Collet, P.: Domain Specific Languages for Managing Feature Models: Advances and Challenges. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 273\u2013288. Springer, Heidelberg (2014)"},{"key":"5_CR3","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. The XP Series. Addison-Wesley (2000)"},{"key":"5_CR4","unstructured":"Brambilla, M., Fraternali, P.: Interaction Flow Modeling Language: Model-Driven UI Engineering of Web and Mobile Apps with IFML. The MK\/OMG Press, Elsevier Science (2014)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Comai, S., Fraternali, P., Matera, M.: Designing Web Applications with Webml and Webratio. In: Rossi, G., Pastor, O., Schwabe, D., Olsina, L. (eds.) Web Engineering. Human-Computer Interaction Series, pp. 221\u2013261. Springer (2008)","DOI":"10.1007\/978-1-84628-923-1_9"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Doedt, M., Steffen, B.: An Evaluation of Service Integration Approaches of Business Process Management Systems. In: 2012 35th Annual IEEE on Software Engineering Workshop (SEW), pp. 158\u2013167 (2012)","DOI":"10.1109\/SEW.2012.23"},{"key":"5_CR7","unstructured":"Eclipse Foundation: Teneo website (2013), www.eclipse.org\/emft\/projects\/teneo (visited on May 16, 2013)"},{"issue":"7","key":"5_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D. Harel","year":"2012","unstructured":"Harel, D., Marron, A., Weiss, G.: Behavioral programming. Commun. ACM\u00a055(7), 90\u2013100 (2012)","journal-title":"Commun. ACM"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Henglein, F., Larsen, K.F., Simonsen, J.G., Stefansen, C.: Poets: Process-Oriented Event-Driven Transaction Systems. Journal of Logic and Algebraic Programming\u00a078(5), 381\u2013401 (2009), The 1st Worksh. on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2007)","DOI":"10.1016\/j.jlap.2008.08.007"},{"key":"5_CR10","unstructured":"JBoss Inc.: Hibernate website (2013), http:\/\/www.hibernate.org\/ (visited on May 17, 2013)"},{"key":"5_CR11","unstructured":"Jendrock, E., Evans, I., Gollapudi, D., Haase, K., Cervera-Navarro, R., Srivathsa, C., Markito, W.: Java EE 7 Tutorial, vol.\u00a02. Pearson Education (2014)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Karusseit, M., Margaria, T.: A Web-Based Runtime-Reconfigurable Role Management Service (2007)","DOI":"10.1109\/WWV.2006.5"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2005.12.049","volume":"157","author":"M. Karusseit","year":"2006","unstructured":"Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electr. Notes Theor. Comput. Sci.\u00a0157(2), 101\u2013118 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR14","series-title":"LNCS","first-page":"529","volume-title":"ISoLA 2014","author":"T. Margaria","year":"2014","unstructured":"Margaria, T., Floyd, B., Camargo, R.G., Lamprecht, A.-L., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: A proposal. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014. LNCS, vol.\u00a08803, pp. 529\u2013547. Springer, Heidelberg (2014)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business Process Modeling in the jABC: The One-Thing Approach. In: Handbook of Research on Business Process Modeling, pp. 1\u201326. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Margaria, T.: Service is in the Eyes of the Beholder. IEEE Computer (November 2007)","DOI":"10.1109\/MC.2007.398"},{"issue":"2-3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT\u00a05(2-3), 107\u2013123 (2004)","journal-title":"STTT"},{"key":"5_CR18","series-title":"CCIS","first-page":"490","volume-title":"ISoLA 2008","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Agile it: Thinking in user-centric models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2009)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Continuous Model-Driven Engineering. IEEE Computer\u00a042, 106\u2013109 (2009)","journal-title":"IEEE Computer"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with XMDD. In: Hinchey, M., Koyle, L. (eds.) Conquering Complexity, Springer (2012)","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. SAS, 330\u2013354 (1999)","DOI":"10.1007\/3-540-48294-6_22"},{"key":"5_CR22","unstructured":"Neubauer, J.: Higher-Order Process Engineering. Phd thesis, Technische Universit\u00e4t Dortmund (2014), http:\/\/hdl.handle.net\/2003\/33479"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Neubauer, J., Margaria, T., Steffen, B.: Design for Verifiability: The OCS Case Study. In: Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons (2011) (in print)","DOI":"10.1002\/9781118459898.ch8"},{"issue":"11","key":"5_CR24","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2013.296","volume":"46","author":"J. Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B.: Plug-and-Play Higher-Order Process Integration. Computer\u00a046(11), 56\u201362 (2013)","journal-title":"Computer"},{"key":"5_CR25","series-title":"LNBIP","first-page":"13","volume-title":"Enduser Systems and Their Human Factors","author":"J. Neubauer","year":"1983","unstructured":"Neubauer, J., Steffen, B.: Second-order servification. In: Zoeppritz, M., Blaser, A. (eds.) IBM 1983. LNBIP, vol.\u00a0150, pp. 13\u201325. Springer, Heidelberg (1983)"},{"key":"5_CR26","unstructured":"Object Management Group, Inc., Ifml website (2014), http:\/\/www.ifml.org (visited on July 25, 2014)"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MIC.2005.56","volume":"9","author":"J. Pasley","year":"2005","unstructured":"Pasley, J.: How BPEL and SOA are changing Web services development. IEEE Internet Computing\u00a09(3), 60\u201367 (2005)","journal-title":"IEEE Internet Computing"},{"key":"5_CR28","unstructured":"Recker, J., Mendling, J.: On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages. In: CAiSE Proc. of Workshops and Doctoral Consortium, pp. 521\u2013532. Namur Uni. Press (2006)"},{"key":"5_CR29","unstructured":"Rimple, K., Penchikala, S., Alex, B.: Spring Roo in action. Manning (2012)"},{"key":"5_CR30","unstructured":"Schwaber, K.: Agile Project Management with Scrum. Microsoft Press (2009)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in practice: Design of intelligent network services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"5_CR32","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical Service Definition. In: Annual Review of Communication, pp. 847\u2013856. Int. Engineering Consortium Chicago (USA), IEC (1997)"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"5_CR35","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional (2009)"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Troelsen, A.: C# and the. NET Platform, vol.\u00a01. Apress (2001)","DOI":"10.1007\/978-1-4302-1141-9_1"},{"key":"5_CR37","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/2047862.2047876","volume-title":"Proc. 10th ACM Int. Conf. on Generative Programming and Component Engineering, GPCE 2011","author":"S.D. Vermolen","year":"2011","unstructured":"Vermolen, S.D., Wachsmuth, G., Visser, E.: Generating Database Migrations for Evolving Web Applications. In: Proc. 10th ACM Int. Conf. on Generative Programming and Component Engineering, GPCE 2011, pp. 83\u201392. ACM, New York (2011)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-31753-8_14","volume-title":"Web Engineering","author":"M. Wimmer","year":"2012","unstructured":"Wimmer, M., Moreno, N., Vallecillo, A.: Systematic Evolution of WebML Models by Coupled Transformations. In: Brambilla, M., Tokuda, T., Tolksdorf, R. (eds.) ICWE 2012. LNCS, vol.\u00a07387, pp. 185\u2013199. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T18:08:33Z","timestamp":1650218913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}