{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T09:47:23Z","timestamp":1764841643006},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220008"},{"type":"electronic","value":"9783540247692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24769-2_23","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T00:24:20Z","timestamp":1280881460000},"page":"257-271","source":"Crossref","is-referenced-by-count":24,"title":["ArchWare: Architecting Evolvable Software"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Oquendo","sequence":"first","affiliation":[]},{"given":"Brian","family":"Warboys","sequence":"additional","affiliation":[]},{"given":"Ron","family":"Morrison","sequence":"additional","affiliation":[]},{"given":"R\u00e9gis","family":"Dindeleux","sequence":"additional","affiliation":[]},{"given":"Ferdinando","family":"Gallo","sequence":"additional","affiliation":[]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[]},{"given":"Carmen","family":"Occhipinti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"23_CR2","unstructured":"Allen, R.: A Formal Approach to Software Architectures. PhD Thesis, Carnegie Mellon University (1997)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, p. 21. Springer, Heidelberg (1998)"},{"key":"23_CR4","unstructured":"Alloui, I., Garavel, H., Mateescu, R., Oquendo, F.: The ArchWare Architecture Analysis Language: Syntax and Semantics. Deliverable D3.1b, ArchWare European RTD Project, IST- 2001-32360 (January 2003)"},{"key":"23_CR5","volume-title":"Enterprise Information Systems","author":"I. Alloui","year":"2002","unstructured":"Alloui, I., Oquendo, F.: Supporting Decentralised Software-intensive Processes using ZETA Component-based Architecture Description Language. In: Filipe, J. (ed.) Enterprise Information Systems, Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"23_CR6","unstructured":"Alloui, I., Oquendo, F.: The ArchWare Architecture Description Language: UML Profile for Architecting with ArchWare ADL. Deliverable D1.4b, ArchWare European RTD Project, IST-2001-32360 (June 2003)"},{"key":"23_CR7","unstructured":"Alloui, I., Oquendo, F.: Describing Software-intensive Process Architectures using a UML-based ADL. In: Proceedings of the 6th International Conference on Enterprise Information Systems (ICEIS 2004), Porto, Portugal (April 2004)"},{"key":"23_CR8","unstructured":"Balasubramaniam, D., Morrison, R., Kirby, G., Mickan, K.: Integration of Hyper-code and Structural Reflection into ArchWare ADL. Deliverable D1.5, ArchWare European RTD Project, IST-2001-32360 (February 2003)"},{"key":"23_CR9","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Systems with Process Algebras. Technical Report UBLCS-2001-7 (July 2001)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. In: Proceedings of the 2nd Working IEEE\/IFIP Conference on Software Architecture, Amsterdam, August 2001, IEEE-CS Press (2001)","DOI":"10.1109\/WICSA.2001.948411"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Binns, P., Engelhart, M., Jackson, M., Vestal, S.: Domain-Specific Software Architectures for Guidance, Navigation, and Control. International Journal of Software Engineering and Knowledge Engineering (1996)","DOI":"10.1142\/S0218194096000107"},{"key":"23_CR12","unstructured":"Bolusset, T., Oquendo, F.: Formal Refinement of Software Architectures Based on Rewriting Logic. In: ZB 2002 International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Grenoble (January 2002)"},{"key":"23_CR13","unstructured":"Brown, A.W.: An Introduction to Model Driven Architecture \u2013 Part I: MDA and Today\u2019s Systems. The Rational Edge (February 2004)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Chaudet, C., Greenwood, M., Oquendo, F., Warboys, B.: Architecture-Driven Software Engineering: Specifying, Generating, and Evolving Component-Based Software Systems. IEE Journal: Software Engineering, UK\u00a0147(6) (December 2000)","DOI":"10.1049\/ip-sen:20000916"},{"key":"23_CR15","volume-title":"Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000)","author":"C. Chaudet","year":"2000","unstructured":"Chaudet, C., Oquendo, F.: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), September 2000, IEEE Computer Society, Grenoble (2000)"},{"key":"23_CR16","unstructured":"Cimpan, S., Leymonerie, F., Oquendo, F.: The ArchWare Foundation Styles Library. Report R1.3-1, ArchWare European RTD Project, IST-2001-32360 (June 2003)"},{"key":"23_CR17","unstructured":"Cimpan, S., Oquendo, F., Balasubramaniam, D., Kirby, G., Morrison, R.: The ArchWare Architecture Description Language: Textual Concrete Syntax. Deliverable D1.2b, ArchWare European RTD Project, IST-2001-32360 (December 2002)"},{"key":"23_CR18","unstructured":"Davies, J., Woodcock, J.: Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science (1996)"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"DeLine, R.: Toward User-Defined Element Types and Architectural Styles. In: Proceedings of the 2nd International Software Architecture Workshop, San Francisco (1996)","DOI":"10.1145\/243327.243351"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireanu, M.: CADP (CAESAR\/ALDEBARAN Development Package) \u2013 A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, Springer, Heidelberg (1996)"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences\u00a018 (1979)","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"23_CR22","unstructured":"Gallo, F. (ed.): Annual Report: Project Achievements in 2002. Appendix B: Survey of State-of-the-Art and Typical Usage Scenario for ArchWare ADL and AAL. Deliverable D0.4.1, ArchWare European RTD Project, IST-2001-32360 (February 2003)"},{"key":"23_CR23","unstructured":"Garavel, H.: Compilation et V\u00e9rification de Programmes LOTOS. Th\u00e8se de Doctorat, Univ. Joseph Fourier (Grenoble), ch. 9: V\u00e9rification (In French) (November 1989)"},{"key":"23_CR24","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. In: European Association for Software Science and Technology (EASST) Newsletter, August 2002, vol.\u00a04 (2002)"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design Environments. In: Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans (1994)","DOI":"10.1145\/193173.195404"},{"key":"23_CR26","unstructured":"Garlan, D., Monroe, R., Wile, D.: ACME: An Architecture Description Interchange Language. In: Proceedings of CASCON 1997, Toronto (November 1997)"},{"key":"23_CR27","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R., Wile, D.: ACME: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, Cambridge University Press, Cambridge (2000)"},{"key":"23_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-540-45189-1_9","volume-title":"Software Process Technology","author":"M. Greenwood","year":"2003","unstructured":"Greenwood, M., Balasubramaniam, D., Cimpan, S., Kirby, N.C., Mickan, K., Morrison, R., Oquendo, F., Robertson, I., Seet, W., Snowdon, R., Warboys, B., Zirintsis, E.: Process Support for Evolving Active Architectures. In: Oquendo, F. (ed.) EWSPT 2003. LNCS, vol.\u00a02786, pp. 112\u2013127. Springer, Heidelberg (2003)"},{"key":"23_CR29","unstructured":"Greenwood, M., Robertson, I., Seet, W., Snowdon, R., Warboys, B.: Evolution Meta-Process Model. Deliverable D5.3, ArchWare European RTD Project, IST-2001-32360 (December 2003)"},{"key":"23_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49253-4_8","volume-title":"Algebraic Methodology and Software Technology","author":"J.F. Groote","year":"1998","unstructured":"Groote, J.F., Mateescu, R.: Verification of Temporal Properties of Processes in a Setting with Data. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, p. 74. Springer, Heidelberg (1998)"},{"key":"23_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030643","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"M. Heisel","year":"1997","unstructured":"Heisel, M., Levy, N.: Using LOTOS Patterns to Characterize Architectural Styles. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, Springer, Heidelberg (1997)"},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Wolf, A.: Formal Specification an Analysis of Software Architectures using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering\u00a021(4) (April 1995)","DOI":"10.1109\/32.385973"},{"key":"23_CR33","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Wolf, A., Yankelevich, D.: Static Checking of System Behaviors using Derived Component Assumptions. ACM Transactions on Software Engineering and Methodology\u00a09(3) (July 2000)","DOI":"10.1145\/352591.352593"},{"key":"23_CR34","unstructured":"Kerschbaumer, A.: Non-Refinement Transformation of Software Architectures. In: Proceedings of the ZB 2002 International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Grenoble (January 2002)"},{"key":"23_CR35","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the Propositional \u03bc-Calculus. Theoretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"23_CR36","unstructured":"Leymonerie, F., Cimpan, S., Oquendo, F.: Extension d\u2019un langage de description architecturale pour la prise en compte des styles architecturaux: application \u00e0 J2EE. In: Proceedings of the 14th International Conference on Software and Systems Engineering and their Applications, Paris (December 2001) (in French)"},{"key":"23_CR37","unstructured":"Leymonerie, F., Cimpan, S., Oquendo, F.: \u00c9tat de l\u2019art sur les styles architecturaux: classification et comparaison des langages de description d\u2019architectures logicielles, Revue G\u00e9nie Logiciel, No. 62 (September 2002) (in French)"},{"key":"23_CR38","doi-asserted-by":"crossref","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using RAPIDE. IEEE Transactions on Software Engineering\u00a021(4) (April 1995)","DOI":"10.1109\/32.385971"},{"key":"23_CR39","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Proceedings of the 5th European Software Engineering Conference, Sitges, Spain (September 1995)","DOI":"10.1007\/3-540-60406-5_12"},{"key":"23_CR40","doi-asserted-by":"crossref","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science (2001)","DOI":"10.1016\/S0304-3975(01)00357-7"},{"key":"23_CR41","unstructured":"Mateescu, R., Garavel, H.: XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. In: Proceedings of the 1st International Workshop on Software Tools for Technology Transfer, Aalborg, Denmark (July 1998)"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Architecture Description Languages. Technical Report UCI-ICS-97-02, Department of Information and Computer Science, University of California. Irvine (February 1997)","DOI":"10.1007\/3-540-63531-9_7"},{"key":"23_CR43","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"23_CR44","unstructured":"Monroe, R.: Capturing Software Architecture Design Expertise with ARMANI. Technical Report CMU-CS-98-163, Carnegie Mellon University (January 2001)"},{"key":"23_CR45","doi-asserted-by":"crossref","unstructured":"Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct Architecture Refinement. IEEE Transactions on Software Engineering\u00a021(4) (April 1995)","DOI":"10.1109\/32.385972"},{"key":"23_CR46","unstructured":"Moriconi, M., Riemenschneider, R.A.: Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies. Computer Science Laboratory, SRI International, Technical Report SRI-CSL-97-01 (March 1997)"},{"key":"23_CR47","unstructured":"Morrison, R.: On the Development of S-algol. PhD Thesis, University of St Andrews (1979)"},{"key":"23_CR48","unstructured":"Oquendo, F.: The ArchWare Architecture Description Language: Tutorial. Report R1.1-1, ArchWare European RTD Project, IST-2001-32360 (March 2003)"},{"key":"23_CR49","unstructured":"Oquendo, F.: The ArchWare Architecture Refinement Language. Deliverable D6.1b, ArchWare European RTD Project, IST-2001-32360 (December 2003)"},{"key":"23_CR50","unstructured":"Oquendo, F., Alloui, I., Cimpan, S., Verjus, H.: The ArchWare Architecture Description Language: Abstract Syntax and Formal Semantics. Deliverable D1.1b, ArchWare European RTD Project, IST-2001-32360 (December 2002)"},{"key":"23_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/3-540-48119-2_8","volume-title":"FM\u201999 - Formal Methods","author":"J. Philipps","year":"1999","unstructured":"Philipps, J., Rumpe, B.: Refinement of Pipe and Filter Architectures. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, p. 96. Springer, Heidelberg (1999)"},{"key":"23_CR52","unstructured":"RAPIDE Design Team: Guide to the RAPIDE 1.0. Language Reference Manuals, Stanford University (July 1997)"},{"key":"23_CR53","unstructured":"Rongviriyapanish, S., Levy, N.: Variations sur le Style Architectural Pipe and Filter. In: Actes du Colloque sur les Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL 2000), Grenoble, France (January 2000)"},{"key":"23_CR54","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD Thesis, University of Edinburgh (1992)"},{"key":"23_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)"},{"key":"23_CR56","volume-title":"Specification and Development of Interactive Systems","author":"K. Stolen","year":"2001","unstructured":"Stolen, K., Broy, M.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)"},{"key":"23_CR57","volume-title":"Fundamental Concepts in Programming Languages","author":"C. Strachey","year":"1967","unstructured":"Strachey, C.: Fundamental Concepts in Programming Languages. Oxford University Press, Oxford (1967)"},{"key":"23_CR58","doi-asserted-by":"crossref","unstructured":"Tennent, R.D.: Language Design Methods based on Semantic Principles. Acta Informatica\u00a08 (1977)","DOI":"10.1007\/BF00289243"},{"key":"23_CR59","unstructured":"Verjus, H., Oquendo, F.: The ArchWare Architecture Description Language: XML Concrete Syntax. Deliverable D1.3b, ArchWare European RTD Project, IST-2001-32360 (June 2003)"},{"key":"23_CR60","doi-asserted-by":"crossref","unstructured":"Wile, D.: AML: An Architecture Meta Language. In: Proceedings of the 14th International Conference on Automated Software Engineering, Cocoa Beach, October 1999, pp. 183\u2013190 (1999)","DOI":"10.1109\/ASE.1999.802241"},{"key":"23_CR61","unstructured":"Zirintsis, E.: Towards Simplification of the Software Development Process: The Hypercode Abstraction. PhD Thesis, University of St Andrews (2000)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24769-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:06Z","timestamp":1605743766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24769-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220008","9783540247692"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24769-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}