{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T11:51:40Z","timestamp":1762429900878},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"2-3","license":[{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2003,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows how suitable combinations of class, object, state, and sequence diagrams can be associated with patterns of interaction, expressed in the event notation of Communicating Sequential Processes (CSP). The diagram semantics is then extended to give a meaning to complete models \u2013 suitable combinations of diagrams \u2013 and thus a concurrency semantics for object models written in UML. This model semantics is in turn used to define a theory of refinement, based upon existing notions of data and process refinement.<\/jats:p>","DOI":"10.1007\/s00165-003-0008-3","type":"journal-article","created":{"date-parts":[[2004,3,19]],"date-time":"2004-03-19T02:31:00Z","timestamp":1079663460000},"page":"118-145","source":"Crossref","is-referenced-by-count":17,"title":["Concurrency and Refinement in the Unified Modeling Language"],"prefix":"10.1145","volume":"15","author":[{"given":"Jim","family":"Davies","sequence":"first","affiliation":[{"name":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Crichton","sequence":"additional","affiliation":[{"name":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","unstructured":"[AGE] AGEDIS: the AGEDIS project Automated Generation and Execution of Test Suites for Distributed Systems (EU-IST 1999-20218) http:\/\/www.agedis.de"},{"key":"p_2","first-page":"2000","article-title":"Modeling the dynamics of UML state machines. In: Y. Gurevich, P. Kutter, M. Odersky and L. Thiele editors","volume":"223","author":"B\u00f6rger E.","year":"1912","journal-title":"Abstract State Machines: Theory and Applications LNCS"},{"key":"p_3","unstructured":"[CHM00] \n      Corradini A. Heckel R.\n     and \n      Montanari U\n  .: \n  Graphical Operational semantics Available at http:\/\/www.uni-paderborn.de\/cs\/ag-engels\/Papers\/2000\/CorradiniGTVMT00. pdf 2000\n  ."},{"issue":"11","key":"p_4","first-page":"1071","article-title":"D","volume":"6","author":"Cl","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"p_5","volume-title":"Integrated Design and Process Technology. Society for Design and Process Science","author":"Engels G.","year":"2002"},{"key":"p_6","first-page":"272","volume-title":"The Unified Modeling Language: Modeling Languages, Concepts and Tools","author":"Engels G.","year":"2001"},{"key":"p_7","volume-title":"Integrated Design and Process Technology. Society for Design and Process Science","author":"Engels G.","year":"2002"},{"key":"p_8","volume-title":"8th European Software Engineering Conference, and ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"Engels G.","year":"2001"},{"key":"p_9","volume-title":"-J.: Formal Verification of STATEMATE-Statecharts","author":"Fu","year":"2002"},{"key":"p_10","series-title":"LNCS pages 91-108","volume-title":"Fundamental Approaches to Software Engineering, 4th International Conference, FASE","author":"Fischer C.","year":"2001"},{"key":"p_11","volume-title":"Formal Systems"},{"key":"p_12","volume-title":"2nd IFIP WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99)","author":"Graw G.","year":"1999"},{"key":"p_13","volume-title":"Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universit\u00e4t M\u00fcnchen, TUM-I9803","author":"Go","year":"1998"},{"issue":"7","key":"p_14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","article-title":"Executable Object Modeling with statecharts","volume":"30","author":"Ha","year":"1997","journal-title":"IEEE Computer"},{"key":"p_15","volume-title":": Communicating Sequential Processes","author":"Hoa","year":"1985"},{"issue":"5","key":"p_16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"Hol","year":"1997","journal-title":"Software Engineering"},{"key":"p_17","volume-title":"International Conference on Theory and Application of Diagrams","author":"Jin Y.","year":"2002"},{"key":"p_18","series-title":"LNCS","first-page":"132","volume-title":"J. B\u00e9zivin and P.-A","author":"Khriss I.","year":"1998"},{"key":"p_19","volume-title":"The Third Workshop on Rigorous Object-Oriented Methods","author":"Lano K.","year":"2000"},{"issue":"6","key":"p_20","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s001659970003","article-title":"Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker","volume":"11","author":"Latella D.","year":"1999","journal-title":"Formal Aspects of Computing"},{"key":"p_21","volume-title":"Sixth International Workshop on Discrete Event Systems. IEEE Computer Society Press","author":"Merseguer J.","year":"2002"},{"key":"p_22","volume-title":"Concurrency: State Models and Java Programs","author":"Ma","year":"1999"},{"key":"p_23","volume-title":"Unified Modeling Language (UML), version 1.4. Available for download at www.omg.org","author":"[OMG01] Object Management Group OMG","year":"2001"},{"key":"p_24","volume-title":"XML Metadata Interchange (XMI), version 1.2. Available for download at www.omg.org","author":"[OMG01] Object Management Group OMG.","year":"2002"},{"key":"p_25","series-title":"LNCS","volume-title":"Proceedings of EuroPar99","author":"Ob","year":"1999"},{"key":"p_26","unstructured":"[\n      Par\n    02] U2 Partners UML: Superstructure v. 2.0 beta R1 Available at www.u2-partners.org 2002\n  ."},{"key":"p_27","volume-title":": Theory and Practice of Concurrency","author":"Ros","year":"1997"},{"key":"p_28","volume-title":": Compiling statemate statecharts into CSP and verifying them using FDR","author":"Ros","year":"2003"},{"key":"p_29","volume-title":"Electronic Notes in Theoretical Computer Science, 55(3):13 pages","author":"Sch\u00e4fer T.","year":"2001"},{"key":"p_30","first-page":"134","volume-title":"UML 2001: Modeling Languages, Concepts, and Tools, volumen 2185 of LNCS","author":"Suny\u00e9 G."},{"key":"p_31","volume-title":"9th ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"Uchitel S.","year":"2001"},{"key":"p_32","volume-title":"A semantics of UML state-machines using synchronous pre-order transition systems","author":"Wang Y.","year":"2000"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-003-0008-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-003-0008-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-003-0008-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:38:54Z","timestamp":1641483534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-003-0008-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["10.1007\/s00165-003-0008-3"],"URL":"https:\/\/doi.org\/10.1007\/s00165-003-0008-3","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,11]]}}}