Metamodeling for Business Model Design

Size: px
Start display at page:

Download "Metamodeling for Business Model Design"

Transcription

1 Metamodeling for Business Model Design Facilitating development and communication of Business Model Canvas (BMC) models with an OMG standards-based metamodel. Hilmar Hauksson 1 and Paul Johannesson 2 1 KTH Royal Institute of Technology, Stockholm,Sweden {hilmar@kth.se} 2 Stockholm University, Department of Computer and Systems Sciences, Sweden {pajo@dsv.su.se} Abstract: The Business Model Canvas (BMC) is a popular business modeling approach providing a highlevel, semi-formal approach to create and communicate business models. While this approach is easy to use, the informality and high-level approach can cause some ambiguity and has limited computer-aided support available. This paper proposes a metamodel for BMC and implements it in an OMG standards-based modeling tool to provide tool support for BMC modeling. The BMC metamodel and its implementation and use are demonstrated and a brief evaluation is presented and discussed. The creation of a BMC metamodel exposed some ambiguity in the definition and use of the BMC and the importance of graphical presentation and flexibility in the tools used. The evaluation suggests that the proposed BMC metamodel and tool support do facilitate the development and communication of BMC models by improving the encapsulation and communication of information in a standardized way. Keywords: Business Model Canvas BMC Metamodel Business Model UML RSA MetaModelAgent BMO OMG 1 Introduction While the increase of interest for business models and business modeling in recent years is clear, the definition of the business model concept and its modeling approach is not [1]. The lack of clear definitions can potentially lead to confusion and limitations on the research progress and development of business models [1]. The creation of the Business Model Ontology (BMO) by Osterwalder [2] is a well-known and established effort to define the business model concept based on analysis of existing business models literature [3]. Formalizing business models can provide a conceptual foundation for developing new methods and tools to facilitate the creation and communication of business models [2] [4]. Osterwalder and Pigneur [5] defined the Business Model Canvas (BMC) which is a high-level and semiformal modeling approach for creating business models. The BMC is a visual presentation of a business model and is based on the nine building blocks of the Business Model Ontology. The BMC is like a painter s canvas with the 9 boxes pre-formatted with the 9 building blocks [5]. See figure 1. While the BMC modeling approach can be used with a great level of freedom which is especially important in early modelling stages, it lacks computer-aided tool support [5] which could help with improving the level of details, specificity and consistency of the model when interpreting or communicating the resulting BMC models [6]. Formalizing business models can provide a conceptual foundation for developing new methods and tools to facilitate the creation and communication of business models. Furthermore a formal tool support may help business modelers by providing consistency checking and help removing ambiguity by providing integrity constraints and other modeling guidelines [4]. The current available computer-aided tools supporting BMC modeling are mainly focused on visual presentation and ease of use by providing functions for drawing and documenting element attributes and associations as well as testing and sharing of models. These tools do not provide full modeling guidance based on BMC in a formalized modeling language, error-checking, or the option to create or export the business model in a format that can be used in OMG standards-based modeling tools. Both modelers and users of BMC models could potentially benefit from more formal tool support for the creation, detailing, verification and communication of BMC models [5]. The communication between business modelers, requirements engineers, software architects and developers can also potentially benefit from a clearer and more formalized representation of BMC in a standardized model-

2 ing language. One approach to facilitate improved modeling options and communication could be the transition of a BMC model to an OMG MDA-based model, based on a metamodel of BMC. To address this, we propose a formal BMC metamodel and implement it in an OMG standards-based modeling environment to provide a computer-aided tool support for BMC modeling which may support transforming a drafted BMC model into a richer and more structured UML-based BMC model in a standardized tool. The BMC metamodel and its implementation is then demonstrated and briefly evaluated. Fig. 1. Business Model Canvas [5] 2 BMC metamodel The proposed BMC metamodel is based on the 9 building blocks of BMC with attributes and relationships as described in the Business Model Generation book [5]. A few attributes and relationships details were added from the BMO definition [2] while our literature review of BMC modeling and metamodels did not add further details. Each BMC building block is represented by a single class in the metamodel to keep it simple and close to the actual BMC model layout while attributes are added within classes where needed to represent different types. Definition of BMC relationships and their multiplicity is vague in the Business Model Generation book [5] and both explicit and implicit indications from the text are used. BMC is based on BMO and the more detailed attributes of sub-elements and inherited attributes in BMO are omitted to keep the BMC metamodel simple and close to the BMC model detail level. The multiplicity of each element in BMO is stated in the BMO definition and all the 9 main elements mapping to BMC elements have multiplicity 1..n except Partnership which has 0..n [2]. This basically means that eight of nine elements in BMC are mandatory according to the underlying BMO definition. Defining relationships in the BMC metamodel exposed some inconsistency in the BMC and BMO definitions. The reviewed literature did not expose any unexpected or new information to add to the proposed metamodel. As a last step the BMC metamodel was reviewed and simplified to increase readability and simplify implementation while minimizing loss of detail. The suggested BMC metamodel is displayed in figure 3 below. To cater for the different attribute values in the metamodel, several enumerations are defined. As an example, the CostStructureClass enumeration is displayed in figure 2 below.

3 Fig. 2. CostStructureClass enumeration After defining the BMC metamodel, the next step is to implement it in a chosen modeling environment to provide tool support for BMC modeling and then demonstrate it and evaluate. Fig. 3. The proposed BMC metamodel 3 Implementation in an OMG standards-based modeling tool The metamodel is implemented by creating a UML Profile based on UML [7]. The BMC UML Profile defines the stereotypes and maps to UML metaclasses to represent the BMC elements. New attributes are defined as tags followed by creation of enumerations. The selection of using a UML Profile fits our modeling environment of choice well, which is IBM s Rational Software Architect (RSA) [8] using an extension from Adocus called MetaModelAgent (MMA) [9]. The MMA extension can support UML modeling by defining modeling guidelines as metamodels in UML for improved consistency and reuse. The MMA parses the guidelines and provides guideline-specific functions to support the modeler. MMA also uses a model analyzer to identify and correct modeling guidelines violations and provides context-sensitive help to the modeler [9]. A MMA metamodel based on the UML Profile is created to utilize the modeling support provided by MMA and a subset of the implemented MMA metamodel is shown in figure 5 below. The remaining BMC elements and their associations are added with attributes and details. Each BMC element is represented by a stereotyped class with attributes, rules and documentation to use as guidelines during the creation of the BMC model. The type is set for each attribute and most of them are defined by enumerations. The attributes can be given default values as shown for the Reasoning attribute in the ValueProposition stereotyped class shown in figure 4 below.

4 Fig. 4. ValueProposition stereotyped class Fig. 5. A subset of the implemented MMA metamodel. Now that the BMC metamodel is implemented, the next step is to demonstrate and evaluate how this implementation works as tool support for BMC modeling. 4 Demonstration and Evaluation To demonstrate and briefly evaluate how the artifacts work, a selected BMC model is used as input to re-create it in RSA with support from the metamodel and the MMA extension. The selected model is a BMC model for Skype, taken from the Business Model Generation book [5]. The process of using the metamodel and the outcome of the demonstration are explained by using screenshots and explanatory text to clarify the functions of the artifacts. The MMA provides a wizard which is used to create the Skype BMC model in RSA using the underlying BMC metamodel and prompts the user to create all classes and elements needed for a correct BMC metamodel. Example of how a new CostStructure class element is created is displayed in figure 6 below.

5 Fig. 6. Creating a new Cost Structure in the MetaModelAgent wizard The MMA wizard continues to suggest and prompt for mandatory elements until they have all been created and thus supports creation of a full and consistent BMC model. The MMA contains a Problems list which identifies and displays any problems in the created BMC model against the metamodel and can suggest actions to correct the problems and thereby support a fuller BMC model creation. Part of a MMA Problem list is displayed in figure 7 below. Fig. 7. Part of the MetaModelAgent Problem list. The MMA metamodel wizard will also identify any excessive or undefined items in the BMC model which do not comply with the BMC metamodel. After creating the Skype BMC model and addressing the errors or warnings listed, the BMC model is saved as a model project and a UML Class Diagram can be generated to visualize the results if needed. The demonstration shows that this solution introduces some limitations for the user when creating a BMC model. By assisting the user with requiring mandatory instances, associations and attributes, the metamodel does at the same time tie the hands of the user to certain extent. E.g. in the mandatory attributes and pre-defined values in the enumerations which may not always fully fit the user s model. To accommodate this, the metamodel could add new values to cover all other options or change from mandatory to recommended attributes types. Creation of a visual presentation of the BMC model is a bit cumbersome and the resulting class diagram needs some manual work to be structured in a readable format. The evaluation analyses both how the artifacts fulfill the pre-defined requirements and to what extent the solution contributes to supporting BMC modeling. The brief evaluation shows that all pre-defined requirements were met and this work contributes by supporting BMC modeling through the new computer-aided support. The RSA project containing the BMC metamodel and the demo is available on request from the authors.

6 5 Conclusion and Discussion Based on the performed evaluation the proposed computer-based and metamodel-based BMC modeling approach facilitates development and communication of BMC business models by improving the encapsulation and communication of the information in a BMC model and moves from a free-form canvas to a UML-based model with formal structure in a consistent way. The metamodel-based tool supports the detailing of a BMC model by suggesting and explaining all facets of the BMC model definition in a consistent and controllable way and can assist BMC modelers wishing to get support in formalizing and detailing their BMC models and creating a standardized UML-based BMC model at the same time. The evaluation also highlighted the importance of a clear and intuitive graphical interface to work with BMC models. The BMC canvas is very graphical, easy to use and automatically gives a clear overview of the model. The graphical presentation of the artifacts presented here is a limitation on the use where it supports transforming a drafted BMC model into a richer, more structured UML-based BMC model in a standardized modeling tool. The freedom and ease of use of the BMC canvas would be useful to replicate in the artifacts presented here to make them more useful and approachable to end users. At the same time the freedom in using the canvas results in some ambiguity. This is quite clear in the way relationships can be defined in the model. The resulting artifacts were created with a balance in mind between the freedom and free form of BMC and the benefits of more control and supportive structure. This was bound to result in some limitations in the metamodel itself where the relationships between elements are limited somewhat and the attributes and attribute values as well. Ideas for future research in this area include developing a graphical user interface to use with the underlying functionality presented in this study for the general public. Further analysis and evaluation with case studies and involvement of more BMC modeling experts and end-users would be needed to better understand how this structured approach and support works in a real-life environment. Using formalized BMC models to create software simulations of business models could be interesting to test e.g. feasibility. The creation of more detailed metamodel including layers to capture different views of the same business being modeled or adding further flexibility into the underlying support would also be interesting to better understand if it could broaden the use of this type of BMC modeling approach.

7 References 1. Zott, C., Amit, R. & Massa, L., The business model: recent developments and future research. Journal of Management, 37(4), pp Osterwalder, A., The Business Model Ontology - a Proposition in a Design Science Approach. PhD Thesis, Lausanne: University of Lausanne. 3. Andersson, B. et al., Towards a reference ontology for business models. In: Conceptual Modeling- ER2006. Berlin Heidelberg: Springer, pp Osterwalder, A., Parent, C. & Pigneur, Y., Setting up an ontology of business models. Riga, CAiSE Workshops (3) Riga Technical University. 5. Osterwalder, A. & Pigneur, Y., Business Model Generation. 1st Ed. New Jersey: John Wiley & Sons. 6. Osterwalder, A., Pigneur, Y. & Tucci, C. L., Clarifying Business Models: Origins, Present, and Future of the Concept. Communications of the Association for Information Systems, 16(1), pp OMG, OMG Unified Modeling Language (OMG UML), Infrastructure. [Online] Available at: [Accessed 31 December 2013]. 8. IBM, Rational Software Architect. [Online]. Available at: [Accessed 31 December 2013]. 9. Adocus, MetaModelAgent. [Online]. Available at: [Accessed 31 December 2013].

Spemmet - A Tool for Modeling Software Processes with SPEM

Spemmet - A Tool for Modeling Software Processes with SPEM Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes

More information

Verification and Correction of UML Models

Verification and Correction of UML Models White paper Verification and Correction of UML Models Modeling is a complex process which is quite hard to do in a structured and controlled way. Many companies provide a set of guidelines for model structure,

More information

METAMODEL OF A SERVICE-ORIENTED BUSINESS

METAMODEL OF A SERVICE-ORIENTED BUSINESS THE INTERNET AND DEVELOPMENT PERSPECTIVES METAMODEL OF A SERVICE-ORIENTED BUSINESS Milosav Majstorović 1, Dušan Regodić 2, Gojko Grubor 3 1 Information Technology School, Belgrade, Serbia 2 Singidunum

More information

TUML: A Method for Modelling Temporal Information Systems

TUML: A Method for Modelling Temporal Information Systems TUML: A Method for Modelling Temporal Information Systems 2 Marianthi Svinterikou 1, Babis Theodoulidis 2 1 Intrasoft, GIS Department, Adrianiou 2, 11525 Athens, Greece MSSvin@tee.gr UMIST, Department

More information

Extension and integration of i* models with ontologies

Extension and integration of i* models with ontologies Extension and integration of i* models with ontologies Blanca Vazquez 1,2, Hugo Estrada 1, Alicia Martinez 2, Mirko Morandini 3, and Anna Perini 3 1 Fund Information and Documentation for the industry

More information

An Ontological Analysis of Metamodeling Languages

An Ontological Analysis of Metamodeling Languages An Ontological Analysis of Metamodeling Languages Erki Eessaar and Rünno Sgirka 2 Department of Informatics, Tallinn University of Technology, Estonia, eessaar@staff.ttu.ee 2 Department of Informatics,

More information

Meta-Model Guided Error Correction for UML Models

Meta-Model Guided Error Correction for UML Models Final Thesis Meta-Model Guided Error Correction for UML Models by Fredrik Bäckström and Anders Ivarsson LITH-IDA-EX--06/079--SE 2006-12-13 Final Thesis Meta-Model Guided Error Correction for UML Models

More information

Rich Hilliard 20 February 2011

Rich Hilliard 20 February 2011 Metamodels in 42010 Executive summary: The purpose of this note is to investigate the use of metamodels in IEEE 1471 ISO/IEC 42010. In the present draft, metamodels serve two roles: (1) to describe the

More information

Existing Model Metrics and Relations to Model Quality

Existing Model Metrics and Relations to Model Quality Existing Model Metrics and Relations to Model Quality Parastoo Mohagheghi, Vegard Dehlen WoSQ 09 ICT 1 Background In SINTEF ICT, we do research on Model-Driven Engineering and develop methods and tools:

More information

INTRODUCING A MULTIVIEW SOFTWARE ARCHITECTURE PROCESS BY EXAMPLE Ahmad K heir 1, Hala Naja 1 and Mourad Oussalah 2

INTRODUCING A MULTIVIEW SOFTWARE ARCHITECTURE PROCESS BY EXAMPLE Ahmad K heir 1, Hala Naja 1 and Mourad Oussalah 2 INTRODUCING A MULTIVIEW SOFTWARE ARCHITECTURE PROCESS BY EXAMPLE Ahmad K heir 1, Hala Naja 1 and Mourad Oussalah 2 1 Faculty of Sciences, Lebanese University 2 LINA Laboratory, University of Nantes ABSTRACT:

More information

2 nd UML 2 Semantics Symposium: Formal Semantics for UML

2 nd UML 2 Semantics Symposium: Formal Semantics for UML 2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany

More information

Guiding System Modelers in Multi View Environments: A Domain Engineering Approach

Guiding System Modelers in Multi View Environments: A Domain Engineering Approach Guiding System Modelers in Multi View Environments: A Domain Engineering Approach Arnon Sturm Department of Information Systems Engineering Ben-Gurion University of the Negev, Beer Sheva 84105, Israel

More information

Reverse Engineering Process for Extracting Views from Domain Ontology

Reverse Engineering Process for Extracting Views from Domain Ontology Reverse Engineering Process for Extracting Views from Domain Ontology Soraya Setti Ahmed 1 and Sidi Mohamed Benslimane 2 1 Mascara University, Computer Science Department, Algeria {settisoraya@yahoo.fr}

More information

CHAPTER 1. Topic: UML Overview. CHAPTER 1: Topic 1. Topic: UML Overview

CHAPTER 1. Topic: UML Overview. CHAPTER 1: Topic 1. Topic: UML Overview CHAPTER 1 Topic: UML Overview After studying this Chapter, students should be able to: Describe the goals of UML. Analyze the History of UML. Evaluate the use of UML in an area of interest. CHAPTER 1:

More information

Static Safety Analysis of UML Action Semantics for Critical Systems Development

Static Safety Analysis of UML Action Semantics for Critical Systems Development Static Safety Analysis of UML Action Semantics for Critical Systems Development Zsigmond Pap, Dániel Varró Dept. of Measurement and Information Systems Budapest University of Technology and Economics H-1521

More information

Models versus Ontologies - What's the Difference and where does it Matter?

Models versus Ontologies - What's the Difference and where does it Matter? Models versus Ontologies - What's the Difference and where does it Matter? Colin Atkinson University of Mannheim Presentation for University of Birmingham April 19th 2007 1 Brief History Ontologies originated

More information

Development of a formal REA-ontology Representation

Development of a formal REA-ontology Representation Development of a formal REA-ontology Representation Frederik Gailly 1, Geert Poels Ghent University Hoveniersberg 24, 9000 Gent Frederik.Gailly@Ugent.Be, Geert.Poels@Ugent.Be Abstract. Business domain

More information

A Method for Data Minimization in Personal Information Sharing

A Method for Data Minimization in Personal Information Sharing A Method for Data Minimization in Personal Information Sharing Prima Gustiene and Remigijus Gustas Department of Information Systems, Karlstad University, Sweden {Prima.Gustiene, Remigijus.Gustas}@kau.se

More information

Generation Rules in POMA Architecture

Generation Rules in POMA Architecture J. Software Engineering & Applications, 2010, 3, 1040-1046 doi:10.4236/jsea.2010.311122 Published Online November 2010 (http://www.scirp.org/journal/jsea) Mohamed Taleb 1, Ahmed Seffah 2, Alain Abran 1

More information

Business Activity. predecessor Activity Description. from * successor * to. Performer is performer has attribute.

Business Activity. predecessor Activity Description. from * successor * to. Performer is performer has attribute. Editor Definition Language and Its Implementation Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, and Janis Barzdins Institute of Mathematics and Computer Science, University of Latvia Raina

More information

Practical Model-Driven Development with the IBM Software Development Platform

Practical Model-Driven Development with the IBM Software Development Platform IBM Software Group Practical Model-Driven Development with the IBM Software Development Platform Osmond Ng (ong@hk1.ibm.com) Technical Consultant, IBM HK SWG 2005 IBM Corporation Overview The Challenges

More information

1.1 Jadex - Engineering Goal-Oriented Agents

1.1 Jadex - Engineering Goal-Oriented Agents 1.1 Jadex - Engineering Goal-Oriented Agents In previous sections of the book agents have been considered as software artifacts that differ from objects mainly in their capability to autonomously execute

More information

Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1

Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Dhirubhai Ambani Institute for Information and Communication Technology, Gandhinagar, Gujarat, India Email:

More information

BLU AGE 2009 Edition Agile Model Transformation

BLU AGE 2009 Edition Agile Model Transformation BLU AGE 2009 Edition Agile Model Transformation Model Driven Modernization for Legacy Systems 1 2009 NETFECTIVE TECHNOLOGY -ne peut être copiésans BLU AGE Agile Model Transformation Agenda Model transformation

More information

Object Oriented Model of Objectory Process

Object Oriented Model of Objectory Process Object Oriented Model of Objectory Process Characteristics of Original Process The original Objectory Process version 4.0 (demo version, Rational, 1997) is complex, but it is made more manageable by viewing

More information

Designing a System Engineering Environment in a structured way

Designing a System Engineering Environment in a structured way Designing a System Engineering Environment in a structured way Anna Todino Ivo Viglietti Bruno Tranchero Leonardo-Finmeccanica Aircraft Division Torino, Italy Copyright held by the authors. Rubén de Juan

More information

ETSI ETR 046 TECHNICAL July 1992 REPORT

ETSI ETR 046 TECHNICAL July 1992 REPORT ETSI ETR 046 TECHNICAL July 1992 REPORT Source: ETSI TC-NA Reference: DTR/NA-43303 ICS: 33.080 Key words: TMN, modelling Network Aspects (NA); Telecommunications management networks modelling guidelines

More information

JOURNAL OF OBJECT TECHNOLOGY

JOURNAL OF OBJECT TECHNOLOGY JOURNAL OF OBJECT TECHNOLOGY Online at http://www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2004 Vol. 3, No. 7, July-August 2004 UML 2 Activity and Action Models Part 5: Partitions

More information

UML Profiles Radovan Cervenka

UML Profiles Radovan Cervenka Unified Modeling Language UML Profiles Radovan Cervenka UML Profiles The mechanisms that allow metaclasses from existing metamodels to be extended to adapt them for different purposes, e.g., to tailor

More information

QoS-aware model-driven SOA using SoaML

QoS-aware model-driven SOA using SoaML QoS-aware model-driven SOA using SoaML Niels Schot A thesis submitted for the degree of MSc Computer Science University of Twente EEMCS - TRESE: Software Engineering Group Examination committee: Luís Ferreira

More information

Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA

Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA Oksana Nikiforova and Natalja Pavlova Department of Applied Computer Science, Riga Technical University,

More information

MDA. SOA = Model Driven SOA

MDA. SOA = Model Driven SOA Introducing Model Driven SOA MDA + SOA = Model Driven SOA SoaML an Emerging Standard for SOA Modeling Dr. Darius Silingas Principal Trainer/Consultant darius.silingas@nomagic.com Introduction Who Am I?

More information

A Formal V&V Framework for UML Models Based on Model Transformation Techniques

A Formal V&V Framework for UML Models Based on Model Transformation Techniques A Formal V&V Framework for UML Models Based on Model Transformation Techniques Soon-Kyeong Kim and David Carrington Information Technology and Electrical Engineering The University of Queensland, St. Lucia,

More information

IDERA ER/Studio Software Architect Evaluation Guide. Version 16.5/2016+ Published February 2017

IDERA ER/Studio Software Architect Evaluation Guide. Version 16.5/2016+ Published February 2017 IDERA ER/Studio Software Architect Evaluation Guide Version 16.5/2016+ Published February 2017 2017 IDERA, Inc. All rights reserved. IDERA and the IDERA logo are trademarks or registered trademarks of

More information

A component-centric UML based approach for modeling the architecture of web applications.

A component-centric UML based approach for modeling the architecture of web applications. International Journal of Recent Research and Review, Vol. V, March 2013 ISSN 2277 8322 A component-centric UML based approach for modeling the architecture of web applications. Mukesh Kataria 1 1 Affiliated

More information

Comparative Analysis of Architectural Views Based on UML

Comparative Analysis of Architectural Views Based on UML Electronic Notes in Theoretical Computer Science 65 No. 4 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 12 pages Comparative Analysis of Architectural Views Based on UML Lyrene Fernandes

More information

!MDA$based*Teaching*and* Research*in*Software*Engineering*!

!MDA$based*Teaching*and* Research*in*Software*Engineering*! Plan!MDA$based*Teaching*and* Research*in*Software*Engineering*! Ludwik!Kuźniarz! Blekinge*Institute*of*Technology* School*of*Computing* Sweden*! Myself! Driven Architecture! MDA based Reaserch! Sample

More information

Transforming Enterprise Ontologies into SBVR formalizations

Transforming Enterprise Ontologies into SBVR formalizations Transforming Enterprise Ontologies into SBVR formalizations Frederik Gailly Faculty of Economics and Business Administration Ghent University Frederik.Gailly@ugent.be Abstract In 2007 the Object Management

More information

PPOOA, An Architectural Style for Real Time Systems

PPOOA, An Architectural Style for Real Time Systems PPOOA, An Architectural Style for Real Time Systems José Luis Fernández Sánchez Industrial Engineering School Universidad Politécnica de Madrid e-mail: fernandezjl@acm.org September 2004 PPOOA-WP-01_2004.pdf

More information

A Model-Based Development Method for Device Drivers

A Model-Based Development Method for Device Drivers A Model-Based Development Method for Device Drivers Michael Kersten Siemens AG Otto-Hahn-Ring 6 D-81739 München Ulrich Margull 1 mal 1 Software GmbH Maxstr. 31 D-90762 Fürth Nikolaus Regnat Siemens AG

More information

Software Architecture

Software Architecture Software Architecture Benjamin Satzger Distributed Systems Group TU Wien http://www.infosys.tuwien.ac.at/staff/ bsatzger Models Terms Unified Modeling Language (UML) Architecture Description Language (ADL)

More information

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE UDC:681.324 Review paper METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE Alma Butkovi Tomac Nagravision Kudelski group, Cheseaux / Lausanne alma.butkovictomac@nagra.com Dražen Tomac Cambridge Technology

More information

First Steps Towards Conceptual Schema Testing

First Steps Towards Conceptual Schema Testing First Steps Towards Conceptual Schema Testing Albert Tort and Antoni Olivé Universitat Politècnica de Catalunya {atort,olive}@lsi.upc.edu Abstract. Like any software artifact, conceptual schemas of information

More information

Generic and Domain Specific Ontology Collaboration Analysis

Generic and Domain Specific Ontology Collaboration Analysis Generic and Domain Specific Ontology Collaboration Analysis Frantisek Hunka, Steven J.H. van Kervel 2, Jiri Matula University of Ostrava, Ostrava, Czech Republic, {frantisek.hunka, jiri.matula}@osu.cz

More information

Domain-Driven Development with Ontologies and Aspects

Domain-Driven Development with Ontologies and Aspects Domain-Driven Development with Ontologies and Aspects Submitted for Domain-Specific Modeling workshop at OOPSLA 2005 Latest version of this paper can be downloaded from http://phruby.com Pavel Hruby Microsoft

More information

Model Driven Ontology: A New Methodology for Ontology Development

Model Driven Ontology: A New Methodology for Ontology Development Model Driven Ontology: A New Methodology for Ontology Development Mohamed Keshk Sally Chambless Raytheon Company Largo, Florida Mohamed.Keshk@raytheon.com Sally.Chambless@raytheon.com Abstract Semantic

More information

An Ontology-Based Methodology for Integrating i* Variants

An Ontology-Based Methodology for Integrating i* Variants An Ontology-Based Methodology for Integrating i* Variants Karen Najera 1,2, Alicia Martinez 2, Anna Perini 3, and Hugo Estrada 1,2 1 Fund of Information and Documentation for the Industry, Mexico D.F,

More information

CISC836: Models in Software Development: Methods, Techniques and Tools

CISC836: Models in Software Development: Methods, Techniques and Tools CISC836: Models in Software Development: Methods, Techniques and Tools Topic 4: Code Generation with EMF Meta modeling Languages for meta models: Ecore Using EMF and Ecoreto define a data model Using EMF

More information

Annotation for the Semantic Web During Website Development

Annotation for the Semantic Web During Website Development Annotation for the Semantic Web During Website Development Peter Plessers and Olga De Troyer Vrije Universiteit Brussel, Department of Computer Science, WISE, Pleinlaan 2, 1050 Brussel, Belgium {Peter.Plessers,

More information

Ontology-based Architecture Documentation Approach

Ontology-based Architecture Documentation Approach 4 Ontology-based Architecture Documentation Approach In this chapter we investigate how an ontology can be used for retrieving AK from SA documentation (RQ2). We first give background information on the

More information

Using the UML for Architectural Description Rich Hilliard

Using the UML for Architectural Description Rich Hilliard Using the UML for Architectural Description Rich Hilliard rh@isis2000.com Outline What is IEEE P1471? The IEEE P1471 Conceptual Framework Requirements on Architectural Descriptions Using the UML in the

More information

Pattern-Based Architectural Design Process Model

Pattern-Based Architectural Design Process Model Pattern-Based Architectural Design Process Model N. Lévy, F. Losavio Abstract: The identification of quality requirements is crucial to develop modern software systems, especially when their underlying

More information

Refinement and Formalization of Semi-Formal Use Case Descriptions

Refinement and Formalization of Semi-Formal Use Case Descriptions Refinement and Formalization of Semi-Formal Use Case Descriptions Matthias Riebisch, Michael Hübner Ilmenau Technical University Max-Planck-Ring 14; 98684 Ilmenau; Germany {matthias.riebisch michael.huebner}@tu-ilmenau.de

More information

UML PROFILING AND DSL

UML PROFILING AND DSL UML PROFILING AND DSL version 17.0.1 user guide No Magic, Inc. 2011 All material contained herein is considered proprietary information owned by No Magic, Inc. and is not to be shared, copied, or reproduced

More information

Designing and documenting the behavior of software

Designing and documenting the behavior of software Chapter 8 Designing and documenting the behavior of software Authors: Gürcan Güleşir, Lodewijk Bergmans, Mehmet Akşit Abstract The development and maintenance of today s software systems is an increasingly

More information

A Method for Conceptual Modeling of Semantically Integrated Use-case Scenarios

A Method for Conceptual Modeling of Semantically Integrated Use-case Scenarios A Method for Conceptual Modeling of Semantically Integrated Use-case Scenarios Remigijus Gustas and Prima Gustiene Department of Information Systems, Karlstad University, Sweden {Remigijus.Gustas, Prima.Gustiene}@kau.se

More information

User Experience Report: Heuristic Evaluation

User Experience Report: Heuristic Evaluation User Experience Report: Heuristic Evaluation 1 User Experience Report: Heuristic Evaluation Created by Peter Blair for partial fulfillment of the requirements for MichiganX: UX503x Principles of Designing

More information

Chapter 1: Programming Principles

Chapter 1: Programming Principles Chapter 1: Programming Principles Object Oriented Analysis and Design Abstraction and information hiding Object oriented programming principles Unified Modeling Language Software life-cycle models Key

More information

Tracing the Formalization Steps of Textual Guidelines

Tracing the Formalization Steps of Textual Guidelines Tracing the Formalization Steps of Textual Guidelines Peter VOTRUBA 1, Silvia MIKSCH 1, Andreas SEYFANG 1, Robert KOSARA 2 1 Asgaard-Group - Institute of Software Technology & Interactive Systems, Vienna

More information

It Is What It Does: The Pragmatics of Ontology for Knowledge Sharing

It Is What It Does: The Pragmatics of Ontology for Knowledge Sharing It Is What It Does: The Pragmatics of Ontology for Knowledge Sharing Tom Gruber Founder and CTO, Intraspect Software Formerly at Stanford University tomgruber.org What is this talk about? What are ontologies?

More information

Security Issues Formalization

Security Issues Formalization Security Issues Formalization V. T. Dimitrov University of Sofia, Faculty of Mathematics and Informatics, 5 James Bourchier Blvd, 1164, Sofia, Bulgaria E-mail: cht@fmi.uni-sofia.bg Software bugs are primary

More information

Knowledge-based authoring tools (KBATs) for graphics in documents

Knowledge-based authoring tools (KBATs) for graphics in documents Knowledge-based authoring tools (KBATs) for graphics in documents Robert P. Futrelle Biological Knowledge Laboratory College of Computer Science 161 Cullinane Hall Northeastern University Boston, MA 02115

More information

OCL Support in MOF Repositories

OCL Support in MOF Repositories OCL Support in MOF Repositories Joachim Hoessler, Michael Soden Department of Computer Science Technical University Berlin hoessler@cs.tu-berlin.de, soden@cs.tu-berlin.de Abstract From metamodels that

More information

A UML SIMULATOR BASED ON A GENERIC MODEL EXECUTION ENGINE

A UML SIMULATOR BASED ON A GENERIC MODEL EXECUTION ENGINE A UML SIMULATOR BASED ON A GENERIC MODEL EXECUTION ENGINE Andrei Kirshin, Dany Moshkovich, Alan Hartman IBM Haifa Research Lab Mount Carmel, Haifa 31905, Israel E-mail: {kirshin, mdany, hartman}@il.ibm.com

More information

An UML-XML-RDB Model Mapping Solution for Facilitating Information Standardization and Sharing in Construction Industry

An UML-XML-RDB Model Mapping Solution for Facilitating Information Standardization and Sharing in Construction Industry An UML-XML-RDB Model Mapping Solution for Facilitating Information Standardization and Sharing in Construction Industry I-Chen Wu 1 and Shang-Hsien Hsieh 2 Department of Civil Engineering, National Taiwan

More information

On Traceability of Informal Specifications for Model-Based Verification

On Traceability of Informal Specifications for Model-Based Verification On Traceability of Informal Specifications for Model-Based Verification Marco Filax, Tim Gonschorek, Michael Lipaczewski, and Frank Ortmeier Chair of Software Engineering, Otto-von-Guericke University

More information

Chapter 1: Principles of Programming and Software Engineering

Chapter 1: Principles of Programming and Software Engineering Chapter 1: Principles of Programming and Software Engineering Data Abstraction & Problem Solving with C++ Fifth Edition by Frank M. Carrano Software Engineering and Object-Oriented Design Coding without

More information

VISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems

VISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems VISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems Jan Polowinski Martin Voigt Technische Universität DresdenTechnische Universität Dresden 01062 Dresden, Germany

More information

10 Steps to Building an Architecture for Space Surveillance Projects. Eric A. Barnhart, M.S.

10 Steps to Building an Architecture for Space Surveillance Projects. Eric A. Barnhart, M.S. 10 Steps to Building an Architecture for Space Surveillance Projects Eric A. Barnhart, M.S. Eric.Barnhart@harris.com Howard D. Gans, Ph.D. Howard.Gans@harris.com Harris Corporation, Space and Intelligence

More information

Train control language teaching computers interlocking

Train control language teaching computers interlocking Computers in Railways XI 651 Train control language teaching computers interlocking J. Endresen 1, E. Carlson 1, T. Moen 1, K. J. Alme 1, Ø. Haugen 2, G. K. Olsen 2 & A. Svendsen 2 1 ABB, Bergensveien

More information

Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique

Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique Minal Bhise DAIICT, Gandhinagar, Gujarat, India 382007 minal_bhise@daiict.ac.in Abstract. The semantic web offers

More information

Software Language Engineering of Architectural Viewpoints

Software Language Engineering of Architectural Viewpoints Software Language Engineering of Architectural Viewpoints Elif Demirli and Bedir Tekinerdogan Department of Computer Engineering, Bilkent University, Ankara 06800, Turkey {demirli,bedir}@cs.bilkent.edu.tr

More information

Introduction to the Generic Eclipse Modeling System by Jules White

Introduction to the Generic Eclipse Modeling System by Jules White TO BE FILLED IN BY THE EDITOR Heading: Introduction to the Generic Eclipse Modeling System 2.0.5 Subheading: Using GEMS for Developing Graphical Modeling Tools for Eclipse Standfirst: Graphical Model-Driven

More information

Towards the integration of security patterns in UML Component-based Applications

Towards the integration of security patterns in UML Component-based Applications Towards the integration of security patterns in UML Component-based Applications Anas Motii 1, Brahim Hamid 2, Agnès Lanusse 1, Jean-Michel Bruel 2 1 CEA, LIST, Laboratory of Model Driven Engineering for

More information

Unified Modeling Language (UML)

Unified Modeling Language (UML) Unified Modeling Language (UML) Troy Mockenhaupt Chi-Hang ( Alex) Lin Pejman ( PJ ) Yedidsion Overview Definition History Behavior Diagrams Interaction Diagrams Structural Diagrams Tools Effect on Software

More information

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM): viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information

More information

Transforming Transaction Models into ArchiMate

Transforming Transaction Models into ArchiMate Transforming Transaction Models into ArchiMate Sybren de Kinderen 1, Khaled Gaaloul 1, and H.A. (Erik) Proper 1,2 1 CRP Henri Tudor L-1855 Luxembourg-Kirchberg, Luxembourg sybren.dekinderen, khaled.gaaloul,

More information

Adding Usability to Web Engineering Models and Tools

Adding Usability to Web Engineering Models and Tools Adding Usability to Web Engineering Models and Tools Richard Atterer 1 and Albrecht Schmidt 2 1 Media Informatics Group Ludwig-Maximilians-University Munich, Germany richard.atterer@ifi.lmu.de 2 Embedded

More information

challenges in domain-specific modeling raphaël mannadiar august 27, 2009

challenges in domain-specific modeling raphaël mannadiar august 27, 2009 challenges in domain-specific modeling raphaël mannadiar august 27, 2009 raphaël mannadiar challenges in domain-specific modeling 1/59 outline 1 introduction 2 approaches 3 debugging and simulation 4 differencing

More information

Available online at ScienceDirect. Procedia Computer Science 56 (2015 )

Available online at  ScienceDirect. Procedia Computer Science 56 (2015 ) Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 56 (2015 ) 612 617 International Workshop on the Use of Formal Methods in Future Communication Networks (UFMFCN 2015) A

More information

Participatory Quality Management of Ontologies in Enterprise Modelling

Participatory Quality Management of Ontologies in Enterprise Modelling Participatory Quality Management of Ontologies in Enterprise Modelling Nadejda Alkhaldi Mathematics, Operational research, Statistics and Information systems group Vrije Universiteit Brussel, Brussels,

More information

Slides for courses based on the textbook

Slides for courses based on the textbook Slides for courses based on the textbook 1 Author: Professor Nigel Cross Publisher: John Wiley & Sons Ltd., 2008 (4th edition) ISBN: 978-0-470-51926-4 2 Contents Part One: Understanding Design 1 The Nature

More information

A System of Patterns for Web Navigation

A System of Patterns for Web Navigation A System of Patterns for Web Navigation Mohammed Abul Khayes Akanda and Daniel M. German Department of Computer Science, University of Victoria, Canada maka@alumni.uvic.ca, dmgerman@uvic.ca Abstract. In

More information

Dresden OCL2 in MOFLON

Dresden OCL2 in MOFLON Dresden OCL2 in MOFLON 10 Jahre Dresden-OCL Workshop Felix Klar Felix.Klar@es.tu-darmstadt.de ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology

More information

An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs)

An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs) An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs) Rosziati Ibrahim, Siow Yen Yen Abstract System development life cycle (SDLC) is a process uses during the development of any

More information

Introduction to Modeling

Introduction to Modeling Introduction to Modeling Software Architecture Lecture 9 Copyright Richard N. Taylor, Nenad Medvidovic, and Eric M. Dashofy. All rights reserved. Objectives Concepts What is modeling? How do we choose

More information

Science of Computer Programming. Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

Science of Computer Programming. Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach Science of Computer Programming 75 (2010) 689 725 Contents lists available at ScienceDirect Science of Computer Programming journal homepage: www.elsevier.com/locate/scico Aspect-oriented model-driven

More information

The Business Model Canvas

The Business Model Canvas Tutorial 1 of Class SEEM3450 The Business Model Canvas WANG Huimin hmwang@se.cuhk.edu.hk Business Model A business model describes the underlying reasons of how an organization creates, deliv ers, and

More information

USING TRANSFORMATIONS TO INTEGRATE TASK MODELS IN

USING TRANSFORMATIONS TO INTEGRATE TASK MODELS IN USING TRANSFORMATIONS TO INTEGRATE TASK MODELS IN THE UML Position Paper to the WTUML: Workshop on Transformations in UML ETAPS 2001 European Joint Conference on Theory and Practice of Software Nuno Jardim

More information

Available online at ScienceDirect. Procedia Computer Science 96 (2016 )

Available online at  ScienceDirect. Procedia Computer Science 96 (2016 ) Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 96 (2016 ) 946 950 20th International Conference on Knowledge Based and Intelligent Information and Engineering Systems

More information

Log System Based on Software Testing System Design And Implementation

Log System Based on Software Testing System Design And Implementation 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering (ICMMCCE 2015) Log System Based on Software Testing System Design And Implementation Yan Liu1, a, Dahai Jin1,

More information

New Approach to Graph Databases

New Approach to Graph Databases Paper PP05 New Approach to Graph Databases Anna Berg, Capish, Malmö, Sweden Henrik Drews, Capish, Malmö, Sweden Catharina Dahlbo, Capish, Malmö, Sweden ABSTRACT Graph databases have, during the past few

More information

Model Driven Engineering (MDE)

Model Driven Engineering (MDE) Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering

More information

Ontology-based Model Transformation

Ontology-based Model Transformation Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed Systems Institute of Computer Science, University of Augsburg, Germany [roser,bauer]@informatik.uni-augsburg.de

More information

An Operational Semantics for Parallel Execution of Re-entrant PLEX

An Operational Semantics for Parallel Execution of Re-entrant PLEX Licentiate Thesis Proposal An Operational Semantics for Parallel Execution of Re-entrant PLEX Johan Erikson Department of Computer Science and Electronics Mälardalen University,Västerås, SWEDEN johan.erikson@mdh.se

More information

Adaptive Hypermedia Systems Analysis Approach by Means of the GAF Framework

Adaptive Hypermedia Systems Analysis Approach by Means of the GAF Framework Adaptive Hypermedia Systems Analysis Approach by Means of the GAF Framework Evgeny Knutov, Paul De Bra, and Mykola Pechenizkiy Department of Computer Science, Eindhoven University of Technology, P.O. Box

More information

Ingegneria del Software Corso di Laurea in Informatica per il Management. Introduction to UML

Ingegneria del Software Corso di Laurea in Informatica per il Management. Introduction to UML Ingegneria del Software Corso di Laurea in Informatica per il Management Introduction to UML Davide Rossi Dipartimento di Informatica Università di Bologna Modeling A model is an (abstract) representation

More information

Perspectives on User Story Based Visual Transformations

Perspectives on User Story Based Visual Transformations Perspectives on User Story Based Visual Transformations Yves Wautelet 1, Samedi Heng 2, and Manuel Kolp 2 1 KU Leuven, Belgium yves.wautelet@kuleuven.be, 2 LouRIM, Université catholique de Louvain, Belgium

More information

ModelicaML: Getting Started Issue April 2012

ModelicaML: Getting Started Issue April 2012 ModelicaML: Getting Started Issue 1.6.5 13. April 2012 Wladimir Schamai EADS Innovation Works (Hamburg, Germany) Linkoping University (Linkoping, Sweden) Abstract: This document provides a short introduction

More information

On the link between Architectural Description Models and Modelica Analyses Models

On the link between Architectural Description Models and Modelica Analyses Models On the link between Architectural Description Models and Modelica Analyses Models Damien Chapon Guillaume Bouchez Airbus France 316 Route de Bayonne 31060 Toulouse {damien.chapon,guillaume.bouchez}@airbus.com

More information