{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T05:58:18Z","timestamp":1721455098070},"reference-count":90,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T00:00:00Z","timestamp":1477958400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2016,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development. Our approach is strictly defined in terms of composition rules, which are the only permitted way to compose components. These rules guarantee the preservation of properties (particularly deadlock freedom) by construction in component composition. Nevertheless, their application is allowed only under certain conditions whose verification via model checking turned out impracticable even for some simple designs, and particularly those involving cyclic topologies. In this paper, we address the performance of the analysis and present a significantly more efficient alternative to the verification of the rule side conditions, which are improved by carrying out partial verification on component metadata throughout component compositions and by using behavioural patterns. The use of metadata, together with behavioural patterns, demands new composition rules, which allow previous exponential time verifications to be carried out now in linear time. Two case studies (the classical dining philosophers, also used as a running example, and an industrial version of a leadership election algorithm) are presented to illustrate and validate the overall approach.<\/jats:p>","DOI":"10.1007\/s00165-016-0375-1","type":"journal-article","created":{"date-parts":[[2016,5,4]],"date-time":"2016-05-04T11:53:36Z","timestamp":1462362816000},"page":"937-1004","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Rigorous development of component-based systems using component metadata and patterns"],"prefix":"10.1145","volume":"28","author":[{"given":"M. V. M.","family":"Oliveira","sequence":"first","affiliation":[{"name":"Departamento de Inform\u00e1tica e Matem\u00e1tica Aplicada, Universidade Federal do Rio Grande do Norte, CampusUniversit\u00e1rio, Lagoa Nova, CEP 59078-970, Natal, RN, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Antonino","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ramos","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sampaio","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mota","sequence":"additional","affiliation":[{"name":"Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. W.","family":"Roscoe","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Aldini A Bernardo M (2003) A general approach to deadlock freedom verification for software architectures. In: International symposium of formal methods Europe. Lecture notes in computer science vol 2805. Springer New York pp 658\u2013677","DOI":"10.1007\/978-3-540-45236-2_36"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Aldrich J Chambers C Notkin D (2002) Archjava: connecting software architecture to implementation. In: International conference on software engineering. ACM Press New York","DOI":"10.1145\/581339.581365"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Allen R Douence R Garlan D (1998) Specifying and analyzing dynamic software architectures. In: Conference on fundamental approaches to software engineering (FASE). Lecture notes in computer science vol 1382 Lisbon","DOI":"10.1007\/BFb0053581"},{"key":"e_1_2_1_2_4_2","unstructured":"Allen R (1997) A formal approach to software architecture. Ph.D. thesis Carnegie Mellon University CMU Technical Report CMUU-CS\u201397\u2013144"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Antonino PRG Oliveira MVM Sampaio ACA Kristensen KE Bryans JW (2014) Leadership election: an industrial sos application of compositional deadlock verification. In: NASA formal methods - 6th international symposium (NFM\u201914).Lecture notes in computer science vol 8430. Springer New York pp 31\u201345","DOI":"10.1007\/978-3-319-06200-6_3"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Antonino PRG Sampaio A Woodcock J (2014) A refinement based strategy for local deadlock analysis of networks of csp processes. In: FM 2014: formal methods. Lecture notes in computer science vol 8430\u00a0pp 62\u201377","DOI":"10.1007\/978-3-319-06410-9_5"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2009.0011"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/606612.606614"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.767"},{"key":"e_1_2_1_2_11_2","unstructured":"Basu A Gallien M Lesire C Nguyen T-H Bensalem S Ingrand F Sifakis J (2008) Incremental component-based construction and verification of a robotic system. In: 18th European conference on artificial intelligence. Frontiers in artificial intelligence and applications vol 178. IOS pp 631\u2013635 Press"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Bensalem S Griesmayer A Legay A Nguyen T-H Sifakis J Yan R (2011) D-finder 2: towards efficient correctness of incremental design. In: NASA formal methods. Lecture notes in computer science vol 6617. Springer New York pp 453\u2013458","DOI":"10.1007\/978-3-642-20398-5_32"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Bures T Hnetynka P Plasil F (2006) SOFA 2.0: balancing advanced features in a hierarchical component model. In: 4th international conference on software engineering research management and applications. IEEE pp 40\u201348","DOI":"10.1109\/SERA.2006.62"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Brada P (2002) Metadata support for safe component upgrades. In: 26th international computer software and applications conference. IEEE pp 1017\u20131021","DOI":"10.1109\/CMPSAC.2002.1045140"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.11.009"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Beyer D Wendler P (2013) Reuse of verification results. In: Model checking software. Lecture notes in computer science vol 7976. Springer New York pp 1\u201317","DOI":"10.1007\/978-3-642-39176-7_1"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-009-9046-2"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Chi Z (2009) Components composition compatibility checking based on behavior description and roles division. In: International conference on management of e-commerce and e-government. IEEE pp 262\u2013265","DOI":"10.1109\/ICMeCG.2009.30"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Chen X He J Liu Z Zhan N (2007) A model of component-based programming. In: International symposium on fundamentals of software engineering. Lecture notes in computer science vol 4767. Springer New York pp 191\u2013206","DOI":"10.1007\/978-3-540-75698-9_13"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235323"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","unstructured":"Cordy M Schobbens P Heymans P Legay A (2012) Towards an incremental automata-based approach for software product-line model checking. In: 16th international software product line conference. ACM New York pp 74\u201381","DOI":"10.1145\/2364412.2364425"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Craig DC Zuberek WM (2007) Compatibility of software components-modeling and verification. In: International conference on dependability of computer systems. IEEE pp 11\u201318","DOI":"10.1109\/DEPCOS-RELCOMEX.2006.13"},{"key":"e_1_2_1_2_23_2","unstructured":"DeMichiel L Keith M (2006) Enterprise javabeans specification version 3.0. Technical Report JSR 220 Sun Microsystems"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Dias MS Richardson DJ (2002) Identifying cause and effect relations between events in concurrent event-based components. In: 17th IEEE international conference on automated software engineering. IEEE pp 245\u2013248","DOI":"10.1109\/ASE.2002.1115021"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Dihego J Sampaio ACA Oliveira MVM (2015) Constructive extensibility of trustworthy component-based systems. In: Proceedings of the 30th annual ACM symposium on applied computing (SAC\u201915). ACM New York","DOI":"10.1145\/2695664.2695916"},{"key":"e_1_2_1_2_26_2","unstructured":"Fitzgerald J Foster S Ingram C Larsen PG Woodcock J (2013) Model-based engineering for systems of systems: the compass manifesto. Technical report COMPASS. http:\/\/www.compass-research.eu\/Project\/Publications\/MBESoS.pdf. Accessed 22\nApr 2016"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80733-3"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/503271.503240"},{"key":"e_1_2_1_2_29_2","unstructured":"Formal Systems (Europe) Ltd. (1998) Process behaviour explorer\u2014ProBE user manual"},{"key":"e_1_2_1_2_30_2","unstructured":"Formal Systems Ltd. (2012) FDR2: user manual version 2.94"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1986.0017"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00dfler G Graf S Majster-Cederbaum M Martens M Sifakis J. (2006) Ensuring properties of interaction systems. In: Theory and practice on program analysis and compilation. Lecture notes in computer science vol 4444. Springer New York pp 201\u2013224","DOI":"10.1007\/978-3-540-71322-7_10"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00dfler G Graf S Majster-Cederbaum M Martens M Sifakis J (2007) An approach to modelling and verification of component based systems. In: Current trends in theory and practice of computer science. Lecture notes in computer science vol 4362. Springer New York pp 295\u2013308","DOI":"10.1007\/978-3-540-69507-3_24"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Ghezzi C (2012) Evolution adaptation and the quest for incrementality. In: Large-scale complex it systems. Development operation and management. Springer New York pp 369\u2013379","DOI":"10.1007\/978-3-642-34059-8_19"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","unstructured":"Gibson-Robinson T Armstrong P Boulgakov A Roscoe AW (2014) FDR3\u2014a modern model checker for CSP. In: Erika \u00c1brah\u00e1m Klaus Havelund (eds) Tools and algorithms for the construction and analysis of systems. Lecture notes in computer science vol 8413 pp 187\u2013201","DOI":"10.1007\/978-3-642-54862-8_13"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.11.211"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.12.035"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.034"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.022"},{"key":"e_1_2_1_2_40_2","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"crossref","unstructured":"Ivers J Moreno G (2008) PACC starter kit: developing software with predictable behavior. In: ICSE companion. ACM New York pp 949\u2013950","DOI":"10.1145\/1370175.1370202"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","unstructured":"Kwiatkowska XWM (2007) Compositional state space reduction using untangled actions. In: 13th international workshop on expressiveness in concurrency. Electron Notes Theor Comput Sci 175:27\u201346","DOI":"10.1016\/j.entcs.2006.10.052"},{"key":"e_1_2_1_2_43_2","unstructured":"Lazi\u0107 R (1999) A semantic study of data-independence with applications to the mechanical verification of concurrent systems. Ph.D. thesis Oxford University Oxford"},{"key":"e_1_2_1_2_44_2","unstructured":"Leavens G Dhara K (2000) Concepts of behavioral subtyping and a sketch of their extension to Component-Based systems. In: Foundations of component-based systems. Cambridge University Press Cambridge pp 113\u2013135"},{"key":"e_1_2_1_2_45_2","unstructured":"Leveson N (1995) Safeware: system safety and computers. Addison-Wesley Menlo Park"},{"key":"e_1_2_1_2_46_2","doi-asserted-by":"crossref","unstructured":"Lambertz C Majster-Cederbaum ME (2010) Port protocols for deadlock-freedom of component systems. In: Bliudze S Bruni R Grohmann D Silva A (eds) ICE. EPTCS vol 38 pp 7\u201311","DOI":"10.4204\/EPTCS.38.3"},{"key":"e_1_2_1_2_47_2","unstructured":"Lau K-K Ukis V (2005) Component metadata in component-based software development: a survey. Preprint CSPP-34 School of Computer Science The University of Manchester Manchester"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"crossref","unstructured":"Liskov BH Wing JM (1994) A behavioural notion of subtyping. ACM Trans Program Lang Syst 16(6):1811\u20131841","DOI":"10.1145\/197320.197383"},{"issue":"4","key":"e_1_2_1_2_49_2","first-page":"325","article-title":"The roots of software engineering","volume":"3","author":"Mahoney M","year":"1990","journal-title":"CWI Q"},{"key":"e_1_2_1_2_50_2","unstructured":"Martin JMR (1996) The design and construction of deadlock-free concurrent systems. Ph.D. thesis University of Buckingham Buckingham"},{"key":"e_1_2_1_2_51_2","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum M Martens M (2007) Robustness in interaction systems. In: 27th international conference on formal methods for networked and distributed systems. Lecture notes of computer science vol 4574. Springer New York pp 325\u2013340","DOI":"10.1007\/978-3-540-73196-2_21"},{"key":"e_1_2_1_2_52_2","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum M Martens M (2008) Compositional analysis of deadlock-freedom for tree-like component architectures. In: 8th ACM international conference on embedded software. ACM New York pp 199\u2013206","DOI":"10.1145\/1450058.1450085"},{"key":"e_1_2_1_2_53_2","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum M Martens M Minnameier C (2007) A polynomial-time checkable sufficient condition for deadlock-freedom of component-based systems. In: SOFSEM 2007: theory and practice of computer science pp 888\u2013899","DOI":"10.1007\/978-3-540-69507-3_77"},{"key":"e_1_2_1_2_54_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.021"},{"key":"e_1_2_1_2_55_2","doi-asserted-by":"crossref","unstructured":"Merson P Hissam S (2005) Predictability by construction. In: 20th annual ACM SIGPLAN conference on object-oriented programming systems languages and applications. ACM New York pp 134\u2013135","DOI":"10.1145\/1094855.1094900"},{"key":"e_1_2_1_2_56_2","unstructured":"Microsoft Developer Network (2011) Component object model technologies. Technical report. http:\/\/www.microsoft.com. Accessed 22 Apr 2016"},{"key":"e_1_2_1_2_57_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.02.016"},{"key":"e_1_2_1_2_58_2","doi-asserted-by":"crossref","unstructured":"Mota A Jesus J Gomes A Ferri F Watanabe E (2010) Evolving a safe system design iteratively. In: 29th international conference computer safety reliability and security. Lecture notes in computer science vol 6351. Springer New York pp 361\u2013374","DOI":"10.1007\/978-3-642-15651-9_27"},{"key":"e_1_2_1_2_59_2","doi-asserted-by":"crossref","unstructured":"Magee J Kramer J (1996) Dynamic structures in software architecture. In: 4th symposium on the foundations of software engineering. ACM New York pp 3\u201314","DOI":"10.1145\/250707.239104"},{"key":"e_1_2_1_2_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"issue":"4","key":"e_1_2_1_2_61_2","first-page":"215","article-title":"A design strategy for deadlock-free concurrent systems","volume":"3","author":"Martin JMR","year":"1997","journal-title":"Transput Commun"},{"key":"e_1_2_1_2_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/167962.167976"},{"key":"e_1_2_1_2_63_2","unstructured":"Object Management Group (2007) Unified modeling language superstructure V2.1.2. Technical report formal\/2007-11-02 OMG 2007. OMG adopted specification"},{"key":"e_1_2_1_2_64_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.344"},{"key":"e_1_2_1_2_65_2","unstructured":"OMG (2012) OMG systems modeling language (OMG SysML) version 1.3. Technical report Object Management Group"},{"key":"e_1_2_1_2_66_2","doi-asserted-by":"crossref","unstructured":"Ouaknine J Palikareva H Roscoe AW Worrell J (2013) A static analysis framework for livelock freedom in CSP. Log Methods Comput Sci 9(3):1\u201353","DOI":"10.2168\/LMCS-9(3:24)2013"},{"key":"e_1_2_1_2_67_2","unstructured":"Oliveira MVM Sampaio ACA Antonino PRG Ramos RT Cavancalti ALC Woodcock JCP (2013) Compositional analysis and design of CML models. Technical report D24.1 COMPASS deliverable. http:\/\/www.compass-research.eu\/. Accessed 22\nApr 2016"},{"key":"e_1_2_1_2_68_2","first-page":"330","article-title":"Coordination models and languages","volume":"46","author":"Papadopoulos G","year":"1998","journal-title":"Adv Comput Eng Large Syst"},{"key":"e_1_2_1_2_69_2","unstructured":"Plasil F (2005) Enhancing component specification by behavior description: the SOFA experience. In: 4th international symposium on Information and communication technologies. Trinity College Dublin p 190"},{"key":"e_1_2_1_2_70_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"e_1_2_1_2_71_2","unstructured":"Roscoe AW (1998) The theory and practice of concurrency. In: Prentice-Hall series in computer science. Prentice-Hall USA"},{"key":"e_1_2_1_2_72_2","unstructured":"Roscoe AW (2005) The pursuit of buffer tolerance. Technical report Oxford University Oxford"},{"key":"e_1_2_1_2_73_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.098"},{"key":"e_1_2_1_2_74_2","doi-asserted-by":"publisher","DOI":"10.5555\/1941861"},{"key":"e_1_2_1_2_75_2","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2001-91-204"},{"key":"e_1_2_1_2_76_2","doi-asserted-by":"crossref","unstructured":"Ramos RT Sampaio ACA Mota AC (2006) Transformation laws for UML-RT. In: 8th IFIP international conference on formal methods for open object-based distributed systems. Lecture notes in computer science vol 4037 . Springer New York pp 123\u2013138","DOI":"10.1007\/11768869_11"},{"key":"e_1_2_1_2_77_2","doi-asserted-by":"crossref","unstructured":"Ramos RT Sampaio ACA Mota AC (2009) Systematic development of trustworthy component systems. In: 2nd world congress on formal methods. Lecture notes in computer science vol 5850. Springer New York pp 140\u2013156","DOI":"10.1007\/978-3-642-05089-3_10"},{"key":"e_1_2_1_2_78_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.12.005"},{"key":"e_1_2_1_2_79_2","unstructured":"Selic B Gullekson G Ward P (1994) Real-time object-oriented modeling. Wiley New York"},{"key":"e_1_2_1_2_80_2","doi-asserted-by":"crossref","unstructured":"Sifakis J (2010) Component-based construction of heterogeneous real-time systems in bip. In: The future of software engineering p 150","DOI":"10.1007\/978-3-642-15187-3_10"},{"key":"e_1_2_1_2_81_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1498"},{"key":"e_1_2_1_2_82_2","unstructured":"Spitznagel B (2004) Compositional transformation of software connectors. Ph.D. thesis Carnegie Mellon University Number: CMU-CS-04-128."},{"key":"e_1_2_1_2_83_2","doi-asserted-by":"crossref","unstructured":"Selic B Rumbaugh J (1998) Using UML for modeling complex RealTime systems. Technical report Rational Software Corporation","DOI":"10.1007\/BFb0057795"},{"key":"e_1_2_1_2_84_2","doi-asserted-by":"crossref","unstructured":"Sinha N Singhania N Chandra S Sridharan M (2012) Alternate and learn: finding witnesses without looking all over. In: Computer aided verification. Springer New York pp 599\u2013615","DOI":"10.1007\/978-3-642-31424-7_42"},{"key":"e_1_2_1_2_85_2","volume-title":"Component software: beyond object-oriented programming","author":"Szyperski C","year":"2002"},{"key":"e_1_2_1_2_86_2","doi-asserted-by":"crossref","unstructured":"Wallnau KC (2003) Volume III: a technology for predictable assembly from certifiable components. Technical Report CMU\/SEI-2003-TR-009 Software Engineering Institute Carnegie Mellon University Pittsburgh","DOI":"10.21236\/ADA413574"},{"key":"e_1_2_1_2_87_2","doi-asserted-by":"crossref","unstructured":"Wehrheim H (2000) Specification of an automatic manufacturing system: a case study in using integrated formal methods. In: 3rd internationsl conference fundamental approaches to software engineering. Lecture notes in computer science vol 1783. Springer New York pp 334\u2013348","DOI":"10.1007\/3-540-46428-X_23"},{"key":"e_1_2_1_2_88_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14521-6_14"},{"key":"e_1_2_1_2_89_2","doi-asserted-by":"crossref","unstructured":"Zeng H Miao H (2010) Deadlock detection for parallel composition of components. In: Computer and information science pp 23\u201334","DOI":"10.1007\/978-3-642-15405-8_3"},{"key":"e_1_2_1_2_90_2","doi-asserted-by":"crossref","unstructured":"Zuberek W (2011) Incremental composition of software components. In: Dependable computer systems pp 301\u2013311","DOI":"10.1007\/978-3-642-21393-9_23"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0375-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-016-0375-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0375-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-016-0375-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:04:27Z","timestamp":1641485067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-016-0375-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":90,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["10.1007\/s00165-016-0375-1"],"URL":"https:\/\/doi.org\/10.1007\/s00165-016-0375-1","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11]]}}}