{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:13:11Z","timestamp":1732032791313},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852889"},{"type":"electronic","value":"9783540852896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85289-6_14","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T11:47:04Z","timestamp":1218541624000},"page":"357-387","source":"Crossref","is-referenced-by-count":10,"title":["CoCoME in Fractal"],"prefix":"10.1007","author":[{"given":"Lubom\u00edr","family":"Bulej","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Coupaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"D\u011bck\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Je\u017eek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Par\u00edzek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Poch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rivierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"\u0160er\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"T\u016fma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Adamek, J., Bures, T., Jezek, P., Kofron, J., Mencl, V., Parizek, P., Plasil, F.: Component Reliability Extensions for Fractal Component Model (2006), http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml"},{"key":"14_CR2","unstructured":"ASM, http:\/\/asm.objectweb.org\/"},{"key":"14_CR3","volume-title":"GRID COMPUTING: Software Environments and Tools","author":"F. Baude","year":"2006","unstructured":"Baude, F., Baduel, L., Caromel, D., Contes, A., Huet, F., Morel, M., Quilici, R.: Programming, Composing, Deploying for the Grid. In: Cunha, J.C., Rana, O.F. (eds.) GRID COMPUTING: Software Environments and Tools. Springer, Heidelberg (January 2006)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.B.: The FRACTAL component model and its support in Java. Softw., Pract. Exper.\u00a036(11-12) (2006)","DOI":"10.1002\/spe.767"},{"key":"14_CR5","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.B.: Fractal Component Model, version 2.0-3 (February 2004)"},{"key":"14_CR6","unstructured":"dChecker, http:\/\/dsrg.mff.cuni.cz\/projects.phtml?p=dchecker"},{"key":"14_CR7","unstructured":"Dream, http:\/\/dream.objectweb.org\/"},{"key":"14_CR8","unstructured":"FRACTNET, http:\/\/www-adele.imag.fr\/fractnet\/"},{"key":"14_CR9","unstructured":"Fractal ADL, http:\/\/fractal.objectweb.org\/fractaladl\/index.html"},{"key":"14_CR10","unstructured":"Fractal BPC, http:\/\/fractal.objectweb.org\/fractalbpc\/index.html"},{"key":"14_CR11","unstructured":"Fractal GUI, http:\/\/fractal.objectweb.org\/fractalgui\/"},{"key":"14_CR12","unstructured":"Fractal JMX, http:\/\/fractal.objectweb.org\/fractaljmx\/"},{"key":"14_CR13","unstructured":"Fractal RMI, http:\/\/fractal.objectweb.org\/fractalrmi\/index.html"},{"key":"14_CR14","unstructured":"Java Management Extensions (JMX) Specification, version 2.0, JSR 255, http:\/\/jcp.org\/en\/jsr\/detail?id=255"},{"key":"14_CR15","unstructured":"Java PathFinder, http:\/\/javapathfinder.sourceforge.net\/"},{"key":"14_CR16","unstructured":"JUnit, http:\/\/www.junit.org\/"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Layaida, O., Hagimont, D.: PLASMA: A Component-based Framework for Building Self-Adaptive Applications. In: Proceedings of SPIE\/IS&T Symposium On Electronic Imaging, Conference on Embedded Multimedia Processing and Communications, San Jose, CA, USA (January 2004)","DOI":"10.1117\/12.592148"},{"key":"14_CR18","unstructured":"Loiret, F., Servat, D., Seinturier, L.: A First Experimentation on High-Level Tooling Support upon Fractal. In: Proceedings of the 5th International ECOOP Workshop on Fractal Component Model (Fractal 2006), Nantes, France (July 2006)"},{"key":"14_CR19","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 Architecture, Proceeding of the 5th European Software Engineering Conference (ESE\u2019C 1995). In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"14_CR20","volume-title":"Proceedings of APSEC 2005","author":"V. Mencl","year":"2005","unstructured":"Mencl, V., Bures, T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects. In: Proceedings of APSEC 2005, Taipei, Taiwan, December 2005, IEEE CS, Los Alamitos (2005)"},{"key":"14_CR21","unstructured":"Mencl, V., Polak, M.: UML 2.0 Components and Fractal: An Analysis. In: Proceedings of the 5th International ECOOP Workshop on Fractal Component Model (Fractal 2006), Nantes, France (July 2006)"},{"key":"14_CR22","unstructured":"Microsoft .NET Framework, http:\/\/www.microsoft.com\/net\/"},{"key":"14_CR23","unstructured":"Object Management Group, Corba Components, version 3.0 (June 2002), http:\/\/www.omg.org\/docs\/formal\/02-06-65.pdf"},{"key":"14_CR24","unstructured":"OMG, Object Management Group: UML Profile for Schedulability, Performance and Time (2005), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2005-01-02"},{"key":"14_CR25","unstructured":"Par\u00edzek, P., Pl\u00e1\u0161il, F.: Modeling Environment for Compoment Model Checking from Hierarchical Architecture. In: Proceedings of Formal Aspects of Component Software (FACS 2006), Prague, Czech Republic (September 2006)"},{"key":"14_CR26","first-page":"133","volume-title":"Proceedings of 30th IEEE\/NASA Sofrware Engineering Workshop (SEW-30)","author":"P. Par\u00edzek","year":"2007","unstructured":"Par\u00edzek, P., Pl\u00e1\u0161il, F., Kofro\u0148, J.: Model checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. In: Proceedings of 30th IEEE\/NASA Sofrware Engineering Workshop (SEW-30), January 2007, pp. 133\u2013141. IEEE Computer Society, Los Alamitos (2007)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Pl\u00e1\u0161il, F., Vi\u0161\u0148ovsk\u00fd, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11) (November 2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11783565_10","volume-title":"Component-Based Software Engineering","author":"L. Seinturier","year":"2006","unstructured":"Seinturier, L., Pessemier, N., Duchien, L., Coupaye, T.: A Component Model Engineered with Components and Aspects. In: Gorton, I., Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2006. LNCS, vol.\u00a04063. Springer, Heidelberg (2006)"},{"key":"14_CR29","unstructured":"Simple Network Management Protocol (SNMP), RFC (1157), http:\/\/www.faqs.org\/rfcs\/rfc1157.html"},{"key":"14_CR30","unstructured":"Sun Microsystems, JSR 220: Enterprise JavaBeansTM,Version 3.0"},{"key":"14_CR31","unstructured":"THINK, http:\/\/think.objectweb.org"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat., G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal\u00a010(2) (April 2003)","DOI":"10.1023\/A:1022920129859"},{"key":"14_CR33","unstructured":"Fractal CoCoME, http:\/\/dsrg.mff.cuni.cz\/cocome\/fractal"}],"container-title":["Lecture Notes in Computer Science","The Common Component Modeling Example"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85289-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:23:47Z","timestamp":1606184627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85289-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852889","9783540852896"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85289-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}