{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:25:16Z","timestamp":1743125116055,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272684"},{"type":"electronic","value":"9783642272691"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27269-1_10","type":"book-chapter","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T00:52:10Z","timestamp":1326761530000},"page":"163-181","source":"Crossref","is-referenced-by-count":2,"title":["Systems-Theoretic View of Component-Based Software Development"],"prefix":"10.1007","author":[{"given":"Daniel","family":"C\u00f4t\u00e9","sequence":"first","affiliation":[]},{"given":"Michel Embe","family":"Jiague","sequence":"additional","affiliation":[]},{"given":"Richard","family":"St-Denis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Distributed adaptation of dining philosophers. In: Pre-proceedings of 7th International Workshop on Formal Aspects of Component Software, Guimar\u00e3es Portugal, pp. 101\u2013119 (2010)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1109\/9.728871","volume":"43","author":"M. Barbeau","year":"1998","unstructured":"Barbeau, M., Kabanza, F., St-Denis, R.: A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control\u00a043, 1543\u20131559 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.-H.: Compositional verification for component-based systems and application. In: Cha, S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 64\u201379. Springer, Heidelberg (2008)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10626-008-0040-9","volume":"19","author":"H. Bherer","year":"2009","unstructured":"Bherer, H., Desharnais, J., St-Denis, R.: Control of parameterized discrete event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a019, 213\u2013265 (2009)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10_CR5","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.B.: The Fractal component model. OW2 Consortium technical report, version 2.0-3 (2004), \n                  \n                    http:\/\/Fractal.OW2.org"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-34874-3_4","volume-title":"Interactive Computation: the New Paradigm","author":"M. Broy","year":"2006","unstructured":"Broy, M.: A theory of system interaction: components, interfaces, and services. In: Goldin, D., Smolka, S.A., Wegner, P. (eds.) Interactive Computation: the New Paradigm, pp. 41\u201396. Springer, Heidelberg (2006)"},{"key":"10_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)","edition":"2"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-75698-9_13","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"X. Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 191\u2013206. Springer, Heidelberg (2007)"},{"key":"10_CR9","unstructured":"C\u00f4t\u00e9, D.: Conception par composantes de contr\u00f4leurs d\u2019usines modulaires utilisant la th\u00e9orie du contr\u00f4le supervis\u00e9. Ph.D. thesis, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, submitted (2011)"},{"key":"10_CR10","unstructured":"Dormoy, J., Kouchnarenko, O., Lanoix, A.: Using temporal logic for dynamic reconfigurations of components. In: Pre-proceedings of 7th International Workshop on Formal Aspects of Component Software, Guimar\u00e3es Portugal, pp. 121\u2013138 (2010)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming\u00a055, 161\u2013183 (2005)","journal-title":"Science of Computer Programming"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L.E. Holloway","year":"1997","unstructured":"Holloway, L.E., Krogh, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a07, 151\u2013190 (1997)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10_CR13","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Boston (2006)","edition":"3"},{"key":"10_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2217-1","volume-title":"Modeling and Control of Logical Discrete Event Systems","author":"R. Kumar","year":"1995","unstructured":"Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston (1995)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-11623-0_3","volume-title":"Fundamentals of Software Engineering","author":"Z. Liu","year":"2010","unstructured":"Liu, Z., Morisset, C., Stolz, V.: rCOS: Theory and Tool for Component-Based Model Driven Development. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 62\u201380. Springer, Heidelberg (2010)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11804192_1","volume-title":"Formal Methods for Components and Objects","author":"K.-K. Lau","year":"2006","unstructured":"Lau, K.-K., Ornaghi, M., Wang, Z.: A Software Component Model and Its Preliminary Formalisation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 1\u201321. Springer, Heidelberg (2006)"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"K.-K. Lau","year":"2007","unstructured":"Lau, K.-K., Wang, Z.: Software component models. IEEE Transactions on Software Engineering\u00a033, 709\u2013724 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"1322","DOI":"10.1109\/TAC.2005.854586","volume":"50","author":"R.J. Leduc","year":"2005","unstructured":"Leduc, R.J., Brandin, B.A., Lawford, M., Wonham, W.M.: Hierarchical interface-based supervisory control\u2014part I: serial case. IEEE Transactions on Automatic Control\u00a050, 1322\u20131335 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1109\/TAC.2005.854612","volume":"50","author":"R.J. Leduc","year":"2005","unstructured":"Leduc, R.J., Lawford, M., Wonham, W.M.: Hierarchical interface-based supervisory control\u2014part II: parallel case. IEEE Transactions on Automatic Control\u00a050, 1336\u20131348 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10_CR20","volume-title":"Aeronautics and Astronautics and Engineering Systems Division","author":"N.G. Leveson","year":"2009","unstructured":"Leveson, N.G.: Engineering a safer world: system safety for the 21st century (or systems thinking applied to safety). In: Aeronautics and Astronautics and Engineering Systems Division. MIT, Cambridge (2009)"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data & Knowledge Engineering\u00a064, 38\u201354 (2008)","journal-title":"Data & Knowledge Engineering"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2006.875030","volume":"51","author":"C. Ma","year":"2006","unstructured":"Ma, C., Wonham, W.M.: Nonblocking supervisory control of state tree structures. IEEE Transactions on Automatic Control\u00a051, 782\u2013793 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing compatibility of BPEL processes. In: Proceedings of Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT\/ICIW), Guadeloupe, French Caribbean, p. 147 (2006)","DOI":"10.1109\/AICT-ICIW.2006.48"},{"key":"10_CR24","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"10_CR25","unstructured":"Pu, K.Q.: Modeling and control of discrete-event systems with hierarchical abstraction. Master thesis, Department of Electrical and Computer Engineering, University of Toronto (2000)"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: Control of discrete event systems. Proceedings of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"10_CR27","unstructured":"Santos, E.A.P., De Negri, V.J., Cury, J.E.R.: A computational model for supporting conceptual design of automatic systems. In: Proceedings of 13th International Conference on Engineering Design, Glasgow UK, pp. 517\u2013524 (2001)"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0164-1212(01)00083-8","volume":"60","author":"R. St-Denis","year":"2002","unstructured":"St-Denis, R.: Designing reactive systems: integration of abstraction techniques into a synthesis procedure. The Journal of Systems and Software\u00a060, 103\u2013112 (2002)","journal-title":"The Journal of Systems and Software"},{"key":"10_CR29","volume-title":"Component Software \u2014 Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software \u2014 Beyond Object-Oriented Programming, 2nd edn. ACM Press and Addison-Wesley, New York (2002)","edition":"2"},{"key":"10_CR30","unstructured":"Wong, K.C.: Discrete-event control architecture: an algebraic approach. Ph.D. thesis, Department of Electrical Engineering, University of Toronto (1994)"},{"key":"10_CR31","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008391200517","volume":"10","author":"K.C. Wong","year":"2000","unstructured":"Wong, K.C., Thistle, J.G., Malham\u00e9, R.P., Hoang, H.-H.: Supervisory control of distributed systems: conflict resolution. Discrete Event Dynamic Systems: Theory and Applications\u00a010, 131\u2013186 (2000)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10_CR32","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01797154","volume":"6","author":"K.C. Wong","year":"1996","unstructured":"Wong, K.C., Wonham, W.M.: Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a06, 241\u2013273 (1996)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10_CR33","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"K.C. Wong","year":"2004","unstructured":"Wong, K.C., Wonham, W.M.: On the computation of observers in discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a014, 55\u2013107 (2004)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27269-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T20:32:52Z","timestamp":1556137972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27269-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642272684","9783642272691"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27269-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}