ORM 2008

P12 A closer look at the join-equality constraint

admin — Tue, 02 Dec 2008 06:52:33 GMT

Abstract. Assume an ORM-diagram where there exist two (or more) paths from one entity type to another through a sequence of many-to-one binary facts. Here we may have a join-equality constraint saying that if we follow the different paths from an instance of the first entity type, we should find the same instance of the second entity type. This constraint is inherent in most ticketing/reservation systems, where it may give rise to overlapping foreign keys in the relational database. Another interesting observation is that if a relation is in 3NF, but not in BCNF, there must be a join-equality constraint in the underlying model.

Authors: Gerhard Skagestein and Ragnar Normann
University of Oslo, Department of Informatics,
PO Box 1080 Blindern, NO-0316 Oslo, Norway

P15 Evaluation and enhancements in NORMA

admin — Sat, 29 Nov 2008 21:09:26 GMT

Abstract: This presentation describes how students at The Carlson School of Management evaluated the NORMA tool.

Author:

Gordon Everest
Professor Emeritus
Carlson School of Management and CCE
University of Minnesota

P14A Model Ontological Commitments Using ORM+ in T-Lex

admin — Sat, 29 Nov 2008 21:01:51 GMT

Abstract. When designing and developing ontology based applications, we semantically ground them by ontologically committing the application rules to their respective domain. These rules can be, for instance decision rules for a decision support system. For the DOGMA framework we have introduced ORM⁺, a novel extension of ORM for modeling, visualizing and interchanging ontological commitments. In this paper, we illustrate our ongoing research on ORM⁺and T-Lex as its supporting tool. We demonstrate in the field of on-line customer management.

Authors: Yan Tang and Damien Trog
Semantic Technology and Application Research Laboratory (STARLab)
Department of Computer Science
Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium

P11 How to avoid redundant Object-References

admin — Sat, 29 Nov 2008 20:56:17 GMT

Abstract: This presentation covers the need to avoid redundant object references. It also shows how to avoid them.

Author: Andy Carver: Neumont University

P14B DOGMA-MESS:A Tool for Fact-Oriented Collaborative Ontology Evolution ?

admin — Mon, 24 Nov 2008 10:37:59 GMT

Abstract: Ontologies being shared formal specifications of a domain are an important lever for developing meaningful internet systems. However, the problem is not in what ontologies are, but how they become operationally relevant and sustainable over longer periods of time.

Fact-oriented and layered approaches such as DOGMA have been successful in facilitating domain experts in representing and understanding semantically stable ontologies, while emphasising reusability and scalability.

DOGMA-MESS, extending DOGMA, is a collaborative ontology evolution methodology that supports stakeholders in iteratively interpreting and modeling their common ontologies in their own terminology and context, and feeding back these results to the owning community.

In this paper, we extend DOGMA Studio with a set of collaborative ontology evolution support modules.

Pieter De Leenheer and Christophe Debruyne
Semantics Technology and Applications Research Laboratory (STARLab)
Vrije Universiteit Brussel, Pleinlaan 2, Brussels 5, Belgium

P07 An ORM Metamodel for tracing Requirements across the systems development life cycle

admin — Sun, 23 Nov 2008 15:22:29 GMT

Abstract. Enterprises launching IT development projects usually start off with establishing Use Cases or similar techniques to document functional requirements as a special directed effort.

More often than not, the resulting information system has buried these and other newly discovered undocumented requirements into program code---loosing the important link between business requirements, business rules and developed code. In reality, the business requirements are generally surfaced over several years in memos, e-mails, meeting minutes, consultant reports etc., and the requirements gathering effort starts all over again as a new project to capture these already stated requirements.

Using an ORM based development life cycle approach, the supporting adaptable traceability metamodel enables the collection and tagging of the business requirements across a multitude of documents and across development phases, to provide traceability and the facility to develop transforms across an organized information system development effort in meeting with any established System Development Life Cycles.

Baba Piprani: SICOM Canada
Marlena Borg: Josée Chabot: Éric Chartrand: Transport Canada

P06 SBVR : a fact-oriented OMG standard

admin — Sun, 23 Nov 2008 15:09:04 GMT

Abstract: This paper gives an introduction to the recently established OMG SBVR standard on business rules. This standard is a major step forward in improving the productivity of business rule- modelers and analysts. The paper shows how the mature fact-oriented approaches, e.g. ORM and CogNiam, are related to this new standard and how they can contribute to deliver high quality SBVR models.

Peter BollenDepartment of Organization and StrategyFaculty of Economics and Business AdministrationMaastricht UniversityP.O.Box 6166200 md Maastricht, The Netherlands

P04 Formal Semantics of Dynamic Rules in ORM

Ken Evans — Sat, 22 Nov 2008 01:22:41 GMT

Abstract: This paper provides formal semantics for an extension of the Object-Role Modeling approach that supports declaration of dynamic rules.

Dynamic rules differ from static rules by pertaining to properties of state transitions, rather than to the states themselves. In this paper we restrict application of dynamic rules to so-called single-step transactions, with an old state (the input of the transaction) and a new state (the direct result of that transaction). These dynamic rules further specify an elementary transaction type by indicating which kind of object or fact (being added, deleted or updated) is actually allowed.

Dynamic rules may declare pre-conditions relevant to the transaction, and a condition

stating the properties of the new state, including the relation between the new state and the old state. In this paper we provide such dynamic rules with a formal semantics based on sorted, first-order predicate logic.

The key idea to our solution is the formalization of dynamic constraints as static constraints on the database transaction history.

Herman Balsters, University of Groningen, The Netherlands
Terry Halpin, Neumont University, Utah, USA.

P20 Photo of ORM 2008 Panel

Ken Evans — Sat, 22 Nov 2008 01:14:27 GMT

This is a photo of the panel at the ORM 2008 workshop:

Left to Right:
Gordon Everest, Inge Lemmens, Terry Halpin, Jos Vos, Robert Meersman, Baba Piprani

P01 A Metamodel for Enabling a Service Oriented Architecture

admin — Wed, 19 Nov 2008 21:25:29 GMT

Abstract: Process modelling initiatives generally develop their process models without much emphasis on data, burying their sequence of operations as a thread within a non-elementary process. More often than not, these buried operations are elementary atomic reusable components. The resulting models are generally not flexible or sufficiently reusable, suffering from update anomalies and redundancies.

Addressing “service” as a major deliverable component, an ORM metamodel was developed in line with ISO 19763-5 Metamodel Framework for Interoperability: Metamodel for Process Model Registration, to harmonize atomic component processes using a control sequence and event models to enable the delivery of a totally flexible model set facilitating metamodel interoperability and cooperation between systems via their respective models.

The paper provides a limited ORM based review of ISO 19763-5, and uses underlying component processes to develop a metamodel for a deliverable Services Oriented Architecture containing control sequence models, event models, and bridges to associated data models or web services.

Baba Piprani - SICOM, Canada

Chong Wang - State Key Lab. of Software Engineering, China

Keqing He - Wuhan University, 430072, China

P00 ORM 2008 - Programme

admin — Wed, 19 Nov 2008 21:17:45 GMT

This document lists the presentations that were given at the ORM Workshop in Monterrey, Mexico November 12-14 2008

P00 ORM 2008-Opening

admin — Wed, 19 Nov 2008 21:09:47 GMT

Terry Halpin used these slides to open the ORM 2008 workshop in Monterrey, Mexico November 12-14.

ORM 2008 - Workshop Program

Ken Evans — Thu, 25 Sep 2008 18:39:50 GMT

This is the program for the ORM 2008 Workshop to be held in Monterry, Mexico November 12-14 2008.

ORM 2008 final call for papers - html format - July 7 Update

admin — Wed, 02 Jul 2008 16:38:45 GMT

Final Call for Papers International Workshop on Fact-Oriented Modeling (ORM 2008) - Updated 7 July

Monterrey, Mexico November 12-14, 2008

Held in conjunction with OTM’08 (Nov 9-14) http://www.cs.rmit.edu.au/fedconf

Proceedings will be published by Springer Verlag

Paper Submission Extended Deadline: 2008 July 10 (abstracts also due July 10)

Final call for papers ORM 2008 - word format - Updated 7 July

admin — Wed, 02 Jul 2008 16:37:08 GMT

Final Call for Papers International Workshop on Fact-Oriented Modeling (ORM 2008)

Monterrey, Mexico November 12-14, 2008

Held in conjunction with OTM’08 (Nov 9-14) http://www.cs.rmit.edu.au/fedconf

Proceedings will be published by Springer Verlag

Paper Submission Extended Deadline: 2008 July 10 (abstracts also due July 10)