OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling-Reference-Cited by-同舟云学术

OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling

Published:2012 Issue: Volume: Page:151-172
ISSN:0302-9743
Container-title:Conceptual Modelling and Its Theoretical Foundations
language:
Short-container-title:

Author:

Clyde Stephen W.,Embley David W.,Liddle Stephen W.,Woodfield Scott N.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-28279-9_12

Reference19 articles.

1. ACM-L-2010 workshop (2010), http://www.cs.uta.fi/conferences/acm-l-2010/

2. Lecture Notes in Computer Science;A. Artale,2009

3. Clyde, S.W., Embley, D.W., Woodfield, S.N.: The complete formal definition for the syntax and semantics of OSA. Technical Report BYU-CS-92-2, Department of Computer Science, Brigham Young University (February 1992)

4. Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 229–263. Kluwer (1998)

5. Clyde, S.W.: An Initial Theoretical Foundation for Object-Oriented Systems Analysis and Design. PhD thesis, Brigham Young University (1993)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MetaMorph: formalization of domain-specific conceptual modeling methods—an evaluative case study, juxtaposition and empirical assessment;Software and Systems Modeling;2022-10-06

2. Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits;Software and Systems Modeling;2022-03-25

3. M2FOL: A Formal Modeling Language for Metamodels;Lecture Notes in Business Information Processing;2020

4. Principled Pragmatism: A Guide to the Adaptation of Ideas from Philosophical Disciplines to Conceptual Modeling;Advances in Conceptual Modeling. Recent Developments and New Directions;2011