Titlebook: Conceptual Modeling - ER 2009; 28th International C Alberto H. F. Laender,Silvana Castano,José Palazzo Conference proceedings 2009 Springer

有发明天才

男生戴手铐

能得到

An Empirical Study of Enterprise Conceptual Modelingcal classifications, and discuss their usage. Our survey shows that the “enterprise conceptual modeling” arena presents a variety of descriptive models, each used by a relatively small group of colleagues. Together they form a “long tail” that extends from “drawings” on one end to “standards” on the other.

senile-dementia

Ingratiate

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relationsm checking and theorem provers (e.g., Coq). It is based on constructive logic and allows reasoning in different abstraction levels within the logic. Furthermore, it maximizes the expressiveness while preserving decidability of type checking and results in a coherent theory with a powerful sub-typing mechanism.

被告

抛射物

好开玩笑

Conceptual Modeling in the Time of the Revolution: Part IIey ideas. We then note some open challenges and report on-going research, covering topics such as the representation of variability in conceptual models, capturing model intentions, and models of laws.. A keynote with a similar title was given 12 years ago at CAiSE’97, hence the ”part II”. The resea

Ischemia

低能儿

Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration making materialization and the tim- ing of transformations an optimization decision that is transparent to applications. In this paper, we define these two important goals, and propose leveraging . to create a framework that supports both data- and schema-level integration tasks.