{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T06:36:02Z","timestamp":1793082962770,"version":"4.5.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/wsc.2008.4736160","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T13:48:38Z","timestamp":1231940918000},"page":"942-950","source":"Crossref","is-referenced-by-count":6,"title":["Definition and analysis of composition structures for discrete-event models"],"prefix":"10.1109","author":[{"given":"Mathias","family":"Rohl","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Heterogeneous concurrent modeling and design in java","volume":"1","author":"Brooks","year":"2007"},{"key":"ref2","first-page":"318","article-title":"2nd UML 2 semantics symposium: Formal semantics for UML","volume-title":"In MoDELS 2006 Workshops","volume":"4364","author":"Broy","year":"2006"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_3"},{"issue":"1","key":"ref4","first-page":"1","article-title":"Object-oriented and hybrid modeling in modelica","volume":"35","author":"Elmqvist","year":"2001","journal-title":"Journal Europ\u00e9en des syst\u00e8mes automatis\u00e9s"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"ref6","article-title":"Processing XML with Java","author":"Harold","year":"2002","journal-title":"Pearson Education. IEEE 2003, March. Recommended practice for high level architecture (HLA) federation development and execution process (FEDEP). Document 1516.3"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/B978-044481714-3\/50011-4","article-title":"Compositionality (with an appendix by B. Partee)","volume-title":"In Handbook of Logic and Language","author":"Janssen","year":"1997"},{"key":"ref8","article-title":"A language description is more than a metamodel","volume-title":"Proceedings of the 4th International Workshop on Software Language Engineering (ateM 2007)","author":"Kleppe"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_4"},{"key":"ref10","article-title":"On UML\u2019s composite structure diagram","volume-title":"In SAM\u201906","author":"Oliver","year":"2006"},{"key":"ref11","article-title":"Systems modeling language (OMG SysML\u2122) 1.0 specification","year":"2007a","journal-title":"Proposed Available Specification ptc\/2007\u201302\u201304"},{"key":"ref12","volume-title":"Unified Modeling Language: Superstructure, v2.1.2. Document Number: formal\/2007\u201311\u201302","year":"2007b"},{"key":"ref13","volume-title":"Types and programming languages","author":"Pierce","year":"2002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2007.4419677"},{"key":"ref15","volume-title":"Characterization and comparison of formal refinement and development relations for software modeling techniques","author":"Schr\u00f6ter","year":"2004"},{"key":"ref16","volume-title":"Component software: beyond object-oriented programming","author":"Szyperski","year":"2002"},{"key":"ref17","article-title":"The level of conceptual interoperability model","volume-title":"Fall Simulation Interoperability Workshop (SISO)","author":"Tolk","year":"2003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2000.900199"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2004.1301295"},{"key":"ref20","volume-title":"XSL transformations (XSLT) version 1.0","year":"1999"},{"key":"ref21","volume-title":"Web services architecture"},{"key":"ref22","volume-title":"XML Schema part 0: Primer second edition","year":"2004b"},{"key":"ref23","volume-title":"Semantic annotations for WSDL","year":"2006a"},{"key":"ref24","volume-title":"Web services description language (WSDL) version 2.0 part 1: Core language","year":"2006b"},{"key":"ref25","volume-title":"State chartXML (SCXML): State machine notation for control abstraction","year":"2007"},{"key":"ref26","volume-title":"Theory of modeling and simulation","author":"Zeigler","year":"2000"},{"key":"ref27","article-title":"Introduction to DEVS modeling and simulation with JAVA: Developing component-based simulation models","volume-title":"Arizona Center for Integrative Modeling and Simulation, University of Arizona and Arizona State University","author":"Zeigler","year":"2005"}],"event":{"name":"2008 Winter Simulation Conference (WSC)","location":"Miami, FL, USA","start":{"date-parts":[[2008,12,7]]},"end":{"date-parts":[[2008,12,10]]}},"container-title":["2008 Winter Simulation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4712635\/4736042\/04736160.pdf?arnumber=4736160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T06:10:28Z","timestamp":1793081428000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4736160\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/wsc.2008.4736160","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}