{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:39Z","timestamp":1773192699375,"version":"3.50.1"},"reference-count":29,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"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":[[2005,5]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>Today, component-based software and system development has gained considerable attention and is wide-spread. Components and\/or modules manifest the well-proven engineering principle of divide and conquer. Formal approaches have helped to provide a theoretical foundation to component-orientation. There is a broad range of system architectures in practice today in terms of layered distributed open systems (as for example known in telecommunications). However, the mathematical formalisms developed so far are rarely applied to these practical architectures. In fact, the notion of distribution and stacked communication layers is hardly understood precisely and not supported by architecture description languages. This article addresses this gap. The formal conditions of distribution and layering are investigated and a mathematical model for layered distributed systems is presented. Communication refinement and so-called complex connectors turn out to be vital concepts which are not addressed in today\u2019s modeling languages. In addition to that, two important design approaches are derived for the architectural design of complex communication systems: A node-centric and a network-centric design approach. Both can significantly improve the design process.<\/jats:p>","DOI":"10.1007\/s00165-004-0051-8","type":"journal-article","created":{"date-parts":[[2004,10,28]],"date-time":"2004-10-28T21:38:46Z","timestamp":1098999526000},"page":"1-18","source":"Crossref","is-referenced-by-count":18,"title":["Modeling layered distributed communication systems"],"prefix":"10.1145","volume":"17","author":[{"given":"D.","family":"Herzberg","sequence":"first","affiliation":[{"name":"University of Applied Sciences Heilbronn, Department of Software Engineering, 74081, Heilbronn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik der TU M\u00fcnchen, 85748, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"Protokolle und Standards. Hanser","author":"Bar HW","year":"1991"},{"issue":"1","key":"p_2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s003780050007","article-title":"What characterizes a (software) component","volume":"19","author":"Broy M","year":"1998","journal-title":"Software - Concepts Tools"},{"key":"p_3","doi-asserted-by":"crossref","unstructured":"[\n      Bro\n      93] Broy \n      M\n   (\n  1993\n  ) \n  (Inter-)action refinement: The easy way. Program Des Calculi Ser F Comp Syst Sci\n  118\n  :\n  121\n  -\n  158 Springer New York","DOI":"10.1007\/978-3-662-02880-3_5"},{"key":"p_4","volume-title":"Proceedings of componentware users conference","author":"Bro M","year":"1996"},{"key":"p_5","series-title":"Lecture Notes in Computer Science 1536","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0055753","volume-title":"Langmaack H, Pnueli A (eds)","author":"Bro M","year":"1998"},{"issue":"1","key":"p_6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s003780050008","article-title":"A uniform mathematical concept of a component: Appendix to [BDH+98]","volume":"19","author":"Bro M","year":"1998","journal-title":"Software Concepts Tools"},{"key":"p_7","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"},{"issue":"5","key":"p_8","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","article-title":"A note on reliable full-duplex transmission over half-duplex links","volume":"12","author":"Bartlett KA","year":"1969","journal-title":"Commun ACM"},{"key":"p_9","volume-title":"SDL - formal object-oriented language for communicating systems","author":"Ellsberger J","year":"1997"},{"key":"p_10","volume-title":"Internet Engineering Task Force","author":"Fielding R","year":"1999"},{"key":"p_11","series-title":"Electronic systems engineering series","volume-title":"Data communications, computer networks and open systems","author":"Hal F","year":"1996","edition":"4"},{"key":"p_13","first-page":"37","volume-title":"Sch\u00fcrr A (ed) Proceedings of the 2nd workshop on object-oriented modeling of embedded rt-systems (OMER-2)","author":"Herzberg D","year":"2001"},{"key":"p_14","volume-title":"Proceedings of the 4th IEEE international symposium on object-oriented real-time distributed computing (ISORC 2001","author":"Herzberg D","year":"2001"},{"key":"p_15","volume-title":"Design and validation of computer protocols","author":"Hol GJ","year":"1991"},{"key":"p_16","volume-title":"The Basic Model (1994) ITU-T Recommendation X.200","author":"Information Technology"},{"key":"p_17","volume-title":"ITU-T Recommendation Z.100","year":"1999"},{"key":"p_18","volume-title":"ITU-T Recommendation H.248","author":"Gateway Control Protocol","year":"2000"},{"key":"p_19","volume-title":"Modeling telecom networks and systems architecture: Conceptual tools and formal methods","author":"Mut T","year":"2001"},{"key":"p_20","volume-title":"Technical Specification","author":"Unified Modeling Language Specification","year":"2001"},{"key":"p_21","volume-title":"Open systems networking: TCP\/IP and OSI","author":"Piscitello DM","year":"1993"},{"key":"p_22","volume-title":"Internet Engineering Task Force","author":"Pos J","year":"1981"},{"key":"p_23","volume-title":"Internet Engineering Task Force","author":"Pos J","year":"1981"},{"key":"p_24","volume-title":"Software architecture: Perspectives on an emerging discipline","author":"Shaw M","year":"1996"},{"key":"p_25","volume-title":"Real-time object-oriented modeling","author":"Selic B","year":"1994"},{"key":"p_26","volume-title":"Internet Engineering Task Force","author":"Stewart RR","year":"2000"},{"key":"p_27","volume-title":"Computer Networks","author":"Tan AS","year":"1996","edition":"3"},{"key":"p_28","volume-title":"Distributed systems: Principles and paradigms","author":"Tv AS","year":"2002"},{"key":"p_29","volume-title":"Mobile radio networks: Networking, protocols and traffic performance","author":"Wal B","year":"2001","edition":"2"},{"key":"p_30","volume-title":"Distributed system design","author":"Wu J","year":"1998"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-004-0051-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-004-0051-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-004-0051-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:43:19Z","timestamp":1641483799000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-004-0051-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["10.1007\/s00165-004-0051-8"],"URL":"https:\/\/doi.org\/10.1007\/s00165-004-0051-8","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}