{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:32:46Z","timestamp":1761611566749,"version":"build-2065373602"},"reference-count":24,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80453-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"114-133","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Foundations for a Combination of Heterogeneous Specification Components"],"prefix":"10.1016","volume":"66","author":[{"given":"Gwen","family":"Sala\u00fcn","sequence":"first","affiliation":[]},{"given":"Michel","family":"Allemand","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Attiogb\u00e9","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1996","series-title":"The B-Book","author":"Abrial","key":"10.1016\/S1571-0661(04)80453-5_NEWBIB1"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB2","unstructured":"M. Allemand and C. Attiogb\u00e9. Practical Combination of Specification Formalisms. Presented at WADT'99, France, 1999."},{"year":"1992","series-title":"Syst\u00e8mes de transitions finis et s\u00e9mantiques des syst\u00e9mes communicants","author":"Arnold","key":"10.1016\/S1571-0661(04)80453-5_NEWBIB3"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB4","doi-asserted-by":"crossref","DOI":"10.3233\/FI-1999-402302","article-title":"The AltaRica Formalism for Describing Concurrent Systems","volume":"40","author":"Arnold","year":"1999","journal-title":"Fundamenta Informatica"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB5","unstructured":"C. Attiogb\u00e9. Formal Methods Integration for Software Developpement: Some Locks and Outlines. Technical Report 00.8, IRIN, University of Nantes, 2000."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB6","unstructured":"M. Bidoit. Pluss, un langage pour le d\u00e9veloppement de sp\u00e9cifications alg\u00e9briques modulaires. PhD Thesis, Universit\u00e9 de Paris-Sud \u2013 Centre d'Orsay, 1989."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB7","series-title":"The Formal Description Technique LOTOS","first-page":"23","article-title":"Introduction to the ISO Specification Language LOTOS","author":"Bolognesi","year":"1989"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB8","unstructured":"CoFI. The Common Framework Initiative for Algebraic Specification and Development, electronic archives. Notes and Documents accessible by WWWhttp:\/\/www.brics.dk\/Projects\/CoFI and FTPftp:\/\/ftp.brics.dk\/Projects\/CoFI."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB9","unstructured":"CoFI Language Design Task Group. CASL \u2013 The CoFI Algebraic Specification Language \u2013 Summary (version 1.0.1). Documents\/CASL\/Summary in [8], 2001."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB10","first-page":"1","article-title":"An Introduction to Software Architecture","volume":"volume 1","author":"Garlan","year":"1993"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB11","doi-asserted-by":"crossref","unstructured":"M. Gro\u00dfe-Rhode. Algebra transformation systems and their composition. In E. Astesiano, editor, Proceedings of FASE'98, volume 1382 of LNCS, pages 107\u2013122, Portugal, 1998. Springer Verlag.","DOI":"10.1007\/BFb0053586"},{"issue":"3","key":"10.1016\/S1571-0661(04)80453-5_NEWBIB12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A Visual Formalism for Complex System","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB13","unstructured":"J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A Tutorial Introduction to PVS. In Proceedings of WIFT'95, USA, 1995. Computer Science Laboratory, SRI International."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB14","unstructured":"H. Kirchner and C. Ringeissen. Executing CASL Equational Specifications with the ELAN Rewrite Engine. Note T-9 in [8], 2000."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB15","first-page":"1","article-title":"Term Rewriting Systems.","volume":"volume 2","author":"Klop","year":"1992"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB16","series-title":"The Engineering of Large Systems, volume 46 of Advances in Computers","article-title":"Coordination Models and Languages","author":"Papadopoulos","year":"1998"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB17","unstructured":"P. Poizat. Korrigan: un formalisme et une m\u00e9thode pour la sp\u00e9cification formelle et structu\u00e9mee de syst\u00e8mes mixtes. PhD Thesis, Universit\u00e9 de Nantes \u2013 Facult\u00e9 des Sciences et des Techniques, 2000."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"J. N. Reed and J. E. Sinclair. Combining Independent Specifications. In H. Hussmann, editor, Proceedings of FASE'01, volume 2029 of LNCS, pages 45\u201359, Italy, 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45314-8_5"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB19","unstructured":"G. Sala\u00fcn, M. Allemand, and C. Attiogb\u00e9. A Practical Combination of a Process Algebra with an Algebraic Specification Language. In H. R. Arabnia, editor, Proceedings of PDPTA'01, CSREA Press, pages 73\u201379, USA, 2001."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB20","doi-asserted-by":"crossref","unstructured":"G. Sala\u00fcn, M. Allemand, and C. Attiogb\u00e9. Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview. In Proceedings of APSEC'01, IEEE Computer Society Press, pages 299\u2013302, China, 2001.","DOI":"10.1109\/APSEC.2001.991491"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB21","doi-asserted-by":"crossref","unstructured":"G. Sala\u00fcn, M. Allemand, and C. Attiogb\u00e9. Specification of an Access Control System with a Formalism Combining CCS and CASL. In Proceedings of FMPPTA'02, IEEE Computer Society Press, USA, 2002.","DOI":"10.1109\/IPDPS.2002.1016624"},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB22","unstructured":"G. Sala\u00fcn, M. Allemand, and C. Attiogb\u00e9. An Approach to Combine Heterogeneous Specification Components. Technical Report 01.7, University of Nantes, November 2001, revised in March 2002. Available at http:\/\/www.sciences.univ-nantes.fr\/info\/perso\/permanents\/salaun\/papers\/rrOl7.ps."},{"key":"10.1016\/S1571-0661(04)80453-5_NEWBIB23","series-title":"Prentice Hall International Series in Computer Science","article-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1992"},{"year":"1998","series-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski","key":"10.1016\/S1571-0661(04)80453-5_NEWBIB24"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804535?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804535?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:01Z","timestamp":1761609901000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S1571066104804535"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80453-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Foundations for a Combination of Heterogeneous Specification Components","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80453-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}