{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T20:39:18Z","timestamp":1768768758614,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540775805","type":"print"},{"value":"9783540775812","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77581-2_18","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T06:39:30Z","timestamp":1202366370000},"page":"269-280","source":"Crossref","is-referenced-by-count":3,"title":["Managing Service-Based EAI Architectures Evolution Using a Formal Architecture-Centric Approach"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Pourraz","sequence":"first","affiliation":[]},{"given":"Herv\u00e9","family":"Verjus","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Peltz, C.: Web services orchestration: A review of emerging technologies, tools, and standards"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Pourraz, F., Verjus, H., Oquendo, F.: An architecture-centric approach for managing the evolution of eai services-oriented architecture. In: ICEIS 2006. Eighth International Conference on Enterprise Information Systems, Paphos, Cyprus, pp. 234\u2013241 (2006)","DOI":"10.5220\/0002495002340241"},{"key":"18_CR3","unstructured":"dit Jolicoeur, L.B., Braesch, C., Dindeleux, R., Gaspard, S., Berre, D.L., Leymonerie, F., Montaud, A., Chaudet, C., Haurat, A., Theroude, F.: Final specification of business case 1, scenario and initial requirements. Deliverable D7.1b, ArchWare Consortium (2002)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Estublier, J., Verjus, H., Cunin, P.Y.: Designing and building software federations. In: CBSE - EUROMICRO 2001. 1st Conference on Component Based Software Engineering, Warsaw, Poland, pp. 121\u2013129 (2001)","DOI":"10.1109\/EURMIC.2001.952446"},{"key":"18_CR5","unstructured":"Cimpan, S., Verjus, H., Oquendo, F.: Cots-based system design using software architectural styles. In: Integrated Design & Process Technology (Special Topic Session Formal Reasoning on Software Components and Component-based Software Architectures), Austin, USA, pp. 127\u2013134 (2003)"},{"key":"18_CR6","first-page":"1","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"D. Garlan","year":"1993","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. In: Ambriola, V., Tortora, G. (eds.) Advances in Software Engineering and Knowledge Engineering, pp. 1\u201339. World Scientific Publishing Company, Singapore (1993)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Shaw, M., Garlan, D.: Characteristics of higher-level languages for software architecture. Technical Report CMU-CS-94-210, Carnegie Mellon University, School of Computer Science (1994)","DOI":"10.21236\/ADA292215"},{"key":"18_CR8","unstructured":"Allen, R.J.: A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh (1997)"},{"key":"18_CR9","unstructured":"Verjus, H., Cimpan, S., Alloui, I., Oquendo, F.: Gestion des architectures \u00e9volutives dans archware. In: CAL 2006. 1\u00e8re Conf\u00e9rence francophone sur les Architectures Logicielles, Nantes, pp. 41\u201357 (2006)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Morrison, R., Balasubramaniam, D., Kirby, N., Mickan, K., Oquendo, F., Cimpan, C., Warboys, B., Snowdon, R., Greenwood, M.: Support for evolving software architectures in the archware adl. In: 4th Working IEEE\/IFIP Int. Conf. on Software Architecture, Oslo, Norway, pp. 69\u201378 (2004)","DOI":"10.1109\/WICSA.2004.1310691"},{"issue":"1","key":"18_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"T. Medvidovic","year":"2000","unstructured":"Medvidovic, T.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR12","unstructured":"Consortium, A.: Archware - architecting evolvable software - ist european project 2001-32360"},{"key":"18_CR13","unstructured":"Cimpan, S., Verjus, H.: Challenges in architecture centred software evolution. In: CHASE: Challenges in Software Evolution, Bern, Switzerland, pp. 1\u20134 (2005)"},{"key":"18_CR14","unstructured":"Oquendo, F., Alloui, I., Cimpan, S., Verjus, H.: The archware adl: Definition of the abstract syntax and formal semantics. Deliverable D1.1b, ArchWare Consortium, ArchWare European RTD Project IST-2001-32360 (2002)"},{"key":"18_CR15","volume-title":"Communicating and Mobile Systems: The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"18_CR16","unstructured":"Verjus, H., Cimpan, S., Telisson, D.: Formalising cots-based federations using software architectural styles. In: ICSSEA 2002. 15th International Conference on Software & Systems Engineering and their Applications, Paris, France, vol.\u00a02, pp. 1\u20138 (2002)"},{"key":"18_CR17","first-page":"43","volume-title":"ICWS","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Bordeaux, L., Bordeaux, M.S.L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: ICWS, pp. 43\u201350. IEEE Computer Society, Los Alamitos (2004)"},{"key":"18_CR18","volume-title":"ICSEA 2007","author":"F. Pourraz","year":"2007","unstructured":"Pourraz, F., Verjus, H.: Diapason: an engineering environment for designing, enacting and evolving service-oriented architectures. In: ICSEA 2007. Proceedings of the International Conference on Software Engineering Advances, IEEE Computer Society, France (accepted for publication 2007)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77581-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T03:59:18Z","timestamp":1737950358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77581-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540775805","9783540775812"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77581-2_18","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}