{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:12Z","timestamp":1750307832983,"version":"3.41.0"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2009,10,2]],"date-time":"2009-10-02T00:00:00Z","timestamp":1254441600000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2009,10,2]]},"abstract":"<jats:p>This paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and application of automated tools for consistency checks. The concept of event attribute supports a continuous architecture refinement up to executable design and implementation models.<\/jats:p>","DOI":"10.1145\/1598732.1598733","type":"journal-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T18:18:59Z","timestamp":1254853139000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Software architecture built from behavior models"],"prefix":"10.1145","volume":"34","author":[{"given":"Mikhail","family":"Auguston","sequence":"first","affiliation":[{"name":"Naval Postgraduate School, Monterey, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/226241.226244"},{"key":"e_1_2_1_2_1","unstructured":"A. Aho R. Sethi J. Ullman Compilers Principles Techniques and Tools 1986 Addison-Wesley   A. Aho R. Sethi J. Ullman Compilers Principles Techniques and Tools 1986 Addison-Wesley"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_2_1_5_1","unstructured":"\"Alloy Analyzer 4.1.10\" MIT Accessed May 8 2009 http:\/\/alloy.mit.edu\/community\/software  \"Alloy Analyzer 4.1.10\" MIT Accessed May 8 2009 http:\/\/alloy.mit.edu\/community\/software"},{"volume-title":"Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia","year":"1991","author":"Auguston M.","key":"e_1_2_1_6_1"},{"volume-title":"Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, SEKE'94","year":"1994","author":"Auguston M.","key":"e_1_2_1_7_1"},{"volume-title":"Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint-Malo","year":"1995","author":"Auguston M.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000259"},{"key":"e_1_2_1_10_1","first-page":"257","volume-title":"Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering, SEKE'97","author":"Auguston M.","year":"1997"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787013"},{"key":"e_1_2_1_12_1","first-page":"41","volume-title":"the Proceedings of 5th International Workshop on Algorithmic and Automatic Debugging AADEBUG 2003","author":"Auguston Mikhail","year":"2003"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083284"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"M. Auguston B. Michael M. Shing Environment Behavior Models for Automation of Testing and Assessment of System Safety Information and Software Technology Elsevier Vol. 48 Issue 10 October 2006 pp. 971--980.  M. Auguston B. Michael M. Shing Environment Behavior Models for Automation of Testing and Assessment of System Safety Information and Software Technology Elsevier Vol. 48 Issue 10 October 2006 pp. 971--980.","DOI":"10.1016\/j.infsof.2006.03.005"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151242"},{"key":"e_1_2_1_16_1","unstructured":"Bass Len; Paul Clements Rick Kazman Software Architecture In Practice Second Edition Boston: Addison-Wesley 2003.   Bass Len; Paul Clements Rick Kazman Software Architecture In Practice Second Edition Boston: Addison-Wesley 2003."},{"key":"e_1_2_1_17_1","unstructured":"Grady Booch Ivar Jacobson&amp;Jim Rumbaugh (2000) OMG Unified Modeling Language Specification http:\/\/www.omg.org\/docs\/formal\/00-03-01.pdf  Grady Booch Ivar Jacobson&amp;Jim Rumbaugh (2000) OMG Unified Modeling Language Specification http:\/\/www.omg.org\/docs\/formal\/00-03-01.pdf"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(83)90012-2"},{"key":"e_1_2_1_19_1","first-page":"89","volume-title":"No.","volume":"14","author":"Campbell R.H.","year":"1974"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.83"},{"key":"e_1_2_1_21_1","unstructured":"Peter H. Feiler David P. Gluch John J. Hudak The Architecture Analysis&amp;Design Language (AADL): An Introduction Technical Note CMU\/SEI-2006-TN-011 http:\/\/www.sei.cmu.edu\/publications\/documents\/06.reports\/06tn011.html (accessed June 2009).  Peter H. Feiler David P. Gluch John J. Hudak The Architecture Analysis&amp;Design Language (AADL): An Introduction Technical Note CMU\/SEI-2006-TN-011 http:\/\/www.sei.cmu.edu\/publications\/documents\/06.reports\/06tn011.html (accessed June 2009)."},{"key":"e_1_2_1_22_1","unstructured":"FDR2 user manual. http:\/\/www.formal.demon.co.uk\/fdr2manual\/index.htm 1999.  FDR2 user manual. http:\/\/www.formal.demon.co.uk\/fdr2manual\/index.htm 1999."},{"key":"e_1_2_1_23_1","unstructured":"Handbook of Graph Grammars and Computing by Graph Transformation (edited by G.Rosenberg) World Scientific Publishing Co 1997.  Handbook of Graph Grammars and Computing by Graph Transformation (edited by G.Rosenberg) World Scientific Publishing Co 1997."},{"volume-title":"Springer","year":"2003","author":"Harel D.","key":"e_1_2_1_24_1"},{"volume-title":"Prentice-Hall","year":"1985","author":"Hoare C.A.R.","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385973"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352593"},{"volume-title":"Software Abstractions: Logic, Language, and Analysis","year":"2006","key":"e_1_2_1_28_1"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498765.1498787"},{"key":"e_1_2_1_30_1","first-page":"232","volume-title":"Proceedings of the Monterey Workshop 2002 \"Radical Innovations of Software and Systems Engineering in the Future\", sponsored by US Army Research Office and NSF","author":"Jeffery C.","year":"2002"},{"key":"e_1_2_1_31_1","first-page":"45","volume-title":"ICSE'03","author":"Jeffery C.","year":"2003"},{"key":"e_1_2_1_32_1","first-page":"220","volume-title":"Proceedings of the European Conference on Object-Oriented Programming","volume":"1241","author":"Lamping John","year":"1997"},{"key":"e_1_2_1_33_1","unstructured":"Jung Soo Kim David Garlan Analyzing Architectural Styles January 2007 http:\/\/acme.able.cs.cmu.edu\/pubs\/uploads\/pdf\/jss2006.pdf last accessed May 2009.  Jung Soo Kim David Garlan Analyzing Architectural Styles January 2007 http:\/\/acme.able.cs.cmu.edu\/pubs\/uploads\/pdf\/jss2006.pdf last accessed May 2009."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/27.2.97"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.464548"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/210376.197409"},{"key":"e_1_2_1_40_1","unstructured":"PAT\n\n  \n  : Process Analysis Toolkit An Enhanced Simulator Model Checker and Refinement Checker http:\/\/www.comp.nus.edu.sg\/~pat\/  PAT: Process Analysis Toolkit An Enhanced Simulator Model Checker and Refinement Checker http:\/\/www.comp.nus.edu.sg\/~pat\/"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.104"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"key":"e_1_2_1_43_1","first-page":"674409","volume":"0","author":"Roscoe Bill","journal-title":"ISBN"},{"key":"e_1_2_1_44_1","first-page":"6","article-title":"A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems","author":"Clements M.","year":"1997","journal-title":"COMPSAC97, 21st Int'l Computer Software and Applications Conference"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.58"},{"volume-title":"Software Architecture: Perspectives on an Emerging Discipline","year":"1996","author":"Garlan M.","key":"e_1_2_1_46_1"},{"volume-title":"Soraya Kouadri Mostefaoui","year":"2008","author":"Sousa Joao Pedro","key":"e_1_2_1_47_1"},{"volume-title":"Prentice Hall International Series in Computer Science, 1989","year":"1992","author":"Spivey J.M.","key":"e_1_2_1_48_1"},{"volume-title":"American Elsevier","year":"1973","author":"Trakhtenbrot B.A.","key":"e_1_2_1_49_1"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.328996"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1598732.1598733","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1598732.1598733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:58Z","timestamp":1750255078000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1598732.1598733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,2]]},"references-count":49,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2009,10,2]]}},"alternative-id":["10.1145\/1598732.1598733"],"URL":"https:\/\/doi.org\/10.1145\/1598732.1598733","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2009,10,2]]},"assertion":[{"value":"2009-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}