{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T14:59:55Z","timestamp":1696085995570},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"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":[[2004,8]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>Message sequence charts (MSCs) have proven to be a useful modeling technique especially within the requirements analysis phase of software development. MSCs, however, do not support the concept of broadcast communication, which is frequently used in technical applications. In this paper, we present an extension to MSCs for the modeling of broadcast interaction scenarios. Based on the mathematical framework of timed streams we also introduce a semantics for broadcast MSCs. We thoroughly discuss methodological benefits and semantic properties of this approach, consider alternative solutions, and address its scaleability with respect to complex real-time systems applications.<\/jats:p>","DOI":"10.1007\/s00165-004-0046-5","type":"journal-article","created":{"date-parts":[[2004,6,24]],"date-time":"2004-06-24T05:50:27Z","timestamp":1088056227000},"page":"194-209","source":"Crossref","is-referenced-by-count":4,"title":["Broadcast MSCs"],"prefix":"10.1145","volume":"16","author":[{"given":"I.","family":"Kr\u00fcger","sequence":"first","affiliation":[{"name":"Department of Computer Science &amp; Engineering, University of California at San Diego, CA 92093-0114, La Jolla, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Prenninger","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Boltzmannstra\u00dfe 3, 85748, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Sandner","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Boltzmannstra\u00dfe 3, 85748, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","first-page":"70","article-title":"An analyzer for message sequence charts","volume":"17","author":"Alur R","year":"1996","journal-title":"Software Concepts Tools"},{"key":"p_2","volume-title":"The design of distributed systems. An introduction to FOCUS, revised version. Technical report TUM-I9202-2","author":"Broy M","year":"1992"},{"key":"p_4","first-page":"2","volume-title":"IEEE Computer Society","author":"Broy M","year":"1998"},{"key":"p_5","first-page":"101","volume-title":"Broy M, Steinbr\u00fcggen R (eds) Calculational system design vol 173. NATO science series F","author":"Bro M","year":"1999"},{"key":"p_6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: focus on streams, interfaces and refinement","author":"Broy M","year":"2001"},{"key":"p_7","volume-title":"FMOODS'99 IFIP TC6\/WG6.1 Third international conference on formal methods for open object-based distributed systems","author":"Damm W","year":"1999"},{"key":"p_8","first-page":"179","volume-title":"Proceedings of the sixth SDL forum","author":"Graubmann P","year":"1993"},{"key":"p_9","first-page":"675","volume-title":"Proceedings of ICAL 2000","author":"Henriksen JG","year":"2000"},{"key":"p_10","volume-title":"www4.in.tum.de\/proj\/intime","author":"In","year":"2003"},{"key":"p_11","volume-title":"Geneva","year":"1996"},{"key":"p_12","volume-title":"Recommendation Z.120 : Annex B. Geneva","year":"1998"},{"key":"p_13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Rammig FJ (ed) Distributed and parallel embedded systems","author":"Kr\u00fcger I","year":"1999"},{"key":"p_15","first-page":"9","volume-title":"Sch\u00fcrr A (ed) OMER-2 workshop des arbeitskreises GROOM der GI fachgruppe 2.1.9 Objektorientierte software-entwicklung","author":"Kr\u00fcger I","year":"2001"},{"key":"p_16","volume-title":"Kruchten P (ed) First ICSE workshop on describing software architecture with UML, 15. Mai","author":"Kr\u00fcger I","year":"2001"},{"key":"p_17","volume-title":"Technische Universit\u00e4t M\u00fcnchen","author":"Kr\u00fcger I","year":"2002"},{"issue":"2","key":"p_18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1142\/S0218194002000858","article-title":"From scenarios to hierarchical broadcasting software architectures using UML-RT","volume":"12","author":"Kr\u00fcger I","year":"2002","journal-title":"Int Software Eng Knowl Eng (IJSEKE)"},{"key":"p_20","first-page":"387","volume-title":"Pezz\u00e8 M (ed) FASE","author":"Kr\u00fc HI","year":"2003"},{"key":"p_21","volume-title":"Towards an integration of message sequence charts and timed maude. J Integrated des process sci","author":"Kosiuczenko P","year":"2001"},{"issue":"3","key":"p_22","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lam L","year":"1994","journal-title":"ACM Trans Programming Languages Syst"},{"key":"p_24","volume-title":"UML for real-time overview","author":"Lyo A","year":"1998"},{"key":"p_25","first-page":"25","volume-title":"Broy M, Steinbr\u00fcggen R (eds) Calculational system design, vol 173. NATO Science series F","author":"M\u00f6l B","year":"1999"},{"key":"p_26","volume-title":"Proceedings of SAM'00","author":"Muscholl A","year":"2000"},{"issue":"4","key":"p_27","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","article-title":"An algebraic semantics of basic message sequence charts","volume":"37","author":"Mauw S","year":"1994","journal-title":"Comput J"},{"key":"p_28","first-page":"671","volume-title":"Montanari U, Sassone V (eds) CONCUR'96 vol 1119. LNCS","author":"Mauw S","year":"1996"},{"key":"p_32","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0057795","volume-title":"Using UML for modeling complex real-time systems","author":"Selic B","year":"1998"},{"key":"p_33","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s002360050095","article-title":"A survey of stream processing","volume":"34","author":"Ste R","year":"1997","journal-title":"Acta Inf"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-004-0046-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-004-0046-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-004-0046-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:42:55Z","timestamp":1641483775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-004-0046-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["10.1007\/s00165-004-0046-5"],"URL":"https:\/\/doi.org\/10.1007\/s00165-004-0046-5","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}