{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:40Z","timestamp":1761597040008},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540695066"},{"type":"electronic","value":"9783540695073"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69507-3_24","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T13:35:58Z","timestamp":1184592958000},"page":"295-308","source":"Crossref","is-referenced-by-count":20,"title":["An Approach to Modelling and Verification of Component Based Systems"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[]},{"given":"Sussane","family":"Graf","sequence":"additional","affiliation":[]},{"given":"Mila","family":"Majster-Cederbaum","sequence":"additional","affiliation":[]},{"given":"M.","family":"Martens","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"24_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0169-023X(02)00025-3","volume":"42","author":"N. Aoumeur","year":"2002","unstructured":"Aoumeur, N., Saake, G.: A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data Knowl. Eng.\u00a042(2), 143\u2013187 (2002)","journal-title":"Data Knowl. Eng."},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F. Arbab","year":"2003","unstructured":"Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 33\u201370. Springer, Heidelberg (2003)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/978-3-540-30579-8_30","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P.C. Attie","year":"2005","unstructured":"Attie, P.C., Chockler, H.: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 465\u2013481. Springer, Heidelberg (2005)"},{"key":"24_CR5","unstructured":"Bastide, R., Barboni, E.: Component-Based Behavioural Modelling with High-Level Petri Nets. In: MOCA\u201904 Aahrus, Denmark, DAIMI, pp. 37\u201346 (2004)"},{"key":"24_CR6","series-title":"ENTCS","volume-title":"Proceedings of FACS\u201905","author":"R. Bastide","year":"2005","unstructured":"Bastide, R., Barboni, E.: Software Components: A Formal Semantics Based on Coloured Petri Nets. In: Proceedings of FACS\u201905. ENTCS, Elsevier, Amsterdam (2005)"},{"key":"24_CR7","series-title":"ENTCS","volume-title":"Proc. of FACS\u201905","author":"H. Baumeister","year":"2005","unstructured":"Baumeister, H., Hacklinger, F., Hennicker, R., Knapp, A., Wirsing, M.: A Component Model for Architectural Programming. In: Proc. of FACS\u201905. ENTCS, Elsevier, Amsterdam (2005)"},{"key":"24_CR8","first-page":"189","volume-title":"Foundations of Component-Based Systems","author":"K. Berger","year":"2000","unstructured":"Berger, K. et al.: A Formal Model for Componentware. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 189\u2013210. Cambridge Univ. Press, Cambridge (2000)"},{"key":"24_CR9","series-title":"ENTCS","volume-title":"Proceedings of FACS\u201905","author":"S. Chouali","year":"2005","unstructured":"Chouali, S., Heisel, M., Souqui\u00e8res, J.: Proving Component Interoperability with B Refinement. In: Proceedings of FACS\u201905. ENTCS, Elsevier, Amsterdam (2005)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proceedings of ESEC 2001, pp. 109\u2013120 (2001)","DOI":"10.1145\/503271.503226"},{"key":"24_CR11","unstructured":"G\u00f6ssler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: Establishing Properties of Interaction Systems. Full paper in preparation (2006)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-540-24597-1_36","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"G. G\u00f6\u00dfler","year":"2003","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Component-Based Construction of Deadlock-Free Systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 420\u2013433. Springer, Heidelberg (2003)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/978-3-540-30101-1_15","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6\u00dfler","year":"2004","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Priority systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 314\u2013329. Springer, Heidelberg (2004)"},{"issue":"1-3","key":"24_CR14","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. Sci. Comput. Program.\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"24_CR15","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An Introduction to Input\/Output Automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1007\/978-3-540-69507-3_77","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"M. Majster-Cederbaum","year":"2007","unstructured":"Majster-Cederbaum, M., Martens, M., Minnameier, C.: A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 888\u2013899. Springer, Heidelberg (2007)"},{"key":"24_CR18","unstructured":"Martens, M., Minnameier, C., Majster-Cederbaum, M.: Deciding Liveness in Component-Based Systems is NP-Hard. Technical Report tr-2006-017, University of Mannheim, Fakult\u00e4t Mathematik und Informatik (2006)"},{"key":"24_CR19","unstructured":"Minnameier, C.: Deadlock-Detection in Component-Based Systems is NP-Hard. Technical report tr-2006-015, University of Mannheim, Fakult\u00e4t Mathematik und Informatik, submited for publication (2006)"},{"key":"24_CR20","first-page":"122","volume-title":"Proceedings of ACSD\u201903","author":"S. Moschoyiannis","year":"2003","unstructured":"Moschoyiannis, S., Shields, M.W.: Component-Based Design: Towards Guided Composition. In: Proceedings of ACSD\u201903, pp. 122\u2013131. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-540-39656-7_14","volume-title":"Formal Methods for Components and Objects","author":"O. Nierstrasz","year":"2003","unstructured":"Nierstrasz, O., Achermann, F.: A Calculus for Modeling Software Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 339\u2013360. Springer, Heidelberg (2003)"},{"key":"24_CR22","volume-title":"Logics and Models for Concurrent Systems","author":"A. Pnueli","year":"1985","unstructured":"Pnueli, A.: In Transition from Global to Modular Temporal Reasoning about Programs. In: Logics and Models for Concurrent Systems, vol.\u00a013, Springer, Heidelberg (1985)"},{"key":"24_CR23","volume-title":"Proceedings of SEFM 05","author":"J. Sifakis","year":"2005","unstructured":"Sifakis, J.: A Framework for Component-Based Construction. In: Proceedings of SEFM 05, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/11539452_35","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"H. V\u00f6lzer","year":"2005","unstructured":"V\u00f6lzer, H., Varacca, D., Kindler, E.: Defining Fairness. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 458\u2013472. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2007: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69507-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:47:56Z","timestamp":1558468076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69507-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540695066","9783540695073"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69507-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}