1 Modeling Reactive Behavior in ORM © 2003, T. A. Halpin & Gerd Wagner Terry Halpin Northface University Salt Lake City, USA.

Slides:



Advertisements
Similar presentations
1 Aspects of IEEE P1471 Viewpoints in Unified Modeling Language (UML) Manzur Ashraf, BRAC University Humayra Binte Ali, Dhaka University Md.Mahfuz Ashraf,
Advertisements

1 Intention of slide set Inform WSMOLX of what is planned for Choreography & Orhestration in DIP CONTENTS Terminology Clarification / what will be described.
ZEIT2301 Design of Information Systems Behavioural Design: State Machines School of Engineering and Information Technology Dr Kathryn Merrick.
Goal and Scenario Validation: a Fluent Combination Chin-Yi Tsai.
Overview UML Extensions for Agents UML UML Agent UML (AUML) Agent UML (AUML) Agent Interaction Protocols Agent Interaction Protocols Richer Role Specification.
CS 340 UML Class Diagrams. A model is an abstraction of a system, specifying the modeled system from a certain viewpoint and at a certain level of abstraction.
OASIS Reference Model for Service Oriented Architecture 1.0
Object-Oriented Analysis and Design
Specifying Agent Interaction Protocols with AUML and OCL COSC 6341 Project Presentation Alexei Lapouchnian November 29, 2000.
Developing MAS The GAIA Methodology A Brief Summary by António Castro and Prof. Eugénio Oliveira.
Chapter 6 Methodology Logical Database Design for the Relational Model Transparencies © Pearson Education Limited 1995, 2005.
Computer Science CS425/CS6258/23/20011 The Architecting Phase Class diagrams are further refined in this phase of development Object diagrams are created.
Architectural Design Principles. Outline  Architectural level of design The design of the system in terms of components and connectors and their arrangements.
/faculteit technologie management Steps Towards Formal Verification of Agent-based E-Business Applications Nick Szirbik & Gerd Wagner Eindhoven University.
Slides adapted from A. Silberschatz et al. Database System Concepts, 5th Ed. Entity-Relationship Model Database Management Systems I Alex Coman, Winter.
7. 2Object-Oriented Analysis and Design with the Unified Process Objectives  Detailed Object-Oriented Requirements Definitions  System Processes—A Use.
CMPT 275 Software Engineering
1 Introduction to UML DIAGRAMS & CLASS DIAGRAM Chapter 7,8 主講人 : 許勝杰
OBJECT-ROLE MODELING (ORM/NIAM)
Ontologies Reasoning Components Agents Simulations Agent Modeling Language: Behavioral Models Rafael Oliveira Ricson Santana Vinícius Remigo Jacques Robin.
Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
1 Objectification Terry Halpin Northface University, USA © 2005, T. A. Halpin & Northface University.
LDK R Logics for Data and Knowledge Representation Context Logic Originally by Alessandro Agostini and Fausto Giunchiglia Modified by Fausto Giunchiglia,
System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.
1. 2 Purpose of This Presentation ◆ To explain how spacecraft can be virtualized by using a standard modeling method; ◆ To introduce the basic concept.
Integrating Business Process Models with Ontologies Peter De Baer, Pieter De Leenheer, Gang Zhao, Robert Meersman {Peter.De.Baer, Pieter.De.Leenheer,
Semantics CSE 340 – Principles of Programming Languages Fall 2015 Adam Doupé Arizona State University
Agent-oriented Knowledge Management in Learning Environments: A Peer-to-Peer Helpdesk Case Study Renata S. S. Guizzardi 1 Lora Aroyo 1 Gerd Wagner 2 1.
Lecture 3 Uses Cases Topics UML Use Cases pop quiz Readings: Chapter 3 January 24, 2008 CSCE 492 Software Engineering.
Conceptual Modelling – Behaviour
Ch. 2. Specification and Modeling 2.1 Requirements Describe requirements and approaches for specifying and modeling embedded systems. Specification for.
System models l Abstract descriptions of systems whose requirements are being analysed.
Modified by Juan M. Gomez Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
® IBM Software Group © 2006 IBM Corporation Rational Software France Object-Oriented Analysis and Design with UML2 and Rational Software Modeler 02. Objects,
Today in OOAD  The Domain Model Artifact UML Classes  EU-Bid Domain Model Exercise  EU-Lease Domain Model Assignment Guest Speaker  Kate Cunningham,
Metamodels for Object Role Modeling Hongyan Song March 2005.
♦ Use Case Model  Detailled use case - Important  Use case diagram- Refactoring Use case diagram  > 1 Last Lectures.
1 A Demo of Logical Database Design. 2 Aim of the demo To develop an understanding of the logical view of data and the importance of the relational model.
1 Introduction to modeling ER modelling Slides for this part are based on Chapters 8 from Halpin, T. & Morgan, T. 2008, Information Modeling and Relational.
Week III  Recap from Last Week Review Classes Review Domain Model for EU-Bid & EU-Lease Aggregation Example (Reservation) Attribute Properties.
Design Model Lecture p6 T120B pavasario sem.
1 Introduction to modeling Object-role modelling (ORM) Slides for this part are based on Chapters 3-7 from Halpin, T. & Morgan, T. 2008, Information Modeling.
Chapter 9 Logical Database Design : Mapping ER Model To Tables.
MDA & RM-ODP. Why? Warehouses, factories, and supply chains are examples of distributed systems that can be thought of in terms of objects They are all.
XASTRO-2 Presentation CCSDS SAWG th November 2004.
1. 2 Purpose of This Presentation ◆ To explain how spacecraft can be virtualized by using a standard modeling method; ◆ To introduce the basic concept.
CSCI 3428: Software Engineering Tami Meredith UML Unified Modeling Language.
Requirement Analysis SOFTWARE ENGINEERING. What are Requirements? Expression of desired behavior Deals with objects or entities, the states they can be.
Communication Diagrams Lecture 8. Introduction  Interaction Diagrams are used to model system dynamics  How do objects change state?  How do objects.
1 5/18/2007ã 2007, Spencer Rugaber Architectural Documentation Graphical (views) and textual Kruchten's 4+1 Views –Philippe B. Kruchten. "The 4+1 View.
Introduction to modeling
A UML-Based Pattern Specification Technique Presented by Chin-Yi Tsai IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 30, NO. 3, MARCH 2004 Robert B. France,
Methodology - Logical Database Design. 2 Step 2 Build and Validate Local Logical Data Model To build a local logical data model from a local conceptual.
1 Reference Scheme Reduction on Subtypes in ORM Andy Carver and Terry Halpin INTI International University, Malaysia
ORM Verbalization in Malay & Mandarin Lim Shin Huei Terry Halpin.
ITEC1301 Object-Oriented Systems Construction Lecture Notes #4 1.
The interplay of mandatory role and set-comparison constraints Dr. Peter Bollen School of Business and Economics Maastricht University, the Netherlands.
Some Simple Design Modeling Techniques
Methodology Logical Database Design for the Relational Model
Course Outcomes of Object Oriented Modeling Design (17630,C604)
Business Process Measures
Interactions.
Unified Modeling Language
Formal Semantics of Dynamic Rules in ORM
Towards Semantically Grounded Decision Rules Using ORM+
Operational Rules Model – step-by-step instructions and template
PPT4: Requirement analysis
Uml diagrams In ooad.
Presentation transcript:

1 Modeling Reactive Behavior in ORM © 2003, T. A. Halpin & Gerd Wagner Terry Halpin Northface University Salt Lake City, USA. Gerd Wagner Eindhoven University of Technology Eindhoven, The Netherlands.

2 Contents  Object-Role Modeling (ORM)  Agent-Object-Relationship modeling (AOR)  Extending ORM with Agents and Actions  ORM and Reaction Rules  Conclusion and Further Reading

3 Object-Role Modeling (ORM)

4 ORM is fact-oriented Grouping of facts into structures is considered sub-conceptual (hence attribute-free) Semantically stable Models can be fully verbalized in natural sentences Validation by verbalization and population Rich graphical coverage of business rules (static constraints and derivation rules) Richer textual coverage of business rules Ideal for conceptual analysis of data Formal and Executable But weak or no support for Reactive behavior (e.g. dynamic constraints and reaction rules) Agent-based aspects

5 Agent-Object-Relationship modeling (AOR) AOR treats an agent type as a distinctive kind of object type. This entails treating the following as basic modeling elements: –action types –event types because … Agents continuously perform three functions: –perception of events (including incoming messages) –action to communicate, and affect conditions in the environment –reasoning to interpret perceptions, draw inferences, and determine appropriate actions A further option is to introduce commitments and claims, to better model social interaction processes.

6 An interaction process type in AOR is specified by defining, for each participating agent (type), a set of inter-related behavior rules, called Reaction Rules. A Reaction Rule has four parts: –Event –Condition –Action –Postcondition The modeling principles of AOR apply to UML and to ORM

7 Extending ORM with Agents and Actions

8 Lexical action (message communication) Non-lexical action (physical) Passive Entity Involvement in ActionOrder of actions

9 Interaction Sequence Diagram for library loans

10 ORM and Reaction Rules When the library receives a book request from a member, it checks whether a copy of that book is available, and if so, the request is confirmed, a new loan object is created, and a copy of the book is delivered to the faculty member. Sample reaction rule, expressed informally: Note: Each loan is for exactly one book copy. The rule does not specify any time limits for the actions to take place. In this sense, it is not an operational rule.

11 Graphical part of ORM schema:

12 Simple derivation rule

13 Time-point viewed as transition between two states

14 Textual constraint

15 Temporal order in an interaction model may be captured in an ORM schema using Explicit subset/equality constraints Implicit subset constraints (implied by mandatory role constraints) Subtyping (with formal subtype definitions – not illustrated here) However the interaction pattern and temporal order are more readily grasped from the interaction diagram. Interaction diagrams should be used in conjunction with data use cases to seed ORM models.

16 Some current research topics What is the best underlying logic to unify static and dynamic aspects? Temporal and Dynamic logics can express “leads to” semantics (e.g. confirmation of a book request leads to delivery of a book copy in some possible future state) but pragmatically, the constraint is not operational unless some deadline is specified for the delivery. To what extent can static and dynamic models be transformed into each other, or used for cross-referencing? How are actions involving three or more agents best modeled? How are viewpoints from the perspective of a single agent type best integrated to a global viewpoint with multiple autonomous agents?

17 Further Reading  -- Terry’s ORM website  -- Gerd’s AOR website  Halpin, T. A. 2001, Information Modeling and Relational Databases, Morgan Kaufmann, San Francisco (ISBN ).  Wagner, G. 2003, ‘The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behavior’. Information Systems, 28(5), pp