{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:37Z","timestamp":1750306597406,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,23]],"date-time":"2015-04-23T00:00:00Z","timestamp":1429747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,23]]},"DOI":"10.1145\/2723839.2723854","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T14:15:23Z","timestamp":1425392123000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling for change via component-based decomposition and ASM refinement"],"prefix":"10.1145","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Zenzaro","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"volume-title":"Cambridge","year":"1996","author":"Abrial J.-R.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_2_1_3_1","unstructured":"AnonymousAuthor. Automatic teller machine or till: Case study. Formulated 1999 as Modelling in two formalisms: The FM'99 ATM modelling challenge for the FM99 Conference and as A Cash-point Service Example in the IFAD document V6.3.0a reused 2013 for the Dagstuhl Seminar on Integration of Tools for Rigorous Software Construction and Analysis to which A. Fleischmann added in 2014 the change and cancel requirements.  AnonymousAuthor. Automatic teller machine or till: Case study. Formulated 1999 as Modelling in two formalisms: The FM'99 ATM modelling challenge for the FM99 Conference and as A Cash-point Service Example in the IFAD document V6.3.0a reused 2013 for the Dagstuhl Seminar on Integration of Tools for Rigorous Software Construction and Analysis to which A. Fleischmann added in 2014 the change and cancel requirements."},{"key":"e_1_3_2_1_4_1","unstructured":"The ASM Metamodel website. http:\/\/asmeta.sourceforge.net.  The ASM Metamodel website. http:\/\/asmeta.sourceforge.net."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0012-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0019-y"},{"key":"e_1_3_2_1_7_1","first-page":"1","volume-title":"Workflow Patterns and YAWL. J. SSM","author":"B\u00f6rger E.","year":"2011"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/3-540-44518-8_20","volume-title":"Abstract State Machines: Theory and Applications","author":"B\u00f6rger E.","year":"2000"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"142","volume-title":"Proc. ABZ","author":"B\u00f6rger E.","year":"2014"},{"volume-title":"Springer","year":"2003","author":"B\u00f6rger E.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2412065"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723839.2723866"},{"volume-title":"Proc. S-BPM ONE 2015 (Special Session on Comparative Case Studies). ACM, ACM Digital Library","year":"2015","author":"Hense A.","key":"e_1_3_2_1_13_1"},{"volume-title":"Addison-Wesley","year":"2003","author":"Lamport L.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","unstructured":"OMG. UML 2.0 superstructure specification. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04.  OMG. UML 2.0 superstructure specification. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04."},{"key":"e_1_3_2_1_16_1","unstructured":"OMG. Business Process Model and Notation (BPMN). http:\/\/www.omg.org\/spec\/BPMN\/2.0 2011. formal\/2011-01-03.  OMG. Business Process Model and Notation (BPMN). http:\/\/www.omg.org\/spec\/BPMN\/2.0 2011. formal\/2011-01-03."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1223642"},{"issue":"11","key":"e_1_3_2_1_18_1","first-page":"952","article-title":"Verification of ASM refinements using generalized forward simulation","volume":"7","author":"Schellhorn G.","year":"2001","journal-title":"J. Universal Computer Science"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.013"},{"issue":"12","key":"e_1_3_2_1_20_1","article-title":"ASM refinement preserving invariants","volume":"14","author":"Schellhorn G.","year":"2008","journal-title":"J. UCS"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.003"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.10.004"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1721886"},{"key":"e_1_3_2_1_24_1","unstructured":"S. Zenzaro. A CoreASM refinement implementing the ATM ground model. http:\/\/www.bis.inf.fh-brs.de\/bpmcasestudies\/ October 2014.  S. Zenzaro. A CoreASM refinement implementing the ATM ground model. http:\/\/www.bis.inf.fh-brs.de\/bpmcasestudies\/ October 2014."}],"event":{"name":"S-BPM ONE '15: 7th International Conference on Subject-Oriented Business Process Management","sponsor":["IANES Interactive Acquisition, Negotiation and Enactment of Subject-Oriented Business Process Knowledge","StrICT Solutions StrICT Solutions GmbH","I2PM Institute of Innovative Process Management","Christian-Albrechts-Universit\u00e4t zu Kiel Christian-Albrechts-Universit\u00e4t zu Kiel","Metasonic Metasonic GmbH","ConsSys IT AG ConsSys IT AG","Wirtschaftsakademie Schleswig-Holstein Wirtschaftsakademie Schleswig-Holstein GmbH"],"location":"Kiel Germany","acronym":"S-BPM ONE '15"},"container-title":["Proceedings of the 7th International Conference on Subject-Oriented Business Process Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723839.2723854","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2723839.2723854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:43Z","timestamp":1750227403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723839.2723854"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,23]]},"references-count":24,"alternative-id":["10.1145\/2723839.2723854","10.1145\/2723839"],"URL":"https:\/\/doi.org\/10.1145\/2723839.2723854","relation":{},"subject":[],"published":{"date-parts":[[2015,4,23]]},"assertion":[{"value":"2015-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}