{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:12Z","timestamp":1775054352795,"version":"3.50.1"},"reference-count":42,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"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":["Information Systems"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s0306-4379(01)00035-7","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T17:55:05Z","timestamp":1034618105000},"page":"507-534","source":"Crossref","is-referenced-by-count":129,"title":["The OO-method approach for information systems modeling: from object-oriented conceptual modeling to automated programming"],"prefix":"10.1016","volume":"26","author":[{"given":"Oscar","family":"Pastor","sequence":"first","affiliation":[]},{"given":"Jaime","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Emilio","family":"Insfr\u00e1n","sequence":"additional","affiliation":[]},{"given":"Vicente","family":"Pelechano","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0306-4379(01)00035-7_BIB1","series-title":"Proceedings of CAiSE\u201998 International Conference, Vol. 1413 of LNCS","first-page":"1","article-title":"A comprehensive view of process engineering","author":"Rolland","year":"1998"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB2","series-title":"Designing Object Oriented Software","author":"Wirfs-Brock","year":"1990"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB3","series-title":"Object Oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB4","series-title":"OO Software Engineering, a Use Case Driven Approach","author":"Jacobson","year":"1992"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB5","series-title":"Object Oriented Analysis and Design with Applications","author":"Booch","year":"1994"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB6","series-title":"Object-Oriented Development: The Fusion Method","author":"Coleman","year":"1994"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB7","unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, UML v1, Technical report, Rational Software Corporation, 1997."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB8","unstructured":"J. Kush, P. Hartel, T. Hartmann, G. Saake, Gaining a uniform view of different integration aspects in a prototyping environment, in: Proceedings of DEXA\u201995 International Conference, Vol. 978 of LNCS, Springer, Berlin, 1992, pp. 35\u201342."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB9","doi-asserted-by":"crossref","unstructured":"S.W. Clyde, D.W. Embley, S.N. Woodfield, Tunable formalism in object-oriented systems analysis: meeting the needs of both theoreticians and practitioners, in: Proceedings of the OOPSLA\u201992 Conference on Object-Oriented Programming Systems, Languages and Applications, 1992, pp. 452\u2013465.","DOI":"10.1145\/141936.141972"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB10","series-title":"Proceedings of CAiSE\u201994 International Conference, Vol. 811 of LNCS","first-page":"135","article-title":"Automated support for the development of formal object-oriented requirements specification","author":"Jackson","year":"1994"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB11","series-title":"Proceedings of OOER\u201995 International Conference, Vol. 1021 of LNCS","first-page":"55","article-title":"Unifying modeling and programming through an active, object-oriented, model-equivalent programming language","author":"Liddle","year":"1995"},{"issue":"1","key":"10.1016\/S0306-4379(01)00035-7_BIB12","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/32.663996","article-title":"SOFL: A formal engineering methodology for industrial applications","volume":"24","author":"Liu","year":"1998","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB13","series-title":"Proceedings of CAiSE\u201997 International Conference, Vol. 1250 of LNCS","first-page":"145","article-title":"OO-method: an OO software production environment combining conventional and formal methods","author":"Pastor","year":"1997"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB14","series-title":"Proceedings of 17th International Conference on Conceptual Modeling (ER\u201998), Vol. 1507 of LNCS","first-page":"183","article-title":"From object oriented conceptual modeling to automated programming in Java","author":"Pastor","year":"1998"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB15","series-title":"Proceedings of CAiSE\u201992 International Conference, Vol. 593 of LNCS","first-page":"348","article-title":"OASIS: an object-oriented specification language","author":"Pastor","year":"1992"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB16","unstructured":"S. Kripke, Naming and Necessity, Basil Blackwell, 2nd Edition, 1980."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB17","unstructured":"I. Ramos, O. Pastor, J. Cuevas, J. Devesa, Objects as observable processes, in: Proceedings of 3rd Workshop on the Deductive Approach to Information System Design, 1992."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB18","series-title":"Algebraic foundations for dynamic conceptual models, Ph.D. Thesis","author":"Wieringa","year":"1990"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB19","unstructured":"O. Pastor, I. Ramos, OASIS 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, 3rd Edition, Servicio de Publicaciones, Universidad Polit\u00e9cnica de Valencia, 1995."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB20","unstructured":"R. Schulte, Three-tier computing architectures and beyond, Technical report, Gartner Group, 1995."},{"issue":"3","key":"10.1016\/S0306-4379(01)00035-7_BIB21","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","article-title":"Mediators in the architecture of future information systems","volume":"25","author":"Wiederhold","year":"1992","journal-title":"IEEE Comput."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB22","series-title":"Crossing Chasms, Pattern Languages of Program Design, Vol. 2","author":"Brown","year":"1996"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB23","series-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma","year":"1994"},{"issue":"3","key":"10.1016\/S0306-4379(01)00035-7_BIB24","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","article-title":"Monitoring dynamic integrity constraints based on temporal logic","volume":"12","author":"Lipeck","year":"1987","journal-title":"Inform. Systems"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB25","unstructured":"V. Pelechano, O. Pastor, N. Garcia, S. Ramirez, Implementing dynamic integrity constraint checking in object oriented programming environments, in: O. Diaz, J. Iturrioz (Eds.), Proceedings of the Second Software Engineering Symposium (JIS-97), Basque Country University, 1997, pp. 101\u2013116."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB26","unstructured":"O. Pastor, E. Insfr\u00e1n, G. Quiles, J. Barber\u00e1, Object-oriented conceptual modeling techniques to design and implement a sound and robust ORACLE environment, in: ORACLE (Ed.), Proceedings of European Oracle Users Group Conference, 1997."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB27","unstructured":"R. L\u00f3pez, Automated prototyping in a Oracle 8i\/developper software environment using OO-method, Master Thesis, Technical report, DSIC, Valencia University of Technology, 2000 (in spanish; extended abstract available in English)."},{"issue":"4","key":"10.1016\/S0306-4379(01)00035-7_BIB28","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1145\/299917.299919","article-title":"A survey of structured and object-oriented software specification methods and techniques","volume":"30","author":"Wieringa","year":"1998","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB29","unstructured":"I-Logics Inc., The languages of statement, Technical report, I-Logics Inc., 22 Third Avenue, Burlington, MA 01803 USA, 1991."},{"issue":"4","key":"10.1016\/S0306-4379(01)00035-7_BIB30","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","article-title":"The STATEMATE semantics of statecharts","volume":"5","author":"Harel","year":"1996","journal-title":"ACM Trans. Software Eng. Meth."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB31","unstructured":"R.J. Wieringa, R. Jungclaus, P. Hartel, G. Saake, T. Hartmann, OMTROLL: object modeling in troll, in: U.W. Lipeck, G. Koschorreck (Eds.), Proceedings of IS-CORE 93 Workshop, 1993, pp. 267\u2013283."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB32","series-title":"Proceedings of 17th International Conference on Conceptual Modeling (ER\u201998), Vol. 1507 of LNCS","first-page":"277","article-title":"The TROLL approach to conceptual modelling: syntax, semantics and tools","author":"Grau","year":"1998"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB33","series-title":"Logics for Database and Information Systems","first-page":"167","article-title":"Logics for specifying concurrent information systems","author":"Ehrich","year":"1998"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB34","doi-asserted-by":"crossref","unstructured":"A. Grau, M. Kowsari, A validation system for object oriented specifications of information systems, in: R. Manthey, V. Wolfengagen (Eds.), Proceedings of ADBIS\u201997 Symposium, 1997, pp. 277\u2013290.","DOI":"10.14236\/ewic\/ADBIS1997.21"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB35","unstructured":"A. Sernadas, C. Sernadas, H.D. Ehrich, OO Specification of databases: an algebraic approach, in: P.M. Stocker, W. Kent (Eds.), Proceedings of VLDB\u201987 International Conference, 1987, pp. 107\u2013116."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB36","unstructured":"Oblog, The OBLOG software development approach, Technical report, OBLOG Software, 1999."},{"key":"10.1016\/S0306-4379(01)00035-7_BIB37","doi-asserted-by":"crossref","unstructured":"L.F. Andrade, J.C. Gouveia, P.J. Xardonne, Architectural concerns in automating code generation, in: OOPSLA Midyear Conference, 1998.","DOI":"10.1007\/978-0-387-35563-4_29"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB38","doi-asserted-by":"crossref","unstructured":"R.J. Wieringa, Postmodern software design with NYAM: not yet another method, Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1998.","DOI":"10.1007\/10692867_3"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB39","series-title":"System Development","author":"Jackson","year":"1983"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB40","series-title":"Designing Object Systems: Object-Oriented Modelling with Syntropy","author":"Cook","year":"1994"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB41","series-title":"The Unified Modeling Language Reference Guide","author":"Rumbaugh","year":"1998"},{"key":"10.1016\/S0306-4379(01)00035-7_BIB42","series-title":"Objects, Components and Frameworks With UML: The Catalysis Approach","author":"D'Souza","year":"1998"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437901000357?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437901000357?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:28:47Z","timestamp":1620775727000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437901000357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":42,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S0306437901000357"],"URL":"https:\/\/doi.org\/10.1016\/s0306-4379(01)00035-7","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[2001,11]]}}}