{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:20:55Z","timestamp":1725600055126},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226021"},{"type":"electronic","value":"9783642226038"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22603-8_45","type":"book-chapter","created":{"date-parts":[[2011,8,9]],"date-time":"2011-08-09T12:35:07Z","timestamp":1312893307000},"page":"513-526","source":"Crossref","is-referenced-by-count":0,"title":["A Z Approach to Formalization and Validation of ORM Models"],"prefix":"10.1007","author":[{"given":"Amir","family":"Jahangard Rafsanjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seyed-Hassan","family":"Mirian-Hosseinabadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Halpin, T.: A Logical Analysis of Information Systems: Static Aspects of the Data-Oriented Perspective. PhD Thesis, University of Queensland, Brisbane, Australia (1989)"},{"key":"45_CR2","volume-title":"Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design","author":"T. Halpin","year":"2008","unstructured":"Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2nd edn. Morgan Kaufmann, San Francisco (2008)","edition":"2"},{"issue":"7","key":"45_CR3","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/0306-4379(93)90004-K","volume":"18","author":"A.H.M. Hofstede","year":"1993","unstructured":"Hofstede, A.H.M., Proper, H.A., Weide, T.P.: Formal Definition of a Conceptual Language for the Description and Manipulation of Information Models. Information Systems\u00a018(7), 489\u2013523 (1993)","journal-title":"Information Systems"},{"issue":"10","key":"45_CR4","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0950-5849(98)00078-0","volume":"40","author":"A.H.M. Hofstede","year":"1998","unstructured":"Hofstede, A.H.M., Proper, H.A.: How to Formalize It? Formalization Principles for Information System Development Methods. Information and Software Technology\u00a040(10), 519\u2013540 (1998)","journal-title":"Information and Software Technology"},{"issue":"1","key":"45_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0169-023X(96)00005-5","volume":"20","author":"L.J. Campbell","year":"1996","unstructured":"Campbell, L.J., Halpin, T.A., Proper, H.A.: Conceptual Schemas with Abstractions: Making flat conceptual schemas more comprehensible. Data & Knowledge Engineering\u00a020(1), 39\u201385 (1996)","journal-title":"Data & Knowledge Engineering"},{"key":"45_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-75563-0_14","volume-title":"Conceptual Modeling - ER 2007","author":"M. Jarrar","year":"2007","unstructured":"Jarrar, M.: Towards Automated Reasoning on ORM Schemes. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 181\u2013197. Springer, Heidelberg (2007)"},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1007\/978-3-540-76888-3_95","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"M. Jarrar","year":"2007","unstructured":"Jarrar, M.: Mapping ORM into the SHOIN\/OWL Description Logic: Towards a Methodological and Expressive Graphical Notation for Ontology Engineering. In: Chung, S., Herrero, P. (eds.) OTM-WS 2007, Part I. LNCS, vol.\u00a04805, pp. 729\u2013741. Springer, Heidelberg (2007)"},{"key":"45_CR8","unstructured":"Keet, C.: Prospects for and Issues with Mapping the Object-Role Modeling Language into DLRifd. In: Proc. 20th International Workshop on Description Logics, pp. 331\u2013338 (2007)"},{"key":"45_CR9","unstructured":"Keet, C.: Mapping the Object-Role Modelng language ORM2 into Description Logic Language DLRifd. Technical Report KRDB07-2, Free University of Bozen-Bolzano, Italy (2007)"},{"key":"45_CR10","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"J. Spivey","year":"1992","unstructured":"Spivey, J.: The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1992)"},{"key":"45_CR11","unstructured":"Josephs, M., Redmond-Pyle, D.: Entity-Relationship Models Expressed in Z: A Systhesis of Structured and Formal Methods. Technical Report PRG-TR-20-91, Oxford University Programming Research Group (1991)"},{"key":"45_CR12","unstructured":"Barros, R.: On the Formal Specification and Derivation of Relational Database Applications. PhD Thesis, University of Glasgow (1995)"},{"key":"45_CR13","unstructured":"Baluta, D.: A Formal Specification in Z of the Relational Data Model, Version 2, of E. F. Codd. M. Sc. thesis, Concordia University, Montreal, Canada (1995)"},{"key":"45_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.entcs.2006.01.025","volume":"157","author":"S. Lee","year":"2006","unstructured":"Lee, S., Sun, J., Dobbie, G., Li, Y.: A Z Approach in Validating ORA-SS Data Models. Electronoc Notes in Theoritical Computer Science\u00a0157, 95\u2013109 (2006)","journal-title":"Electronoc Notes in Theoritical Computer Science"},{"key":"45_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES System. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"key":"45_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-45393-8_23","volume-title":"Conceptual Modeling - ER 2000","author":"L. Bird","year":"2000","unstructured":"Bird, L., Goodchild, A., Halpin, T.: Object Role Modelling and XML-Schema. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol.\u00a01920, pp. 309\u2013322. Springer, Heidelberg (2000)"},{"key":"45_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1007\/11575863_87","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"T. Halpin","year":"2005","unstructured":"Halpin, T.: ORM2. In: Chung, S., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol.\u00a03762, pp. 676\u2013687. Springer, Heidelberg (2005)"},{"issue":"4","key":"45_CR18","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1142\/S0218213008004072","volume":"17","author":"M. Jarrar","year":"2008","unstructured":"Jarrar, M., Heymans, S.: Towards Pattern-based Reasoning for Friendly Ontology Debugging. International Journal on Artificial Intelligence Tools\u00a017(4), 607\u2013634 (2008)","journal-title":"International Journal on Artificial Intelligence Tools"}],"container-title":["Communications in Computer and Information Science","Digital Enterprise and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22603-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T07:10:05Z","timestamp":1554016205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22603-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226021","9783642226038"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22603-8_45","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}