Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture.

Slides:



Advertisements
Similar presentations
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 32 Slide 1 Aspect-oriented Software Development.
Advertisements

Prentice Hall, Database Systems Week 1 Introduction By Zekrullah Popal.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
Irina Rychkova. 9/20061 Systemic approach towards model definition Model transformation semantics.
SEAM A Family of Methods for Business and IT Co-evolution Alain Wegmann Professor Ecole Polytechnique Fédérale de Lausanne (EPFL)
1 SWE Introduction to Software Engineering Lecture 23 – Architectural Design (Chapter 13)
©The McGraw-Hill Companies, Inc. Permission required for reproduction or display. slide 1 CS 125 Introduction to Computers and Object- Oriented Programming.
Requirements Analysis 5. 1 CASE b505.ppt © Copyright De Montfort University 2000 All Rights Reserved INFO2005 Requirements Analysis CASE Computer.
An framework for model-driven product design and development using Modelica Adrian Pop, Olof Johansson, Peter Fritzson Programming Environments Laboratory.
©The McGraw-Hill Companies, Inc. Permission required for reproduction or display. slide 1 CS 125 Introduction to Computers and Object- Oriented Programming.
7M822 UML Introduction 7 September 2010.
1 Irina Rychkova Alain Wegmann Laboratory of Systemic Modeling Ecole Polytechnique Fédérale de Lausanne A method for functional alignment verification.
1 Computer Systems & Architecture Lesson 1 1. The Architecture Business Cycle.
Systems Engineering Foundations of Software Systems Integration Peter Denno, Allison Barnard Feeney Manufacturing Engineering Laboratory National Institute.
1 Scenario-based Analysis of UML Design Class Models Lijun Yu October 4th, 2010 Oslo, Norway.
System Engineering Instructor: Dr. Jerry Gao. System Engineering Jerry Gao, Ph.D. Jan System Engineering Hierarchy - System Modeling - Information.
Mapping Fundamental Business Process Modelling Language to the Web Services Ontology Gayathri Nadarajan and Yun-Heh Chen-Burger Centre for Intelligent.
Chapter 1 The Systems Development Environment
Chapter 7: The Object-Oriented Approach to Requirements
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Introduction To System Analysis and design
Formalizing ODP Computational Viewpoint Specification in Maude Raúl Romero and Antonio Vallecillo EDOC 2004 Dpto. Lenguajes y Ciencias de la Computación.
Sumant Tambe, et. al LEESA DSPD 2008 An Embedded Declarative Language for Hierarchical Object Structure Traversal Sumant Tambe* Aniruddha Gokhale Vanderbilt.
1 Conceptual Modeling of User Interfaces to Workflow Information Systems Conceptual Modeling of User Interfaces to Workflow Information Systems By: Josefina.
UML Unified Markup Language Ziya Karakaya Atılım University, Computer Engineering
Object-oriented methodology object models use case modeling unified modeling language the data dictionary the cornucopia case portfolio project Systems.
Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 2: Modelling.
Chapter 6 System Engineering - Computer-based system - System engineering process - “Business process” engineering - Product engineering (Source: Pressman,
CSI315 Web Applications and Technology Overview of Systems Development (342)
Chapter 1 The Systems Development Environment
BCS 2143 Introduction to Object Oriented and Software Development.
DOT’98 Heidelberg 1 A. Hoffmann & M. Born Requirements for Advanced Distribution and Configuration Support GMD FOKUS Andreas Hoffmann & Marc Born
© 2007 Open Grid Forum OGF Modeling Activities DMTF Alliance Partner Symposium Portland, 2007 July 18 Ellen Stokes
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
Integrating Security Design Into The Software Development Process For E-Commerce Systems By: M.T. Chan, L.F. Kwok (City University of Hong Kong)
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
Object-Oriented Analysis and Design An Introduction.
Odyssey A Reuse Environment based on Domain Models Prepared By: Mahmud Gabareen Eliad Cohen.
WSMX Execution Semantics Executable Software Specification Eyal Oren DERI
Enterprise Architecture Enterprise Architecture = a framework or ‘blueprint’ for how the organization achieves the business objectives at hand and in future.
Systems Analysis and Design in a Changing World, 3rd Edition
1 A Model-Driven Approach For Information System Migration Raymonde Le Delliou 1, Nicolas Ploquin 2, Mariano Belaunde 3, Reda Bendraou 4, Louis Féraud.
XASTRO-2 Overview Presentation CCSDS SAWG Athens Meeting 12 th April 2005.
Information Systems Engineering. Lecture Outline Information Systems Architecture Information System Architecture components Information Engineering Phases.
1 On Interactions in the RM-ODP Guy Genilloud, Gonzalo Génova WODPEC’2005 Workshop on ODP for Enterprise Computing * Information Engineering Group Departamento.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented Design.
1 Advanced Software Architecture Muhammad Bilal Bashir PhD Scholar (Computer Science) Mohammad Ali Jinnah University.
Fall 2010 CS4310 Requirements Engineering A Brief Review of UML & OO Dr. Guoqiang Hu Department of Computer Science UTEP 1.
©Ferenc Vajda 1 Semantic Grid Ferenc Vajda Computer and Automation Research Institute Hungarian Academy of Sciences.
A new viewpoint for change management in RM-ODP systems Nesrine Yahiaoui 1,2, Bruno Traverson 1, Nicole Lévy 2 1 EDF R&D - 2 UVSQ PRiSM Workshop on ODP.
UML 2 Models for ODP Engineering/Technology Viewpoints – An Experiment - Daisuke Hashimoto Hiroshi.
UML The Unified Modeling Language A Practical Introduction Al-Ayham Saleh Aleppo University
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Using Meta-Model-Driven Views to Address Scalability in i* Models Jane You Department of Computer Science University of Toronto.
1/26 On-demand Learning Series Software Engineering of Web Application - Object-Oriented Development & UML Hunan University, Software School.
1 OO Analysis & Design - Introduction to main ideas in OO Analysis & design - Practical experience in applying ideas.
Enhancing service system design : An entity interaction pattern approach Author : Soe-Tsyr Daphne Yuan, Shiou-Tian Hsu Professor : Soe-Tsyr Daphne Yuan.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
Modeling the ODP Computational Viewpoint with UML 2.0: The Templeman Library Example José Raúl Romero, Antonio Vallecillo Universidad de Málaga, Spain.
JavaCompExt: Extracting Architectural Elements from Java Source Code N.Anquetil, J.-C. Royer, P. André, G. Ardourel, P. Hnětynka, T. Poch, D. Petraşcu,
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
DCMI Abstract Model Analysis Resource Model Jorge Morato– Information Ingeneering Universidad Carlos III de Madrid
Object-Oriented Systems. Goals Object-Oriented Methodologies – The Rumbaugh et al. OMT – The Booch methodology – Jacobson's methodologies.
XASTRO vs RASDS CCSDS SAWG Meeting. CCSDS SAWG2 Presentation Outline XASTRO study analysis phase conclusions Relationship between XASTRO and UML 2 / SysML.
Viewpoint Modeling and Model-Based Media Generation for Systems Engineers Automatic View and Document Generation for Scalable Model- Based Engineering.
Introduction to Unified Modeling Language (UML)
Version 3 April 21, 2006 Takahiro Yamada (JAXA/ISAS)
Architecture Description Languages
Presentation transcript:

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 1 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture Lam-Son Lê (speaker) and Alain Wegmann École Polytechnique Fédérale de Lausanne (EPFL) School of Computer and Communication Sciences Web: {Alain.Wegmann, ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 2 Enterprise architecture (EA): alignment between business and IT resources to gain and maintain competitive advantages. In EA, multi-disciplinary teams need to reason about hierarchical systems spanning: –from business (markets, companies, departments…) –down to IT (applications, xlets, components, programming classes…) Introduction (1/2)

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 3 SEAM Introduction (2/2) RM-ODP defines theory of object-oriented modeling for IT & telecommunication systems Ontology for OO modeling of hierarchical systems w/ UML-like notation CAD tool UML provides a modeling notation EA addresses hierarchical systems

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 4 Outline Motivation Ontology –Viewpoints and model elements –Combination of Part 2 & Part 3 Formalization UML Representation Related Work Conclusion

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 5 Motivation In EA, a CAD tool is needed for modeling hierarchical systems in a systematic manner We need a formalization of the terms necessary to uniformly represent hierarchical systems across levels –Part 2 and Part 3 of RM-ODP need to be integrated Note: this work is a continuation of Naumenko, A., Wegmann, A., Genilloud, G., and Frank, W. F., "Proposal for a formal foundation of RM-ODP concepts," presented at WOODPECKER / 3rd ICEIS workshop, Setúbal, Portugal, July 2001

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 6 Viewpoints & Model Elements (1/4) Systems in general can be treated –as atomic (as whole, black-box) or –as composite (white-box) RM-ODP defines –information viewpoint –computational viewpoint –enterprise, engineering, technology SEAM focuses on 2 specifications for all systems (i.e. computational objects) –Information specification showing emergent properties –Computational specification showing system construction

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 7 Viewpoints & Model Elements (2/4) Information Spec of Supplier Value Network A simple example: –A group of companies collaborating to serve a customer –That group is called Supplier Value Network and modeled as a computational object

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 8 Viewpoints & Model Elements (3/4) Computational Spec of same Supplier Value Network Computational objects are organized into a series of levels called organizational levels

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 9 Viewpoints & Model Elements (4/4) An information specification has information objects and localized actions Information specification refined across functional levels joint action localized action information object

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 10 Combination of Part 2 & Part 3 Computational Object Joint Action Information Object Localized Action Type Instance Model elements are defined as type as a whole type as composite instance as a whole instance as composite where is computational object, information object, localized action or joint action. Whole Composite

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 11 Formalization (1/3) Alloy 2 has OO constructs Type as whole/composite is declared as a signature E.g. type of computational object as whole/composite sig CompuObject // definition of the computational object { // declaration of all fields of the computational object info : option InfoObject, la : option LocalizedAction, ja : option JointAction, compu_children : set CompuObject, compu_parent : option CompuObject } { // invariants concerning the computational object #compu_parent>0 => this in compu_parent::compu_children all c : compu_children | c::compu_parent = this // additional invariants here… }

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 12 Formalization (2/3) Relations addressed in the ontology –Parent-child –Association –Action transition –Collaboration link 2 ways to formalize relations –Declared as fields in elements’ signature –Declared as a separate signature

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 13 Formalization (3/3) Alloy code can be checked by ACA Supplier Value Network Customersell Sell

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 14 UML Representation Class diagram of Supplier Value Network Activity diagram of Supplier Value Network UML diagrams obtained through filtering options

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 15 Related Work ODP-based modeling recently attracts researchers on EA and formal methods –Steen, M. W. A. et al: Tool env. for viewpoint-oriented EA –Dijkman, R. et al: Computational viewpoint formally written in Maude –Bowman, H. et al: formal interpretation to viewpoint consistency –etc… RM-ODP viewpoint transition –Dustzadeh, J. et al: information actions and the articulation between the information viewpoint and the computational viewpoint –Bernardeschi, C. et al: 1-1 mapping from an information object to a stateless object

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 16 Conclusion Based on RM-ODP, part of SEAM, we develop an OO ontology for modeling hierarchical systems in EA –Organizational & functional levels represented in a uniform manner (seamless) –Formalized in Alloy –Computer-interpretable –Implemented in a CAD tool called SeamCAD ( –SeamCAD can render UML diagrams through filtering options Future work –Translation of Alloy to partial Java code –Advanced features to separately edit UML diagrams

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 17 Questions?

Workshop on ODP for Enterprise Computing WODPEC 05 An RM-ODP based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture 18 Other ODP Viewpoints… market biz system company department IT application component programming classes Enterprise Viewpoint Information Viewpoint Computational Viewpoint Engineering Viewpoint Organizational Levels ODP Viewpoint