{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:35:39Z","timestamp":1729676139757,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207706","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"122-131","source":"Crossref","is-referenced-by-count":5,"title":["Component-based design: towards guided composition"],"prefix":"10.1109","author":[{"given":"S.","family":"Moschoyiannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.W.","family":"Shields","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","first-page":"1","article-title":"Models for Concurrency","author":"winskel","year":"1995","journal-title":"Handbook of Logic in Computer Science Semantic Modelling"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/2.825699"},{"article-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref10"},{"key":"ref11","article-title":"Fundamentals of a Module Logic for Distributed Object Systems","volume":"3","author":"filipe","year":"2000","journal-title":"Journal of Functioning and Logic Programming"},{"key":"ref12","first-page":"231","article-title":"A Logic-Based Formalisation for Component Specification","volume":"1","author":"filipe","year":"2002","journal-title":"Journal of Object Technology special issue TOOLS USA 2002 Proceedings"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2000.896697"},{"key":"ref14","article-title":"Component Certification and System Prediction: Is there a Role for Formality?","author":"lau","year":"2001","journal-title":"Proceedings 4th ICSE Workshop on Component-Based Software Engineering"},{"key":"ref15","first-page":"285","article-title":"Basic Notions of Trace Theory","volume":"354","author":"mazurkiewicz","year":"1988"},{"key":"ref16","article-title":"Executable UML","author":"mellor","year":"2002","journal-title":"Object Technology Series"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"Calculus for Communicating Systems","volume":"92","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"article-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref18"},{"key":"ref19","article-title":"A Formal Approach to Software Components","author":"moschoyiannis","year":"2002","journal-title":"Submitted paper to Formal Aspects of Computing"},{"article-title":"Component Software: Beyond Object-Oriented Programming","year":"1997","author":"szyperski","key":"ref28"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-45923-5_14","article-title":"Proceedings of Fundamental Approaches to Software Engineering (FASE 2002)","author":"bradfield","year":"2002","journal-title":"volume 2306 of Lecture Notes in Computer Science"},{"key":"ref27","article-title":"Component-Based Systems II: Composition of Components","author":"shields","year":"2001","journal-title":"Technical Report SCOMP-TC-01-01 Department of Computing University of Surrey"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/372202.372305"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00212-1"},{"key":"ref29","first-page":"1","article-title":"Typing the Behaviour of Objects and Components using Session Types","author":"valecillo","year":"2002","journal-title":"Fundamenta Informaticae"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/828.833"},{"key":"ref8","article-title":"Introduction to Lattices and Order","author":"davey","year":"1990","journal-title":"Cambridge Mathematical Textbooks"},{"key":"ref7","article-title":"UML Components","author":"cheesman","year":"2001","journal-title":"Component Software Series"},{"key":"ref2","article-title":"Object Technolgy Series","author":"booch","year":"1999","journal-title":"The Unified Modeling Language User Guide"},{"key":"ref9","article-title":"Object Technology Series","author":"d'souza","year":"1999","journal-title":"Objects Components and Frameworks with UML The Catalysis Approach"},{"journal-title":"Categories of Asynchronous Systems","year":"1988","author":"bednarczyk","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022473"},{"journal-title":"Unified Modelling Language Specification version 1 4 OMG document formal\/01-09-67","year":"2001","key":"ref21"},{"key":"ref24","first-page":"671","article-title":"Behavioural Presentations","volume":"354","author":"shields","year":"1988"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/28.5.449"},{"key":"ref26","article-title":"Component-Based Systems I: Theory of a Single Component","author":"shields","year":"2001","journal-title":"Technical Report SCOMP-TC-01-01 Department of Computing University of Surrey"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0933-4"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207706.pdf?arnumber=1207706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:25:57Z","timestamp":1497572757000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207706","relation":{},"subject":[]}}