Domain Models and Product Lines

Size: px
Start display at page:

Download "Domain Models and Product Lines"

Transcription

1 Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie Domain Models and Product Lines Prof. Dr. U. Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik Gruppe Softwaretechnologie Version , June 24, 2008

2 Object-Oriented Analysis vs Object-Oriented Design requirements specification textualt requirements (stories) business model analysis model use cases domain model analysis model architectural design detailed design 2von 36

3 Extended to Model-Driven Architecture (MDA) requirements specification textual requirements (stories) business model analysis model (CIM) use cases domain model analysis model Platform independent model Platform-1 specific model Platform-(1,.., n) specific model 3von 36

4 Adding Platform-Specific Extensions to Platform-Independent Models Platform independent model (PIM) Platform-1 specific extension (PSE) Model weaving Platform-1 specific model (PSM) Platform-2 specific extension (PSE) Model weaving Platform-(1+2) specific model (PSM) 4von 36

5 MDA Product Lines with Feature Trees and Feature Models 5von 36

6 Feature Models From product configuration to product instantiation Feature models are used to express variability in Product Lines alternative, mandatory, optional features, and their relations A variant model represents a concrete product from the product line This variant model can be used to parameterize and drive the product instantiation process 6von 36

7 Feature Models Feature Tree Notation Concept Group of Mandatory Optional Group of Alternative Features Feature Feature OR Features FeatureA FeatureB FeatureC FeatureD PhD Thesis, Czarnecki (1998) based on FODA-Notation by Kang et al. (1990) 7von 36

8 Beispiel A1 und A2 und A3 B1; B2 xor B3 B1; optional B3 B1; B2 A1 A2 A3 [1] [c1] B1 B2 B3 B1 B3 B1 B2 8von 36

9 [K. Lehmann, Diplomarbeit] FM Ein Featuremodell für computergestützte kognitive Reha K J E S CE CU NO NM... ge gz IS IT T A IS IT ge gz T A ge gz IS IT T A ge gz IS IT T A [1-2] [1-2] [1-2] [1-2] A/K K J E S CE CU NO NM... [c1] ge T A IS IT IS IT [c1] T A [c1] ge gz IS IT T A [1-2] [1-2] [1-2] [1-2] [c1] IS IT T A 9von 36

10 Mapping Features to Model Fragments (Model Snippets) Bridging the gap between configuration and solution space Need for mapping of features from feature models to artefacts of the solution space Possible artefacts Models defined in DSLs Model fragments (snippets) Architectural artefacts (components, connectors, aspects) Source code Files But how can we achieve e the mapping...? 10 von 36

11 Different Approaches of Variant Selection Additive approach of modelling the variant space Map all features to model fragments (model snippets) and compose them with a core model based on the presence of the feature in the variant model Pros: conflicting variants can be modelled correctly strong per-feature decomposition Cons: traceability problems increased overhead in linking the different fragments 11 von 36

12 Different Approaches of Variant Selection (2) Subtractive approach of modelling the variant space Model all features in one model and remove elements based on absence of the feature in the variant model Pros: no need for redundant links between artifacts short cognitive distance Cons: conflicting variants can't be modelled correctly huge and inconcise models 12 von 36

13 A Process Architecture for PLE Chose one variant on each level Feature Tree als Input für die Varianten-Steuereingaben 13 von 36

14 A Process Architecture for PLE Goal: a staged MDSD-framework for PLE where each stage produces the software artefacts used for the next stage 14 von 36

15 A Process Architecture for PLE Characteristic feature 1: Variability on each stage 15 von 36

16 A Process Architecture for PLE Characteristic feature 2: different modelling languages, component systems and composition languages per stage 16 von 36

17 A Process Architecture for PLE Characteristic feature 3: different composition mechanisms per stage 17 von 36

18 A Process Architecture for PLE Characteristic feature 4: composition mechanisms are driven by variant selection 18 von 36

19 Mapping Features to Models (1) 19 von 36

20 Mapping Features to Models (2) FeatureMapper - a tool for mapping features to modelling artefacts developed at the ST Group Screencast and paper available at Advantages: Configuration of large product lines from selection of variants in feature trees Customers understand Consistency of each product in the line is simple to check Model and code snippets can be traced to requirements 20 von 36

21 Domain Models and Product Lines 21 von 36

22 Einbau von Ontologien In Produktlinien Als Design-Constraints, als Produkt-Constraints, als Domänenmodell Configuration Constraints (FeatureModel) Variants Design Variants Variants Domain Model (Domain ontology) Analysis Model Product Line Design Model (Framework) Design Constraints Product Constraints Variants CodeVariants Components Product Design Model Implementation (partial) 22 von 36

23 Eine Ontologie als Ober-Modell Teacher Teaching ontology Company Student Course Business ontology Teacher Company Analysis model extensions teaches() Exercise Student attends() Course countstudents() Course Part Exam Teacher getsalary() PayedCourse Consultance book() Teacher beg() FreeCourse Exercise Solution lookup() Student PayedCourse Student FreeCourse pay() paycourse() donate() paycourse() 23 von 36

24 24 von 36

25 Finding a Place for Domain Ontologies in the Model- Driven Architecture 25 von 36

26 History of This Work Invited Paper on Ontologies, Metamodels, and the Model- Driven Paradigm for Handbook on Ontologies in Software Engineering 2006 (Ruiz, Calero) Uwe Aßmann, Steffen Zschaler, TU Dresden Gerd Wagner, BTU Cottbus How do ontologies and system models relate? Ontology Metamodels Model-Driven Engineering (MDE) Model-Driven Architecture (MDA) 26 von 36

27 The IRDS/MOF Metamodelling Hierarchy aka metapyramid M4 level = M3 M3 metametamodel level Metamodelling concepts validinstanceof Modelling concepts validinstanceof describes MOF, UML-core, OWL, AG, NS describes M2 metamodel level Language descriptions validinstanceof OWL, UML, CWM,ER describes M1 model level Types, programs, models domain ontologies validinstanceof describes M0 Object level Software objects describing world objects model instances 27 von 36

28 The MDA Embedded in the IRDS Metapyramid M3 metametamodel level Modelling concepts MOF MetaMetamodels M2 metamodel level Metamodels (languages) Language specifications CIM-MM PIM-MM <<instance-of>> PSM-MM <<instance-of>> M1 model level Models Instance specifications CIM PIM PSM M0 object level System instances <<instance-of>> 28 von 36

29 Models vs Ontologies How can we find a place for ontologies in the world of MDA? A model is an external and explicit representation of a part of reality as seen by the people who wish to use that model to understand, change, manage, and control that part of reality. [Pidd] A model of a system is a description or specifiation of that system and its environment for some certain purpose. [MDAGuide] Usually... Ontologies og are formal explicit specifications ca s of a shared conceptualization.[gruber] cep a o ube but von 36

30 Models vs Ontologies A Big Difference Description or Control A model can be descriptive or prescriptive. [Seidewitz CACM 03] Models describe or control reality. If they describe, they monitor reality and form true, or faithful, abstractions (Analysis, Reengineering) If they control, they prescribe reality (Construction, Specification) Ontologies need the open-world assumption Analysis perspective Anything not explicitly expressed is unknown Ontologies use a form of partial description to abstract System models need closed-world assumption Design perspective Anything not explicitly expressed is wrong System models specify completely Descriptive Prescriptive 30 von 36

31 Analysis with Ontologies, Specification with System Models An ontology: a standardized, descriptive model, A system model: a non-standardized standardized, prescriptive model, representing reality by a set of concepts, their representing a set of systems by a set of concepts, their interrelations, and constraints interrelations, and constraints under under open-world assumption. closed-world assumption. 31 von 36

32 What to Do with What With Closed World Assumption (Reasoning) Querying needs CWA to exclude erroneous data Metamodeling: needs CWA to exclude erroneous programs Integrity constraints needs CWA to exclude erroneous models With Open World Assumption Domain modeling needs OWA because of partial specification of domain 32 von 36

33 Integration with a Universal Metalanguage Analysis Problem Domain Descriptive Design Solution Domain Prescriptive (Specifications) M3 metametamodel level Universal CWA Ontology Metamodeling language M2 metamodel level <<instance-of>> Upper ontologies <<instance-of>> Metamodels (languages, language concepts) M1 model level <<is-a>> Domain ontologies <<instance-of>> Models M0 object level Real world objects <<described-by>> <<instance-of>> Software objects 33 von 36

34 Embedding Ontologies into the IRDS Metapyramid and MDA Analysis Problem Domain Descriptive Design Solution Domain Prescriptive (Specifications) M3 metametamodel level Metametamodels (specification concepts) M2 metamodel level <<instance-of>> <<instance-of>> Upper ontologies CIM-RM-MM MM PIM-MM <<described-by>> PSM-MM M1 model level Domain ontologies CIM-DO CIM-BO CIM-RM PIM <<instance-of>> PSM M0 object level Real world objects <<described-by>> by>> Software objects <<instance-of>> 34 von 36

35 Conclusions Ontologies are advantageous in PLE for domain ontologies integrity constraint ontologies in product lines but... Ontologies should not be misused as system models Ontologies complement system models Ontologies in OWA for domain modeling, CWA for the rest Integration technology and tools needed! MOST project (Marrying Ontologies and Software Technology) 35 von 36

36 The End 36 von 36

25.1 Translational Frameworks (MDA with transformations)

25.1 Translational Frameworks (MDA with transformations) Literature TU Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik 25. From Code Frameworks to Model-Driven Architecture (MDA) and Component-Based Software Development (CBSD) Prof.

More information

Model-Driven Development of a Biosignal Analysis Framework: Benefits and Impacts on Processes. Nikolas Hofmann 08.11.2012

Model-Driven Development of a Biosignal Analysis Framework: Benefits and Impacts on Processes. Nikolas Hofmann 08.11.2012 Model-Driven Development of a Biosignal Analysis Framework: Benefits and Impacts on Processes Nikolas Hofmann Introduction Biosignal analysis has versatile applications in medicine Mobile devices allow

More information

Contributions To Ontology-Driven Requirements Engineering

Contributions To Ontology-Driven Requirements Engineering Dissertation Contributions To Ontology-Driven Requirements Engineering bearbeitet von Dipl.-Medieninf. Katja Siegemund geboren am 26.05.1981 in Leipzig vorgelegt an der Technischen Universität Dresden

More information

Overview. Stakes. Context. Model-Based Development of Safety-Critical Systems

Overview. Stakes. Context. Model-Based Development of Safety-Critical Systems 1 2 Model-Based Development of -Critical Systems Miguel A. de Miguel 5/6,, 2006 modeling Stakes 3 Context 4 To increase the industrial competitiveness in the domain of software systems To face the growing

More information

An MDA Approach for the Development of Web applications

An MDA Approach for the Development of Web applications An MDA Approach for the Development of Web applications Santiago Meliá Beigbeder and Cristina Cachero Castro {santi,ccachero}@dlsi.ua.es Univesidad de Alicante, España Abstract. The continuous advances

More information

FHIM Model Content Overview

FHIM Model Content Overview FHIM Model Content Overview Federal Health Information Model (FHIM) and Associated Terminology Models Goal Produce a logical, health information model that supports semantic interoperability and that is

More information

Development of a Feature Modeling Tool using Microsoft DSL Tools.

Development of a Feature Modeling Tool using Microsoft DSL Tools. Development of a Feature Modeling Tool using Microsoft DSL Tools. GIRO Technical Report 2009-1.ver 1.0 (05/01/2009) Rubén Fernández, Miguel A. Laguna, Jesús Requejo, Nuria Serrano. Department of Computer

More information

Exploring Cyber-Physical Systems

Exploring Cyber-Physical Systems Fakultät für Informatik Institut für Software- und Multimediatechnik Resubic Lab Dresden Exploring Cyber-Physical Systems http://www.resubic.org O, quae mutatio rerum. Prof. Dr. Uwe Aßmann Version 04.04.11

More information

What is a metamodel: the OMG s metamodeling infrastructure

What is a metamodel: the OMG s metamodeling infrastructure Modeling and metamodeling in Model Driven Development Warsaw, May 14-15th 2009 Gonzalo Génova ggenova@inf.uc3m.es http://www.kr.inf.uc3m.es/ggenova/ Knowledge Reuse Group Universidad Carlos III de Madrid

More information

15. Evolutionary Object-Oriented Software Development (EOS) An agile process based on product-breakdown structure (PBS) Obligatory Literature

15. Evolutionary Object-Oriented Software Development (EOS) An agile process based on product-breakdown structure (PBS) Obligatory Literature 15. Evolutionary Object-Oriented oftware Development (EO) An agile process based on product-breakdown structure (PB) Prof. Dr. rer. nat. Uwe Aßmann Lehrstuhl oftwaretechnologie Fakultät Informatik Technische

More information

Comparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven Development

Comparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven Development Comparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven Development Ahmet Demir Technische Universität München Department of Informatics Munich, Germany AhmetDemir@gmx.de

More information

From Business World to Software World: Deriving Class Diagrams from Business Process Models

From Business World to Software World: Deriving Class Diagrams from Business Process Models From Business World to Software World: Deriving Class Diagrams from Business Process Models WARARAT RUNGWORAWUT 1 AND TWITTIE SENIVONGSE 2 Department of Computer Engineering, Chulalongkorn University 254

More information

Jairson Vitorino. PhD Thesis, CIn-UFPE February 2009. Supervisor: Prof. Jacques Robin. Ontologies Reasoning Components Agents Simulations

Jairson Vitorino. PhD Thesis, CIn-UFPE February 2009. Supervisor: Prof. Jacques Robin. Ontologies Reasoning Components Agents Simulations CHROME: A Model-Driven Component- Based Rule Engine Jairson Vitorino PhD Thesis, CIn-UFPE February 2009 Supervisor: Prof. Jacques Robin Ontologies Reasoning Components Agents Simulations Contents 1. Context

More information

Ontologies for Software Engineering and Software Technology

Ontologies for Software Engineering and Software Technology Coral Calero Francisco Ruiz Mario Piattini (Eds.) Ontologies for Software Engineering and Software Technology With 84 Figures and 46 Tables y Springer Contents 1. Ontological Engineering: Principles, Methods,

More information

Rules and Business Rules

Rules and Business Rules OCEB White Paper on Business Rules, Decisions, and PRR Version 1.1, December 2008 Paul Vincent, co-chair OMG PRR FTF TIBCO Software Abstract The Object Management Group s work on standards for business

More information

Controlling Model-Driven Software Development through Composition Systems

Controlling Model-Driven Software Development through Composition Systems Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie Controlling Model-Driven Software Development through Composition Systems Jendrik Johannes, NW-MODE

More information

MDE Adoption in Industry: Challenges and Success Criteria

MDE Adoption in Industry: Challenges and Success Criteria MDE Adoption in Industry: Challenges and Success Criteria Parastoo Mohagheghi 1, Miguel A. Fernandez 2, Juan A. Martell 2, Mathias Fritzsche 3 and Wasif Gilani 3 1 SINTEF, P.O.Box 124-Blindern, N-0314

More information

Business Model Interoperability using Enterprise Model Integration

Business Model Interoperability using Enterprise Model Integration Business Model Interoperability using Enterprise Model Integration Harald KÜHN, Marion MURZEK, Franz BAYER BOC Information Systems GmbH, Rabensteig 2, 1010 Vienna, Austria Tel: +43 1 513 27 36 10, Fax:

More information

Component-Based Software Engineering (CBSE) Announcements

Component-Based Software Engineering (CBSE) Announcements Component-Based Software Engineering (CBSE) Announcements Prof. Dr. Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik http://st.inf.tu-dresden.de 11-0.1, Apr 05, 2011

More information

Modeling Turnpike: a Model-Driven Framework for Domain-Specific Software Development *

Modeling Turnpike: a Model-Driven Framework for Domain-Specific Software Development * for Domain-Specific Software Development * Hiroshi Wada Advisor: Junichi Suzuki Department of Computer Science University of Massachusetts, Boston hiroshi_wada@otij.org and jxs@cs.umb.edu Abstract. This

More information

Model Driven Interoperability through Semantic Annotations using SoaML and ODM

Model Driven Interoperability through Semantic Annotations using SoaML and ODM Model Driven Interoperability through Semantic Annotations using SoaML and ODM JiuCheng Xu*, ZhaoYang Bai*, Arne J.Berre*, Odd Christer Brovig** *SINTEF, Pb. 124 Blindern, NO-0314 Oslo, Norway (e-mail:

More information

17. Evolutionary Object-Oriented Software Development (EOS) An agile process based on PBS

17. Evolutionary Object-Oriented Software Development (EOS) An agile process based on PBS 17. Evolutionary Object-Oriented Software Development (EOS) An agile process based on PBS 1 Prof. Dr. rer. nat. Uwe Aßmann Lehrstuhl Softwaretechnologie Fakultät Informatik Technische Universität Dresden

More information

CIM to PIM Transformation: A criteria Based Evaluation

CIM to PIM Transformation: A criteria Based Evaluation ISSN:2229-6093 CIM to PIM Transformation: A criteria Based Evaluation Abdelouahed KRIOUILE *, Taoufiq GADI, Youssef BALOUKI Univ Hassan 1, LAVETE Laboratory, 26000 Settat, Maroc * E-mail of the corresponding

More information

Designing Round-Trip Systems by Change Propagation and Model Partitioning

Designing Round-Trip Systems by Change Propagation and Model Partitioning Designing Round-Trip Systems by Change Propagation and Model Partitioning Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der Technischen Universität Dresden

More information

Project VIDE Challenges of Executable Modelling of Business Applications

Project VIDE Challenges of Executable Modelling of Business Applications Project VIDE Challenges of Executable Modelling of Business Applications Radoslaw Adamus *, Grzegorz Falda *, Piotr Habela *, Krzysztof Kaczmarski #*, Krzysztof Stencel *+, Kazimierz Subieta * * Polish-Japanese

More information

Implementation of MDA Method into SOA Environment for Enterprise Integration

Implementation of MDA Method into SOA Environment for Enterprise Integration www.ijcsi.org 10 Implementation of MDA Method into SOA Environment for Enterprise Integration Wiranto Herry Utomo Faculty of Information Technology, Satya Wacana Christian University Salatiga, Central

More information

A Software Development Platform for SOA

A Software Development Platform for SOA A Software Development Platform for SOA Peter Eeles Executive IT Architect Rational Brand Architect for UK, Ireland and South Africa peter.eeles@uk.ibm.com 2004 IBM Corporation Agenda IBM Software Group

More information

MDA Transformations Applied to Web Application Development 1

MDA Transformations Applied to Web Application Development 1 MDA Transformations Applied to Web Application Development 1 Santiago Meliá 1, Andreas Kraus 2, and Nora Koch 2, 3 1 Universidad de Alicante, Spain 2 Ludwig-Maximilians-Universität München, Germany 3 F.A.S.T

More information

Using UML to Construct a Model Driven Solution for Unified Access to Disparate Data

Using UML to Construct a Model Driven Solution for Unified Access to Disparate Data Using UML to Construct a Model Driven Solution for Unified Access to Disparate Data Randall M. Hauch VP Development, Chief Architect Metadata Management OMG's Second Workshop on UML for Enterprise Applications:

More information

Fabrice Mogo Nem. Engineering Networks Holistic approach for multidiscipiinary Product Lifecycle Management. Band 9

Fabrice Mogo Nem. Engineering Networks Holistic approach for multidiscipiinary Product Lifecycle Management. Band 9 / TECHNISCHE UNIVERSITÄT Lehrstuhl für Virtuelle Produktentwicklung KAISERSLAUTERN Prof. Dr.-lng. Martin Eigner Fabrice Mogo Nem Engineering Networks Holistic approach for multidiscipiinary Product Lifecycle

More information

Author: Daniël van t Oever

Author: Daniël van t Oever Thesis for the masters degree Computer Science. Department of Computer Science, University of Twente, the Netherlands Author: Daniël van t Oever Title: CoNSoLe: A Domain Specific Language for Network Services

More information

Model Driven Development Future or Failure of Software Development?

Model Driven Development Future or Failure of Software Development? Model Driven Development Future or Failure of Software Development? Ruben Picek, Vjeran Strahonja University of Zagreb, Faculty of Organization and Informatics, Varaždin ruben.picek@foi.hr, vjeran.strahonja@foi.hr

More information

Using MDA in Web Software Architectures

Using MDA in Web Software Architectures Using MDA in Web Software Architectures SANTIAGO MELIA, CRISTINA CACHERO AND JAIME GOMEZ 1 Universidad de Alicante, Spain The new challenges posed by the Internet market have increased the need for Web

More information

Development of Tool Extensions with MOFLON

Development of Tool Extensions with MOFLON Development of Tool Extensions with MOFLON Ingo Weisemöller, Felix Klar, and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt D-64283 Darmstadt, Germany {weisemoeller klar schuerr}@es.tu-darmstadt.de

More information

Archiving Systems. Uwe M. Borghoff Universität der Bundeswehr München Fakultät für Informatik Institut für Softwaretechnologie. uwe.borghoff@unibw.

Archiving Systems. Uwe M. Borghoff Universität der Bundeswehr München Fakultät für Informatik Institut für Softwaretechnologie. uwe.borghoff@unibw. Archiving Systems Uwe M. Borghoff Universität der Bundeswehr München Fakultät für Informatik Institut für Softwaretechnologie uwe.borghoff@unibw.de Decision Process Reference Models Technologies Use Cases

More information

All you need are models Anneke Kleppe, Klasse Objecten

All you need are models Anneke Kleppe, Klasse Objecten Model Driven Architecture All you need are models Anneke Kleppe, Klasse Objecten Contents Limited Vision on MDA Modeling Maturity Levels Models Model Driven Development Model Driven Architecture MDA in

More information

MDE FOR BPM A Systematic Review

MDE FOR BPM A Systematic Review MDE FOR BPM A Systematic Review Jose Manuel Perez UCLM-Soluziona Research and Development Institute, Ronda de Toledo s/n, 13005, Ciudad Real, Spain Josem.Perez2@alu.uclm.es Francisco Ruiz, Mario Piattini

More information

Chapter 7. UML-BASED WEB ENGINEERING An Approach Based on Standards 7.1 OVERVIEW

Chapter 7. UML-BASED WEB ENGINEERING An Approach Based on Standards 7.1 OVERVIEW Chapter 7 UML-BASED WEB ENGINEERING An Approach Based on Standards Nora Koch, 1, 2 Alexander Knapp, 1 Gefei Zhang, 1 Hubert Baumeister 3 1 Institut für Informatik, Ludwig-Maximilians-Universität München,

More information

Designing a Semantic Repository

Designing a Semantic Repository Designing a Semantic Repository Integrating architectures for reuse and integration Overview Cory Casanave Cory-c (at) modeldriven.org ModelDriven.org May 2007 The Semantic Metadata infrastructure will

More information

Foundations of Model-Driven Software Engineering

Foundations of Model-Driven Software Engineering Model-Driven Software Engineering Foundations of Model-Driven Software Engineering Dr. Jochen Küster (jku@zurich.ibm.com) Contents Introduction to Models and Modeling Concepts of Model-Driven Software

More information

An eclipse-based Feature Models toolchain

An eclipse-based Feature Models toolchain An eclipse-based Feature Models toolchain Luca Gherardi, Davide Brugali Dept. of Information Technology and Mathematics Methods, University of Bergamo luca.gherardi@unibg.it, brugali@unibg.it Abstract.

More information

Generating the PIM Behavioral Model from the CIM using QVT

Generating the PIM Behavioral Model from the CIM using QVT Journal of Computer Science and Information Technology December 2014, Vol. 2, No. 3 & 4, pp. 55-81 ISSN: 2334-2366 (Print), 2334-2374 (Online) Copyright The Author(s). 2014. All Rights Reserved. Published

More information

DEVS Unified Process for Web-Centric Development and Testing of System of Systems

DEVS Unified Process for Web-Centric Development and Testing of System of Systems CRITICAL ISSUES IN C4I 20-21 May 2008 George Mason University, Fairfax, VA DEVS Unified Process for Web-Centric Development and Testing of of s Saurabh Mittal, PhD Bernard P. Zeigler, PhD Arizona Center

More information

Toward Families of QVT DSL and Tool

Toward Families of QVT DSL and Tool Toward Families of QVT DSL and Tool Benoît Langlois, Daniel Exertier, Ghanshyamsinh Devda Thales Research & Technology RD 128 91767 Palaiseau, France {benoit.langlois, daniel.exertier, ghanshyamsinh.devda}@thalesgroup.com

More information

SOFTWARE DEVELOPMENT MAGAZINE: MANAGEMENT FORUM December, 1999. Vol. 7, No. 12 Capturing Business Rules. By Ellen Gottesdiener,

SOFTWARE DEVELOPMENT MAGAZINE: MANAGEMENT FORUM December, 1999. Vol. 7, No. 12 Capturing Business Rules. By Ellen Gottesdiener, SOFTWARE DEVELOPMENT MAGAZINE: MANAGEMENT FORUM December, 1999. Vol. 7, No. 12 Capturing Business Rules By Ellen Gottesdiener, [Editor's Intro] With our noses to the software development grindstone, it

More information

SEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation

SEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation Technical Brief April 2011 The National Consortium for Justice Information and Statistics Model-driven Development of NIEM Information Exchange Package Documentation By Andrew Owen and Scott Came Since

More information

Update on the OMG PRR Standard

Update on the OMG PRR Standard Update on the OMG PRR Standard Paul Vincent TIBCO Software Inc. MarkupLanguages 2008 Conference 2 Why am I here? (Where do Standards Fit in Commercial IT Tools?) Best Practices Technical Partner Service

More information

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box

More information

AN ANALYSIS OF MODEL-DRIVEN WEB ENGINEERING METHODOLOGIES. Received November 2011; revised March 2012

AN ANALYSIS OF MODEL-DRIVEN WEB ENGINEERING METHODOLOGIES. Received November 2011; revised March 2012 International Journal of Innovative Computing, Information and Control ICIC International c 2013 ISSN 1349-4198 Volume 9, Number 1, January 2013 pp. 413 436 AN ANALYSIS OF MODEL-DRIVEN WEB ENGINEERING

More information

Software Engineering. System Modeling

Software Engineering. System Modeling Software Engineering System Modeling 1 System modeling System modeling is the process of developing abstract models of a system, with each model presenting a different view or perspective of that system.

More information

Research Topics 2009. MDD & PL 2009 Stefan Tilkov stefan.tilkov@innoq.com

Research Topics 2009. MDD & PL 2009 Stefan Tilkov stefan.tilkov@innoq.com Research Topics 2009 MDD & PL 2009 Stefan Tilkov stefan.tilkov@innoq.com About innoq Technology Consultancy Focus: Efficient software development & Service-oriented architecture Ratingen, Darmstadt, Munich,

More information

Context-aware Model Driven Development by Parameterized Transformation

Context-aware Model Driven Development by Parameterized Transformation Context-aware Model Driven Development by Parameterized Transformation Samyr Vale 1,2, Slimane Hammoudi 1 1 ESEO, 4 rue Merlet de la Boulaye BP 926, 49009 Angers cedex 01 France {samyr.vale, slimane.hammoudi}@eseo.fr

More information

Lecture 2: Domain-Specific Logic Languages (DSLL) or Logic-based Domain-Specific Languages (LDSL)

Lecture 2: Domain-Specific Logic Languages (DSLL) or Logic-based Domain-Specific Languages (LDSL) Lecture 2: Domain-Specific Logic Languages (DSLL) or Logic-based Domain-Specific Languages (LDSL) Prof. Uwe Aßmann Christian Wende Technische Universität Dresden Software Engineering Group http://st.inf.tu-dresden.de

More information

Web Services - Consultant s View. From IT Stategy to IT Architecture. Agenda. Introduction

Web Services - Consultant s View. From IT Stategy to IT Architecture. Agenda. Introduction Web Services - A Consultant s View From IT Stategy to IT Architecture Hans-Peter Hoidn, Timothy Jones, Jürg Baumann, Oliver Vogel February 12, 2003 Copyright IBM Corporation 2002 Agenda Introduction I.

More information

OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study

OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study Michael Guttman CTO, The Voyant Group mguttman@thevoyantgroup.com Overview of Voyant H.Q. West Chester, PA Business

More information

Semantic-enabled Software Engineering and Development

Semantic-enabled Software Engineering and Development Semantic-enabled Software Engineering and Development Bernhard Bauer, Stephan Roser Programming of Distributed Systems, University of Augsburg, 86135 Augsburg [bauer roser]@informatik.uni-augsburg.de Abstract:

More information

DataStorm 2013 Workshop on Large-Scale Data Management

DataStorm 2013 Workshop on Large-Scale Data Management Domain Specific Languages for Large- Scale-Data Applications DataStorm 203 Workshop on Large-Scale Data Management 6/7/203 Alberto Rodrigues da Silva (on behalf of the Information Systems Group, INESC-ID)

More information

Teil V: Tools in an IDE 70. Tools for Requirements Management

Teil V: Tools in an IDE 70. Tools for Requirements Management Teil V: Tools in an IDE 70. Tools for Requirements Management 2 References Katja Siegemund, Edward J. Thomas, Yuting Zhao, Jeff Pan, and Uwe Assmann. Towards Ontology-driven Requirements Engineering. Semnatic

More information

Semantic Model-Driven Architecting of Service-based Software Systems

Semantic Model-Driven Architecting of Service-based Software Systems Semantic Model-Driven Architecting of Service-based Software Systems Claus Pahl Dublin City University School of Computing Dublin 9, Ireland email: Claus.Pahl@dcu.ie phone: ++353 +1 700 5620 fax: ++353

More information

15. Evolutionary Object-Oriented Software Development (EOS) An agile process based on product-breakdown structure (PBS) Obligatory Literature

15. Evolutionary Object-Oriented Software Development (EOS) An agile process based on product-breakdown structure (PBS) Obligatory Literature 15. Evolutionary Object-Oriented oftware Development (EO) An agile process based on product-breakdown structure (PB) Prof. Dr. rer. nat. Uwe Aßmann Lehrstuhl oftwaretechnologie Fakultät Informatik Technische

More information

Production Rule Representation

Production Rule Representation Submission to Business Modeling and Integration Domain Taskforce Production Rule Representation Ver. 1.01 Submitted by Fair Isaac Corporation ILOG SA March 19, 2007 1 Copyright 2007 Fair Isaac Corporation

More information

ODM and Rules - Semantic Enabled Complex Event Processing

ODM and Rules - Semantic Enabled Complex Event Processing ODM and Rules - Semantic Enabled Complex Event Processing Paul Vincent, Business Optimization Group, TIBCO Software 2009 TIBCO Software Inc., Sandpiper. Software Inc. All Rights Reserved. Presenter Paul

More information

Model-Driven Development: A Metamodeling Foundation

Model-Driven Development: A Metamodeling Foundation Model-Driven Development: A Metamodeling Foundation Colin Atkinson University of Mannheim 68161 Mannheim, Germany atkinson@informatik.uni-mannheim.de Thomas Kühne Darmstadt University of Technology 64283

More information

Unification of AOP and FOP in Model Driven Development

Unification of AOP and FOP in Model Driven Development Chapter 5 Unification of AOP and FOP in Model Driven Development I n this chapter, AOP and FOP have been explored to analyze the similar and different characteristics. The main objective is to justify

More information

Int. J. Business Process Integration and Management, Vol. 2, No. 2, 2007 109

Int. J. Business Process Integration and Management, Vol. 2, No. 2, 2007 109 Int. J. Business Process Integration and Management, Vol. 2, No. 2, 2007 109 Model-driven and pattern-based integration of process-driven SOA models Uwe Zdun and Schahram Dustdar Distributed Systems Group,

More information

Clarifying a vision on certification of MDA tools

Clarifying a vision on certification of MDA tools SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 23 29 P. Clarifying a vision on certification of MDA tools Antons Cernickins Riga Technical University,

More information

mdwfs Model-driven Schema Translation for Integrating Heterogeneous Geospatial Data

mdwfs Model-driven Schema Translation for Integrating Heterogeneous Geospatial Data mdwfs Model-driven Schema Translation for Integrating Heterogeneous Geospatial Data Tatjana Kutzner, Andreas Donaubauer Chair of Geoinformatics kutzner@tum.de INSPIRE KEN Schema Transformation Workshop,

More information

REAlist: Towards a Business Model Adapting Multi-Tenant ERP System in the Cloud

REAlist: Towards a Business Model Adapting Multi-Tenant ERP System in the Cloud REAlist: Towards a Business Model Adapting Multi-Tenant ERP System in the Cloud Dieter Mayrhofer 1, Alexandra Mazak 1, Bernhard Wally 1, Christian Huemer 1, Peter Regatschnig 2 1 TU Vienna, 2 eventus Marketingservice

More information

Agile Modeling and Design of Service-Oriented Component Architecture

Agile Modeling and Design of Service-Oriented Component Architecture Agile Modeling and Design of Service-Oriented Component Architecture Zoran Stojanovic, Ajantha Dahanayake, Henk Sol Systems Engineering Group, Faculty of Technology, Policy and Management, Delft University

More information

15 Jahre Software-Produktlinien: Einführung und aktueller Stand

15 Jahre Software-Produktlinien: Einführung und aktueller Stand Software Systems Engineering 15 Jahre Software-Produktlinien: Einführung und aktueller Stand Mini-Tutorial Dr. Andreas Birk (Software.Process.Management), Prof. Dr. Klaus Schmid (Universität Hildesheim)

More information

Towards Model-Driven Software Development in Robotics: Motivation, Perspectives, Benefits, Challenges

Towards Model-Driven Software Development in Robotics: Motivation, Perspectives, Benefits, Challenges Towards Model-Driven Software Development in Robotics: Motivation, Perspectives, Benefits, Challenges Prof. Dr. Christian Schlegel Fakultät Informatik Hochschule Ulm Germany Alex Lotz Matthias Lutz Dennis

More information

A Variability Viewpoint for Enterprise Software Systems

A Variability Viewpoint for Enterprise Software Systems 2012 Joint Working Conference on Software Architecture & 6th European Conference on Software Architecture A Variability Viewpoint for Enterprise Software Systems Matthias Galster University of Groningen,

More information

Modeling of Distributed Systems with SOA & MDA

Modeling of Distributed Systems with SOA & MDA Modeling of Distributed Systems with SOA & MDA Haeng-Kon Kim Abstract Along with the boom of Web services and the thriving Model Driven Architecture (MDA), we must consider the growing significance and

More information

Enhancement of Development Technologies for Agent- Based Software Engineering

Enhancement of Development Technologies for Agent- Based Software Engineering Enhancement of Development Technologies for Agent- Based Software Engineering Andre Karpištšenko Tallinn Technical University, Ehitajate tee 5 19086 Tallinn, Estonia andre@lap.ee Abstract. Current trends

More information

Designing and Enacting Cross-organisational Business Processes: A Model-driven, Ontology-based Approach

Designing and Enacting Cross-organisational Business Processes: A Model-driven, Ontology-based Approach Designing and Enacting Cross-organisational Business Processes: A Model-driven, Ontology-based Approach Stephan Roser Dissertation Programming Distributed Systems Department of Computer Science University

More information

RoSI Kickoff Meeting. Beyond Simple Objects

RoSI Kickoff Meeting. Beyond Simple Objects Fakultät für Informatik Institut für Software- und Multimediatechnik RoSI Kickoff Meeting Beyond Simple Objects Prof. Dr. Uwe Aßmann Institut für Software- und Multimediatechnik (SMT) Fakultät für Informatik,

More information

A Framework for Generating Query Language Code from OCL Invariants

A Framework for Generating Query Language Code from OCL Invariants A Framework for Generating Query Language Code from OCL Invariants Florian Heidenreich, Christian Wende, and Birgit Demuth Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062,

More information

Open Source egovernment Reference Architecture Osera.modeldriven.org. Copyright 2006 Data Access Technologies, Inc. Slide 1

Open Source egovernment Reference Architecture Osera.modeldriven.org. Copyright 2006 Data Access Technologies, Inc. Slide 1 Open Source egovernment Reference Architecture Osera.modeldriven.org Slide 1 Caveat OsEra and the Semantic Core is work in progress, not a ready to use capability Slide 2 OsEra What we will cover OsEra

More information

UML Profiling Comes of Age Realizing the Potential of Domain-Specific Modeling

UML Profiling Comes of Age Realizing the Potential of Domain-Specific Modeling UML Profiling Comes of Age Realizing the Potential of Domain-Specific Modeling PATHS TO DOMAIN-SPECIFIC MODELING... 1 UML PROFILING... 2 The Origin of the UML Profiling Specifications... 2 The Vision...

More information

The Impact of the Computational Independent Model for Enterprise Information System Development

The Impact of the Computational Independent Model for Enterprise Information System Development Volume No.8, December 200 The Impact of the Computational Independent Model for Enterprise Information System Development Yashwant Singh Jaypee University of IT, Waknaghat, Himachal Pradesh, INDIA Dr.

More information

Evolution in Feature-Oriented Model-Based Software Product Line Engineering

Evolution in Feature-Oriented Model-Based Software Product Line Engineering Diploma Thesis Evolution in Feature-Oriented Model-Based Software Product Line Engineering submitted by Christoph Seidl born December 5, 1982 in Freiburg im Br. Technische Universität Dresden Faculty of

More information

CS4507 Advanced Software Engineering

CS4507 Advanced Software Engineering CS4507 Advanced Software Engineering Lectures 2 & 3: Software Development Lifecycle Models A O Riordan, 2015 Some diagrams from Sommerville, some notes from Maciaszek/Liong Lifecycle Model Software development

More information

Structure of Presentation. The Role of Programming in Informatics Curricula. Concepts of Informatics 2. Concepts of Informatics 1

Structure of Presentation. The Role of Programming in Informatics Curricula. Concepts of Informatics 2. Concepts of Informatics 1 The Role of Programming in Informatics Curricula A. J. Cowling Department of Computer Science University of Sheffield Structure of Presentation Introduction The problem, and the key concepts. Dimensions

More information

HybridMDSD: Multi-Domain Engineering with Model-Driven Software Development using Ontological Foundations

HybridMDSD: Multi-Domain Engineering with Model-Driven Software Development using Ontological Foundations HybridMDSD: Multi-Domain Engineering with Model-Driven Software Development using Ontological Foundations Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der

More information

Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features

Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features Fifth International Conference on Information Technology: New Generations Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features Tihomir Calic, Sergiu Dascalu, Dwight Egbert

More information

Aplicando enfoque MDE a aplicaciones WEB-SOA

Aplicando enfoque MDE a aplicaciones WEB-SOA Aplicando enfoque MDE a aplicaciones WEB-SOA María Consuelo Franky lfranky@javeriana.edu.co Dpto. Ingeniería de Sistemas Universidad Javeriana Bogotá - 2010 http://sophia.javeriana.edu.co/~lfranky/ 1 Temario

More information

22b.1. Software Platforms and Software Ecosystems. 22b Software Ecosystems. Plattform Leadership. Platforms and Ecosystems. Prof. Dr. U.

22b.1. Software Platforms and Software Ecosystems. 22b Software Ecosystems. Plattform Leadership. Platforms and Ecosystems. Prof. Dr. U. Fakultät für Informatik Institut für Software- und Multimediatechnik Fakultät für Informatik Institut für Software- und Multimediatechnik 22b 22b.1. Software s and Prof. Dr. Uwe Aßmann Version 11-0.5-17.12.11

More information

Model Driven Engineering of railway control systems with the openetcs process

Model Driven Engineering of railway control systems with the openetcs process di Base tesi di laurea magistrale Model Driven Engineering of railway control systems with the openetcs process Anno Accademico 2013-2014 relatore Ch.mo Prof. Stefano Russo correlatori Ch.mo Dr. Domenico

More information

Design of UML models and their simulation using ARENA

Design of UML models and their simulation using ARENA Design of UML models and their simulation using ARENA ARTIS TEILANS and ARNIS KLEINS Exigen Services DATI 17a Ganibu Dambis, LV-1045, Riga LATVIA artis.teilans@exigenservices.com arnis.kleins@exigenservices.com

More information

A Knowledge-based Product Derivation Process and some Ideas how to Integrate Product Development

A Knowledge-based Product Derivation Process and some Ideas how to Integrate Product Development A Knowledge-based Product Derivation Process and some Ideas how to Integrate Product Development (Position paper) Lothar Hotz and Andreas Günter HITeC c/o Fachbereich Informatik Universität Hamburg Hamburg,

More information

Reuse and Migration of Legacy Systems to Interoperable Cloud Services

Reuse and Migration of Legacy Systems to Interoperable Cloud Services Reuse and Migration of Legacy Systems to Interoperable Cloud Services REMICS Consortium, Arne Berre 07 June 2011 - Timisoara 1 Project facts REMICS is a STREP accepted in the Objective 1.2 of FP7 Call

More information

Introduction to Generative Software Development

Introduction to Generative Software Development Introduction to Generative Software Development Krzysztof Czarnecki University of Waterloo czarnecki@acm.org www.generative-programming.org Goals What is to be achieved? Basic understanding of Generative

More information

Model-driven Performance Measurement and Assessment with Relational Traces

Model-driven Performance Measurement and Assessment with Relational Traces Fakultät II Informatik, Wirtschafts- und Rechtswissenschaften Department für Informatik Model-driven Performance Measurement and Assessment with Relational Traces Dissertation zur Erlangung des Grades

More information

The Fast Guide to Model Driven Architecture

The Fast Guide to Model Driven Architecture WHITEPAPER The Fast Guide to Model Driven Architecture The Basics of Model Driven Architecture By Frank Truyen frank.truyen@cephas.cc The Fast Guide to Model Driven Architecture The Basics of Model Driven

More information

Developing in the MDA Object Management Group Page 1

Developing in the MDA Object Management Group Page 1 Developing in OMG s New -Driven Architecture Jon Siegel Director, Technology Transfer Object Management Group In this paper, we re going to describe the application development process supported by OMG

More information

Enhanced Model Driven Architecture Software Development Life Cycle with Synchronized and Consistent Mapping

Enhanced Model Driven Architecture Software Development Life Cycle with Synchronized and Consistent Mapping 2011 International Conference on Computer Communication and Management Proc.of CSIT vol.5 (2011) (2011) IACSIT Press, Singapore Enhanced Model Driven Architecture Software Development Life Cycle with Synchronized

More information

Formal Concept Analysis used for object-oriented software modelling Wolfgang Hesse FB Mathematik und Informatik, Univ. Marburg

Formal Concept Analysis used for object-oriented software modelling Wolfgang Hesse FB Mathematik und Informatik, Univ. Marburg FCA-SE 10 Formal Concept Analysis used for object-oriented software modelling Wolfgang Hesse FB Mathematik und Informatik, Univ. Marburg FCA-SE 20 Contents 1 The role of concepts in software development

More information

Chapter 8 The Enhanced Entity- Relationship (EER) Model

Chapter 8 The Enhanced Entity- Relationship (EER) Model Chapter 8 The Enhanced Entity- Relationship (EER) Model Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 8 Outline Subclasses, Superclasses, and Inheritance Specialization

More information

MDA Overview OMG. Enterprise Architect UML 2 Case Tool by Sparx Systems http://www.sparxsystems.com. by Sparx Systems

MDA Overview OMG. Enterprise Architect UML 2 Case Tool by Sparx Systems http://www.sparxsystems.com. by Sparx Systems OMG MDA Overview by Sparx Systems All material Sparx Systems 2007 Sparx Systems 2007 Page:1 Trademarks Object Management Group, OMG, CORBA, Model Driven Architecture, MDA, Unified Modeling Language, UML,

More information

Questions? Assignment. Techniques for Gathering Requirements. Gathering and Analysing Requirements

Questions? Assignment. Techniques for Gathering Requirements. Gathering and Analysing Requirements Questions? Assignment Why is proper project management important? What is goal of domain analysis? What is the difference between functional and non- functional requirements? Why is it important for requirements

More information