{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:55:59Z","timestamp":1743015359451,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_2","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"13-23","source":"Crossref","is-referenced-by-count":0,"title":["Ode to the PST"],"prefix":"10.1007","author":[{"given":"Matthias","family":"H\u00f6lzl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lenz","family":"Belzner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Busch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Fasching","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annabelle","family":"Klarl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kroiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laith","family":"Raed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40020-2_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Andrade","year":"2003","unstructured":"Andrade, L., et al.: AGILE: Software Architecture for Mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 1\u201333. Springer, Heidelberg (2003)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik. Mathematik f\u00fcr Informatiker. Springer (1991)","DOI":"10.1007\/978-3-642-84263-4"},{"key":"2_CR3","unstructured":"Baumeister, H.: Customer relationship management for SMEs. In: Proceedings E2002, Prague (October 2002)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/11531371_53","volume-title":"Web Engineering","author":"H. Baumeister","year":"2005","unstructured":"Baumeister, H., Knapp, A., Koch, N., Zhang, G.: Modelling Adaptivity with Aspects. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol.\u00a03579, pp. 406\u2013416. Springer, Heidelberg (2005)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40042-4_1","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"H. Baumeister","year":"2003","unstructured":"Baumeister, H., Koch, N., Kosiuczenko, P., Stevens, P., Wirsing, M.: UML for Global Computing. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 1\u201324. Springer, Heidelberg (2003)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0000464","volume-title":"Algebraic Methodology and Software Technology","author":"P. Cenciarelli","year":"1997","unstructured":"Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 75\u201390. Springer, Heidelberg (1997)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-48737-9_5","volume-title":"Formal Syntax and Semantics of Java","author":"P. Cenciarelli","year":"1999","unstructured":"Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: An event-based structural operational semantics of multi-threaded java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, p. 157. Springer, Heidelberg (1999)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Concurrency, Graphs and Models","author":"M.V. Cengarle","year":"2008","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 383\u2013402. Springer, Heidelberg (2008)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R. Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for Ensemble Modeling \u2013 The Helena Approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 359\u2013381. Springer, Heidelberg (2014)"},{"issue":"3","key":"2_CR10","first-page":"189","volume":"238","author":"M. H\u00f6lzl","year":"2009","unstructured":"H\u00f6lzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? ENTCS\u00a0238(3), 189\u2013205 (2009)","journal-title":"ENTCS"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-89437-7_2","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M. H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Software engineering for ensembles. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol.\u00a05380, pp. 45\u201363. Springer, Heidelberg (2008)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M.M., Raed, A., Wirsing, M.: Java kompakt - Eine Einf\u00fchrung in die Software-Entwicklung mit Java. eXamen.press. Springer (2013)","DOI":"10.1007\/978-3-642-28504-2"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Knapp, A., Koch, N., Wirsing, M., Zhang, G.: UWE - An Approach to Model-Driven Development of Web Applications. i-com, Oldenbourg\u00a06(3), 5\u201312 (2007) (in German)","DOI":"10.1524\/icom.2007.6.3.5"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and Refinement of Mobile Systems in MTLA and Mobile UML. In: Theoretical Computer Science, pp. 184\u2013202 (2006)","DOI":"10.1016\/j.tcs.2005.09.067"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-47952-X_23","volume-title":"Adaptive Hypermedia and Adaptive Web-Based Systems","author":"N. Koch","year":"2002","unstructured":"Koch, N., Wirsing, M.: The Munich Reference Model for Adaptive Hypermedia Applications. In: De Bra, P., Brusilovsky, P., Conejo, R. (eds.) AH 2002. LNCS, vol.\u00a02347, pp. 213\u2013222. Springer, Heidelberg (2002)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-25930-5_11","volume-title":"Objects, Agents, and Features","author":"P. Meier","year":"2004","unstructured":"Meier, P., Wirsing, M.: Towards a Formal Specification for the AgentComponent. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol.\u00a02975, pp. 175\u2013188. Springer, Heidelberg (2004)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36578-8_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Merz","year":"2003","unstructured":"Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 87\u2013101. Springer, Heidelberg (2003)"},{"key":"2_CR19","unstructured":"Pattinson, D.: Expressivity Results in the Modal Logic of Coalgebras. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2001)"},{"key":"2_CR20","unstructured":"Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry\u2013Howard Protocol. Springer Monographs in Computer Science. Springer (2005)"},{"key":"2_CR21","unstructured":"PUMA\/PUMA-2. Graduiertenkolleg Programm- Und Modell-Analyse, 2008-2012\/2013-2017. https:\/\/puma.informatik.tu-muenchen.de ."},{"key":"2_CR22","unstructured":"Rauschmayer, A.: Connected Information Management. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2010)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. In: Stoller, S.D., Visser, W. (eds.) Proc. Wsh. Software Model Checking. Electr. Notes Theo. Comp. Sci., 13 pages (2001), http:\/\/www.elsevier.nl\/locate\/entcs\/volume55.html","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Schneeberger, J., Koch, N., Turk, A., Lutze, R., Wirsing, M., Fritzsche, H., Closhen, P.: EPK-fix: Software-Engineering und Werkzeuge f\u00fcr elektronische Produktkataloge. In: Informatik aktuell. Informatik 1997, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft f\u00fcr Informatik. Springer (September 1997)","DOI":"10.1007\/978-3-642-60831-5_57"},{"key":"2_CR25","unstructured":"Schroeder, A.: Software engineering perspectives on physiological computing. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2011)"},{"issue":"3-5","key":"2_CR26","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/j.jlap.2010.09.001","volume":"80","author":"A. Schroeder","year":"2011","unstructured":"Schroeder, A., Bauer, S.S., Wirsing, M.: A contract-based approach to adaptivity. J. Log. Algebr. Program.\u00a080(3-5), 180\u2013193 (2011)","journal-title":"J. Log. Algebr. Program."},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-00590-9_19","volume-title":"Programming Languages and Systems","author":"I. Filipovi\u0107","year":"2009","unstructured":"Filipovi\u0107, I., O\u2019Hearn, P., Rinetzky, N., Yang, H.: Abstraction for Concurrent Objects. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 252\u2013266. Springer, Heidelberg (2009)"},{"key":"2_CR28","unstructured":"Wikipedia - The Free Encyclopedia. Radio Free Europe, http:\/\/en.wikipedia.org\/wiki\/Radio_Free_Europe\/Radio_Liberty"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science (vol. B), pp. 675\u2013788. MIT Press (1991)","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 24\u201345. Springer, Heidelberg (2006)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): SENSORIA. LNCS, vol.\u00a06582. Springer, Heidelberg (2011)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M. Wirsing","year":"2012","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2012)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M. Wirsing","year":"2012","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2012)"},{"issue":"2","key":"2_CR34","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0304-3975(01)00367-X","volume":"285","author":"M. Wirsing","year":"2002","unstructured":"Wirsing, M., Knapp, A.: A formal approach to object-oriented software engineering. Theor. Comput. Sci.\u00a0285(2), 519\u2013560 (2002)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T14:35:20Z","timestamp":1598798120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}