{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:33:29Z","timestamp":1694622809352},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"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,12]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>We present a semantics for the statechart variant implemented in the Statemate product of i-Logix. Our semantics enables distributed code generation for Statemate models in the context of rapid prototyping for embedded control applications. We argue that it seems impossible to efficiently generate distributed code using the original Statemate semantics. The new, distributed semantics has the advantages that, first, it enables the generation of efficient distributed code, second, it preserves many aspects of the original semantics for those parts of a model that are not distributed, and third, the changes made regarding the interaction of distributed model parts are similar to the interaction between the model and its environment in the original semantics, thus giving designers a familiar execution model. The semantics has been implemented in Grace, a framework for rapid prototyping code generation for embedded control applications.<\/jats:p>","DOI":"10.1007\/s00165-003-0015-4","type":"journal-article","created":{"date-parts":[[2003,12,23]],"date-time":"2003-12-23T20:14:14Z","timestamp":1072210454000},"page":"390-405","source":"Crossref","is-referenced-by-count":1,"title":["A Semantics for Distributed Execution of Statemate"],"prefix":"10.1145","volume":"15","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[{"name":"Department of Informatics and Mathematical Modelling, Technical University of Denmark, Denmark"}]},{"given":"J\u00fcrgen","family":"Niehaus","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Carl-von-Ossietzky University Oldenburg, 2503, 26111, Oldenburg, Germany"}]},{"given":"Alexander","family":"Metzner","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Carl-von-Ossietzky University Oldenburg, 2503, 26111, Oldenburg, Germany"}]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Carl-von-Ossietzky University Oldenburg, 2503, 26111, Oldenburg, Germany"}]}],"member":"320","reference":[{"key":"p_1","first-page":"162","volume-title":"J. C. M. Baeten and S Mauw CONCUR'99 10th International Conference on Concurency Theory, number 1664 in LNCS","author":"Benveniste A.","year":"1999"},{"key":"p_2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1006\/inco.2000.9999","article-title":"Compositionality in dataflow synchronous languages: specification and distributed code generation","volume":"163","author":"Benveniste A.","year":"2001","journal-title":"Information and Computation"},{"key":"p_3","first-page":"561","volume-title":"12th International Conference on Computer Aided Verification, CAV, number 1855 in LNCS","author":"Bienm\u00fcller T.","year":"2000"},{"key":"p_4","volume-title":"Model-based software development for electronic control units (ECUs) ATZ\/MTZ Special Issue Automotive Electronics, pages, 2-7","author":"Bec","year":"1999"},{"key":"p_5","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-57529-4_44","volume-title":"Foundations of Software Technology and TheoreticalComputer Science","author":"Ber","year":"1993"},{"key":"p_6","unstructured":"[Ber95] Berry G. The Constructive Semantics of Esterel Draft book. http:\/\/www.inria.fr\/meije\/esterel December 1995."},{"key":"p_7","volume-title":"Modellierung und Evaluierung einer Fallstudie f\u00fcr das EVENTS-Projekt","author":"Bad","year":"2001"},{"key":"p_9","volume-title":"Lake Como","author":"Chang W. -T.","year":"1995"},{"key":"p_10","volume-title":"Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development. Embedded Systems Journal","author":"Da","year":"2001"},{"key":"p_11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-49213-5_8","volume-title":"H. and Pnueli, A. A Compositional Real-time Semantics of STATEMATE Designs. In W.-P","author":"Damm W.","year":"1998"},{"key":"p_12","series-title":"Lecture Notes in Computer Science","first-page":"272","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98)","author":"Fr","year":"1998"},{"issue":"1","key":"p_13","first-page":"93","article-title":"Visual Temporal Logic as a Rapid Prototyping Tool","volume":"27","author":"Fn","year":"2001","journal-title":"Computer Languages"},{"key":"p_14","first-page":"413","volume-title":"L. Biv and J-L","author":"Gu","year":"1991"},{"key":"p_15","volume-title":"Synchronous Programming of Reactive Systems","author":"Hal","year":"1993"},{"key":"p_16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"A visual formalism for complex systems","volume":"8","author":"Har","year":"1987","journal-title":"Science of Computer Programming."},{"key":"p_17","volume-title":"ACM Transactions on Software Engineering","author":"Ha","year":"1996"},{"key":"p_19","volume-title":"Andover MA","author":"Ha","year":"1996"},{"key":"p_20","volume-title":"Computer Architecture: A Quantitative Approach","author":"He","year":"1996","edition":"2"},{"key":"p_21","volume-title":"IT&TI 1\/2001","author":"Ja","year":"2001"},{"key":"p_22","volume-title":"Proceeding of the 3rd International Workshop on Hardware\/Software Codesign Codes\/CASHE'94","author":"Koch G.","year":"1994"},{"key":"p_23","volume-title":"M. and Holland, J. Client\/Server architecture: managing new technologies for automotive embedded systems - a joint project of Daimler-Benz & IBM. In SAE technical reports","author":"Lanches P.","year":"1998"},{"key":"p_24","volume-title":"Andover MA","author":"Lapping A.","year":"2002"},{"key":"p_25","volume-title":"6. Deutsches Anwenderforum f\u00fcr Statemate","author":"L\u00fcth K.","year":"1998"},{"key":"p_26","volume-title":"9th IEEE International Workshop on Rapid System Prototyping Leuwen, Belgium,June","author":"L\u00fcth K.","year":"1998"},{"key":"p_27","volume-title":"5th International Conference on Information Systems Analysis and Synthesis (ISAS'99 together with SCI'99)","author":"Lut","year":"1999"},{"key":"p_28","volume-title":"Scalable Shared-Memory Multiprocessing. Morgan Kaufman","author":"Le","year":"1995"},{"issue":"10","key":"p_29","first-page":"1034","article-title":"MSPARC: multithreading in real-time Architectures","volume":"6","author":"Me","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"p_30","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Ma","year":"1992"},{"key":"p_31","volume-title":"A. and Mikschl, A. Die EVENTS Architektur. IT&TI 2\/2000","author":"Niehaus J.","year":"2000"},{"key":"p_32","volume-title":"AES2000","author":"Ld","year":"2000"},{"key":"p_35","volume-title":"Modern Operating Systems","author":"Tan","year":"1992"},{"issue":"5","key":"p_36","first-page":"66","article-title":"and Kupczyk, S. A co-design approach fo safety-critical automotive applications. IEEE Micro","volume":"18","author":"Hanxleden R. v.","year":"1998","journal-title":"Special Issue on Embedded Fault-Tolerant Systems."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-003-0015-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-003-0015-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-003-0015-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:40:14Z","timestamp":1641483614000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-003-0015-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["10.1007\/s00165-003-0015-4"],"URL":"https:\/\/doi.org\/10.1007\/s00165-003-0015-4","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}