{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:07:12Z","timestamp":1742951232729,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041662"},{"type":"electronic","value":"9783642041679"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04167-9_10","type":"book-chapter","created":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T06:45:02Z","timestamp":1250664302000},"page":"180-203","source":"Crossref","is-referenced-by-count":8,"title":["Specification and Verification for Grid Component-Based Applications: From Models to Tools"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cansado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Component Software","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-24774-6_3","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: An open component model and its support in java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 7\u201322. Springer, Heidelberg (2004)"},{"key":"10_CR3","unstructured":"CoreGRID, Programming Model Institute: Basic features of the grid component model (assessed). Technical report, CoreGRID, Programming Model Virtual Institute, Deliverable D.PM.04 (2006), http:\/\/www.coregrid.net\/mambo\/images\/stories\/Deliverables\/d.pm.04.pdf"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: \u03c0-ADL: An Architecture Description Language based on the Higher Order Typed \u03c0-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes\u00a026(3) (2004)","DOI":"10.1145\/986710.986728"},{"key":"10_CR5","unstructured":"Groote, J., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The Formal Specification Language mCRL2. In: Proc. Methods for Modelling Software Systems (2007)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11768869_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P. Poizat","year":"2006","unstructured":"Poizat, P., Royer, J.-C., Sala\u00fcn, G.: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 33\u201347. Springer, Heidelberg (2006)"},{"key":"10_CR7","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter\u00a04, 13\u201324 (2002)","journal-title":"European Association for Software Science and Technology (EASST) Newsletter"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Barros, T., Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed Fractal components. Annals of Telecommunications\u00a064(1-2) (January 2009); also Research Report INRIA RR-6491.","DOI":"10.1007\/s12243-008-0069-7"},{"key":"10_CR9","unstructured":"OASIS team: VerCors: a Specification and Verification Platform for Distributed Applications (2007-2009), http:\/\/www-sop.inria.fr\/oasis\/index.php?page=vercors"},{"key":"10_CR10","unstructured":"Cansado, A., Henrio, L., Madelaine, E., Valenzuela, P.: Unifying architectural and behavioural specifications of distributed components. In: International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Electronic Notes in Theoretical Computer Science (ENTCS) (September 2008)"},{"key":"10_CR11","volume-title":"A Theory of Distributed Objects","author":"D. Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, Heidelberg (2005)"},{"key":"10_CR12","unstructured":"Caromel, D., Henrio, L.: Asynchonous distributed components: Concurrency and determinacy. In: Proceedings of the IFIP International Conference on Theoretical Computer Science 2006 (IFIP TCS 2006), Santiago, Chile, August 2006. Springer Science (2006); 19th IFIP World Computer Congress"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-24774-6_3","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: An open component model and its support in java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 7\u201322. Springer, Heidelberg (2004)"},{"key":"10_CR14","unstructured":"Seinturier, L., Pessemier, N., Coupaye, T.: AOKell: an Aspect-Oriented Implementation of the Fractal Specifications (2005), http:\/\/www.lifl.fr\/~seinturi\/aokell\/javadoc\/overview.html"},{"key":"10_CR15","unstructured":"European Telecommunication Standards Institute, http:\/\/portal.etsi.org"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.12921\/cmst.2006.12.01.69-77","volume":"12","author":"D. Caromel","year":"2006","unstructured":"Caromel, D., Delb\u00e9, C., di Costanzo, A., Leyton, M.: ProActive: an integrated platform for programming and running applications on grids and P2P systems. Computational Methods in Science and Technology\u00a012(1), 69\u201377 (2006)","journal-title":"Computational Methods in Science and Technology"},{"key":"10_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"10_CR18","series-title":"Semantics of communicating sytems","volume-title":"Finite transition systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite transition systems. Semantics of communicating sytems. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0014474","volume-title":"CONCUR \u201996: Concurrency Theory","author":"H. Lin","year":"1996","unstructured":"Lin, H.: Symbolic transition graph with assignment. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"key":"10_CR20","unstructured":"Madelaine, E.: Verification tools from the CONCUR project. EATCS Bull.\u00a047 (1992)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30232-2_4","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"T. Barros","year":"2004","unstructured":"Barros, T., Boulifa, R., Madelaine, E.: Parameterized models for distributed java objects. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004, Madrid. LNCS, vol.\u00a03235, pp. 43\u201360. Springer, Heidelberg (2004)"},{"key":"10_CR22","unstructured":"Boulifa, R.: G\u00e9n\u00e9ration de mod\u00e8les comportementaux des applications r\u00e9parties. PhD thesis, University of Nice - Sophia Antipolis \u2013 UFR Sciences (December 2004)"},{"key":"10_CR23","unstructured":"Cansado, A., Henrio, L., Madelaine, E.: Transparent first-class futures and distributed component. In: International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Electronic Notes in Theoretical Computer Science, ENTCS (September 2008)"},{"key":"10_CR24","unstructured":"Cansado, A.: Formal Specification and Verification of Distributed Component Systems. PhD thesis, Universit\u00e9 de Nice - Sophia Antipolis \u2013 UFR Sciences (December 2008)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In: CAV (2007)","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"10_CR26","unstructured":"Berthomieu, B., Bodeveix, J.P., Filali, M., Garavel, H., Lang, F., Peres, F., Saad, R., Stoecker, J., Fran, C.V.: The Syntax and Semantics of FIACRE V2.0. Technical report (Feburary 2009)"},{"key":"10_CR27","first-page":"359","volume-title":"ASE","author":"N. Pontisso","year":"2006","unstructured":"Pontisso, N., Chemouil, D.: Topcased combining formal methods with model-driven engineering. In: ASE, pp. 359\u2013360. IEEE Computer Society, Los Alamitos (2006)"},{"key":"10_CR28","unstructured":"Object Management Group: UML 2.0 Object Constraint Language (OCL) Specification. formal\/03-10-14 edn, version 2.0 (2003)"},{"key":"10_CR29","volume-title":"Proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007)","author":"S. Ahumada","year":"2007","unstructured":"Ahumada, S., Apvrille, L., Barros, T., Cansado, A., Madelaine, E., Salageanu, E.: Specifying Fractal and GCM Components With UML. In: Proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), Iquique, Chile, November 2007. IEEE, Los Alamitos (2007)"},{"key":"10_CR30","unstructured":"Ressouche, A., de Simone, R., Bouali, A., Roy, V.: The FC2Tool user manuel (1994), http:\/\/www-sop.inria.fr\/meije\/verification\/"},{"key":"10_CR31","unstructured":"Barros, T.: Formal specification and verification of distributed component systems. PhD thesis, University of Nice - Sophia Antipolis (November 2005)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11589976_6","volume-title":"Integrated Formal Methods","author":"F. Lang","year":"2005","unstructured":"Lang, F.: Exp.Open 2.0: A flexible tool integrating partial order, compositional, and on-the-fly verification methods. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 70\u201388. Springer, Heidelberg (2005)"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-85289-6","volume-title":"The Common Component Modeling Example","author":"A. Rausch","year":"2008","unstructured":"Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F.: The Common Component Modeling Example. LNCS, vol.\u00a05153. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04167-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T22:30:35Z","timestamp":1558477835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04167-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041662","9783642041679"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04167-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}