乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T18:42:07Z","timestamp":1649011327616},"reference-count":37,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"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":[[2005,6]]},"DOI":"10.1016\/j.csi.2004.10.008","type":"journal-article","created":{"date-parts":[[2004,12,16]],"date-time":"2004-12-16T01:52:33Z","timestamp":1103161953000},"page":"597-620","source":"Crossref","is-referenced-by-count":8,"title":["Using Maude to write and execute ODP information viewpoint specifications"],"prefix":"10.1016","volume":"27","author":[{"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Rold\u00e1n","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.csi.2004.10.008_bib1","series-title":"Procs. of FMOODS'97","first-page":"371","article-title":"Transformations and consistent semantics for ODP viewpoints","author":"Bernardeschi","year":"1997"},{"issue":"3","key":"10.1016\/j.csi.2004.10.008_bib2","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\/j.csi.2004.10.008_bib3","series-title":"Formal Methods for Distributed Processing. A Survey of Object-Oriented Approaches","first-page":"451","article-title":"Viewpoint modelling","author":"Bowman","year":"2001"},{"key":"10.1016\/j.csi.2004.10.008_bib4","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 & Interfaces"},{"key":"10.1016\/j.csi.2004.10.008_bib5","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\/j.csi.2004.10.008_bib6","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, C. Talcott, Maude manual (Version 2.1), March 2004. Available at http:\/\/www.maude.cs.uiuc.edu."},{"key":"10.1016\/j.csi.2004.10.008_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\/j.csi.2004.10.008_bib8","series-title":"Object Oriented Development: The Fusion Method","author":"Coleman","year":"1994"},{"key":"10.1016\/j.csi.2004.10.008_bib9","series-title":"Objects, Components, and Frameworks with UML. The Catalysis Approach","author":"D'Souza","year":"1999"},{"key":"10.1016\/j.csi.2004.10.008_bib10","series-title":"Procs. of Policy 2003","first-page":"15","article-title":"Using UML and Maude for writing and reasoning about ODP policies","author":"Dur\u00e1n","year":"2003"},{"key":"10.1016\/j.csi.2004.10.008_bib11","article-title":"Invariant-driven strategies for Maude","author":"Dur\u00e1n","year":"2004"},{"key":"10.1016\/j.csi.2004.10.008_bib12","article-title":"Invariant-based control of the execution of Maude specifications: the LTL case","author":"Dur\u00e1n","year":"2004"},{"issue":"2","key":"10.1016\/j.csi.2004.10.008_bib13","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0920-5489(02)00121-6","article-title":"Formalizing ODP enterprise specifications in Maude","volume":"25","author":"Dur\u00e1n","year":"2003","journal-title":"Computer Standards & Interfaces"},{"key":"10.1016\/j.csi.2004.10.008_bib14","series-title":"Procs. of Tenth OOPSLA Workshop on Behavioral Semantics","first-page":"44","article-title":"Specifying the ODP information viewpoint using Maude","author":"Dur\u00e1n","year":"2001"},{"key":"10.1016\/j.csi.2004.10.008_bib15","series-title":"Procs. of FORTE\/PSTV'97","article-title":"Consistent semantics for ODP information and computational models","author":"Dustzadeh","year":"1997"},{"key":"10.1016\/j.csi.2004.10.008_bib16","series-title":"Procs. of 4th International Workshop on Rewriting Logic and its Applications","article-title":"The Maude LTL model checker","volume":"vol. 71","author":"Eker","year":"2002"},{"key":"10.1016\/j.csi.2004.10.008_bib17","series-title":"Software Engineering with OBJ: Algebraic Specification in Action","article-title":"Introducing OBJ","author":"Goguen","year":"2000"},{"key":"10.1016\/j.csi.2004.10.008_bib18","unstructured":"K. Havelund, G. Ro\u00a2su, Rewriting-based techniques for runtime verification. To appear in Journal of Automated Software Engineering."},{"key":"10.1016\/j.csi.2004.10.008_bib19","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","article-title":"Refutational theorem proving using term rewriting systems","volume":"25","author":"Hsiang","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.csi.2004.10.008_bib20","unstructured":"IEEE, Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE Standard 1471, 2000."},{"key":"10.1016\/j.csi.2004.10.008_bib21","unstructured":"ISO\/IEC, General Relationship Model. International Standard ISO\/IEC 10165-7, ITU-T Recommendation X.725. 1997."},{"key":"10.1016\/j.csi.2004.10.008_bib22","unstructured":"ISO\/IEC, RM-ODP, Reference Model for Open Distributed Processing. International Standard ISO\/IEC 10746-1 to 10746-4, ITU-T Recommendations X.901 to X.904. 1997."},{"key":"10.1016\/j.csi.2004.10.008_bib23","series-title":"The Unified Development Process","author":"Jacobson","year":"1999"},{"key":"10.1016\/j.csi.2004.10.008_bib24","series-title":"Procs. of FMOODS'96","first-page":"407","article-title":"Can a notation be used to specify an OO system: using Z to describe RM-ODP constructs","author":"Johnson","year":"1996"},{"issue":"5","key":"10.1016\/j.csi.2004.10.008_bib25","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S0920-5489(99)00012-4","article-title":"An approach to a Z toolkit for the Reference Model of Open Distributed Processing","volume":"21","author":"Johnson","year":"1999","journal-title":"Computer Standards & Interfaces"},{"issue":"6","key":"10.1016\/j.csi.2004.10.008_bib26","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.469759","article-title":"Architectural blueprints\u2014the \u201c4+1\u201d view model of software architecture","volume":"12","author":"Kruchten","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/j.csi.2004.10.008_bib27","series-title":"Open Distributed Processing II","first-page":"15","article-title":"RM-ODP: the architecture","author":"Linington","year":"1995"},{"key":"10.1016\/j.csi.2004.10.008_bib28","first-page":"1","article-title":"Rewriting logic as a logical and semantic framework","volume":"vol. 9","author":"Mart\u00ed-Oliet","year":"2002"},{"key":"10.1016\/j.csi.2004.10.008_bib29","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\/j.csi.2004.10.008_bib30","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\/j.csi.2004.10.008_bib31","series-title":"Procs. of FMOODS 2000","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\/j.csi.2004.10.008_bib32","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\/j.csi.2004.10.008_bib33","series-title":"Procs. of FMOODS'97","first-page":"157","article-title":"Computational models for open distributed systems","author":"Najm","year":"1997"},{"key":"10.1016\/j.csi.2004.10.008_bib34","first-page":"147","article-title":"Formalizing ODP computational viewpoint specifications in Maude","author":"Romero","year":"2004"},{"key":"10.1016\/j.csi.2004.10.008_bib35","series-title":"Principles of the Business Rules Approach","author":"Ross","year":"2003"},{"issue":"2","key":"10.1016\/j.csi.2004.10.008_bib36","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 & Interfaces"},{"key":"10.1016\/j.csi.2004.10.008_bib37","unstructured":"J. Zachman, The Zachman Framework: a primer for enterprise engineering and manufacturing. Zachman International, 1997. http:\/\/www.zifa.com."}],"container-title":["Computer Standards & Interfaces"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548904001308?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548904001308?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T07:57:07Z","timestamp":1548921427000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0920548904001308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":37,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["S0920548904001308"],"URL":"https:\/\/doi.org\/10.1016\/j.csi.2004.10.008","relation":{},"ISSN":["0920-5489"],"issn-type":[{"value":"0920-5489","type":"print"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}