{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T17:52:49Z","timestamp":1673373169179},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Semantic Computing"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p> Domain-Specific Modeling Languages (DSMLs) play a fundamental role in the model-based design of embedded software and systems. While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem. In previous work, we have developed methods and tools for the semantic anchoring of DSMLs. Semantic anchoring introduces a set of reusable \"semantic units\" that provide reference semantics for basic behavioral categories using the Abstract State Machine framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by exploring methods for the composition of semantic units. Semantic unit composition reduces the required effort from DSML designers and improves the quality of the specification. The proposed method is demonstrated through a case study. Formal notions of compositionality are discussed as well as a brief comparison with similar research tools. <\/jats:p>","DOI":"10.1142\/s1793351x09000628","type":"journal-article","created":{"date-parts":[[2009,7,14]],"date-time":"2009-07-14T01:49:05Z","timestamp":1247536145000},"page":"31-56","source":"Crossref","is-referenced-by-count":4,"title":["COMPOSITIONAL SPECIFICATION OF BEHAVIORAL SEMANTICS FOR DOMAIN-SPECIFIC MODELING LANGUAGES"],"prefix":"10.1142","volume":"03","author":[{"given":"KAI","family":"CHEN","sequence":"first","affiliation":[{"name":"Motorola Labs, 1303 E. Algonquin Road, Schaumburg, IL 60196, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOSEPH","family":"PORTER","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37205, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JANOS","family":"SZTIPANOVITS","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37205, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SANDEEP","family":"NEEMA","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37205, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","author":"Sangiovanni-Vincentelli A.","journal-title":"EEDesign of EETimes"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"rf4","volume-title":"Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools","author":"Greenfield J.","year":"2004"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/11860990_14"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"rf16","author":"Larsen K. G.","journal-title":"Springer Intl. J. Software Tools for Technology Transfer 1(1+2)"},{"key":"rf19","unstructured":"K.\u00a0Chen, J.\u00a0Sztipanovits and S.\u00a0Neema, Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years (Springer, 2008)\u00a0pp. 235\u2013265."},{"key":"rf23","volume":"55","author":"Gossler G.","journal-title":"Science of Computer Programming"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36190-1_7"},{"key":"rf26","volume":"15","author":"Vaughan P.","journal-title":"Intl. Journal of Parallel Programming"},{"key":"rf32","first-page":"287","volume":"46","author":"Boerger E.","journal-title":"Information Science and Technology"}],"container-title":["International Journal of Semantic Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793351X09000628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:39:47Z","timestamp":1565141987000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793351X09000628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":12,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2009,3]]}},"alternative-id":["10.1142\/S1793351X09000628"],"URL":"https:\/\/doi.org\/10.1142\/s1793351x09000628","relation":{},"ISSN":["1793-351X","1793-7108"],"issn-type":[{"value":"1793-351X","type":"print"},{"value":"1793-7108","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}