{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:31Z","timestamp":1761596791849},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Standards & Interfaces"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s0920-5489(02)00121-6","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T13:19:33Z","timestamp":1049721573000},"page":"83-102","source":"Crossref","is-referenced-by-count":11,"title":["Formalizing ODP enterprise specifications in Maude"],"prefix":"10.1016","volume":"25","author":[{"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0920-5489(02)00121-6_BIB1","series-title":"Proceedings of the 3rd International Enterprise Distributed Object Computing Conference (EDOC'99), Germany","article-title":"ODP enterprise language: UML perspective","author":"Aagedal","year":"1999"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB2","series-title":"Proc. of FMOODS'97, Canterbury","article-title":"Transformations and consistent semantics for ODP viewpoints","author":"Bernardeschi","year":"1997"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB3","series-title":"Proceedings of the 3rd International Enterprise Distributed Object Computing Conference (EDOC'99), Germany","article-title":"Using the UML language to express the ODP enterprise concepts","author":"Blanc","year":"1999"},{"issue":"3","key":"10.1016\/S0920-5489(02)00121-6_BIB4","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/S1389-1286(00)00114-6","article-title":"Viewpoint consistency in ODP","volume":"34","author":"Boiten","year":"2000","journal-title":"Computer Networks"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB5","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1016\/0920-5489(95)00021-L","article-title":"FDTs for ODP","volume":"17","author":"Bowman","year":"1995","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","article-title":"Maude: specification and programming in rewriting logic","volume":"285","author":"Clavel","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB7","series-title":"CAFE: An Industrial-Strength Algebraic Formal Method","first-page":"1","article-title":"Building equational proving tools by reflection in rewriting logic","author":"Clavel","year":"2000"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB8","series-title":"Object-Oriented Development: The Fusion Method","author":"Coleman","year":"1994"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB9","series-title":"Proceedings of the Tenth OOPSLA Workshop on Behavioral Semantics, Florida","first-page":"44","article-title":"Specifying the ODP information viewpoint using Maude","author":"Dur\u00e1n","year":"2001"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB10","series-title":"Proc. of the 4th International Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa, Italy","first-page":"115","article-title":"The Maude LTL model checker","volume":"vol. 71","author":"Eker","year":"2002"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB11","series-title":"Proc. of Automated Software Engineering 2001 (ASE'01), California","article-title":"Monitoring programs using rewriting","author":"Havelund","year":"2001"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB12","unstructured":"ISO\/IEC, RM-ODP, Reference model for open distributed processing, Rec. ISO\/IEC 10746-1 to 10746-4, ITU-T X.901 to X.904, ISO, 1997."},{"key":"10.1016\/S0920-5489(02)00121-6_BIB13","unstructured":"ISO\/IEC, RM-ODP Enterprise Language, Draft International Standard ISO\/IEC 15414, ITU-T X.911, ISO, 2001."},{"key":"10.1016\/S0920-5489(02)00121-6_BIB14","series-title":"On the Characterization of Law and Computer Systems: the Normative Systems Perspective","author":"Jones","year":"1993"},{"issue":"2\u20133","key":"10.1016\/S0920-5489(02)00121-6_BIB15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0167-6423(96)00024-X","article-title":"Timed rewriting logic with an application to object-based specification","volume":"28","author":"Kosiuczenko","year":"1997","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB16","series-title":"Open Distributed Processing II","first-page":"15","article-title":"RM-ODP: the architecture","author":"Linington","year":"1995"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB17","series-title":"Proceedings of the 3rd International Enterprise Distributed Object Computing Conference (EDOC'99), Germany","first-page":"72","article-title":"Options for expressing ODP enterprise communities and their policies by using UML","author":"Linington","year":"1999"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB18","series-title":"Proceedings of 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), Japan","first-page":"66","article-title":"Ponder: realising enterprise viewpoint concepts","author":"Lupu","year":"2000"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB19","unstructured":"N. Mart\u0131\u0301-Oliet, J. Meseguer, Rewriting logic as a logical and semantic framework, Technical report SRI-CSL-93-05, Computer Science Laboratory, SRI International, August 1993, To appear in: D.M. Gabbay (Ed.), Handbook of Philosophical Logic, Kluwer Academic Publishers."},{"key":"10.1016\/S0920-5489(02)00121-6_BIB20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB21","series-title":"Recent Trends in Algebraic Development Techniques","first-page":"18","article-title":"Membership algebra as a logical framework for equational specification","volume":"vol. 1376","author":"Meseguer","year":"1998"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB22","series-title":"Proc. of FMOODS'2000, Stanford, CA","first-page":"89","article-title":"Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems","author":"Meseguer","year":"2000"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB23","series-title":"Deontic Logic in Computer Science: Normative System Specification","year":"1993"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB24","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","article-title":"A formal operational semantics for the ODP computational model","volume":"27","author":"Najm","year":"1995","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB25","series-title":"Proc. of FMOODS'97, Canterbury","article-title":"Computational models for open distributed systems","author":"Najm","year":"1997"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB26","series-title":"Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications (WRLA'00)","first-page":"361","article-title":"Real-Time Maude: a tool for simulating and analyzing real-time and hybrid systems","volume":"vol. 36","author":"\u00d6lveczky","year":"2000"},{"key":"10.1016\/S0920-5489(02)00121-6_BIB27","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0920-5489(00)00031-3","article-title":"ODP enterprise viewpoint specification","volume":"22","author":"Steen","year":"2000","journal-title":"Computer Standards and Interfaces"},{"issue":"11","key":"10.1016\/S0920-5489(02)00121-6_BIB28","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/32.730542","article-title":"Managing conflicts in goal-driven requirements engineering","volume":"24","author":"van Lamsweerde","year":"1998","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Computer Standards & Interfaces"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548902001216?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548902001216?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T03:58:17Z","timestamp":1553918297000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0920548902001216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S0920548902001216"],"URL":"https:\/\/doi.org\/10.1016\/s0920-5489(02)00121-6","relation":{},"ISSN":["0920-5489"],"issn-type":[{"value":"0920-5489","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}