Improving the Definition of UML
|
|
- Cameron Conley
- 5 years ago
- Views:
Transcription
1 Improving the Definition of UML Greg O Keefe Computer Sciences Laboratory Australian National University
2 Outline The UML definition claims to be
3 Outline The UML definition claims to be precise
4 Outline The UML definition claims to be precise easy to understand
5 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality)
6 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that
7 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that precision and understandability are the right goals
8 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that precision and understandability are the right goals the current definition does not achieve them
9 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that precision and understandability are the right goals the current definition does not achieve them mathematics is
10 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that precision and understandability are the right goals the current definition does not achieve them mathematics is unavoidable for precision
11 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that precision and understandability are the right goals the current definition does not achieve them mathematics is unavoidable for precision compatible with understandability
12 Outline The UML definition claims to be precise easy to understand (because it avoids mathematical formality) I will argue that precision and understandability are the right goals the current definition does not achieve them mathematics is unavoidable for precision compatible with understandability and I will survey some relevant work
13 Criteria for a good definition of UML
14 Criteria for a good definition of UML Criterion 0 it must define UML
15 Criteria for a good definition of UML Criterion 0 it must define UML Criterion 1 it must define UML
16 Criteria for a good definition of UML Criterion 0 it must define UML Criterion 1 it must define UML (5 things to define)
17 Criteria for a good definition of UML Criterion 0 it must define UML Criterion 1 it must define UML type A:Class class :Property ownedend A ex B notational conventions owningassociation :Association association semantics (Σ, ε) B:Class type ownedattribute memberend ex:property concrete syntax abstract sytnax semantic domain
18 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like
19 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability
20 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability refinement between models
21 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability refinement between models transformation soundness
22 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability refinement between models transformation soundness Criterion 3 enables agreement on complex ideas people tools
23 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability refinement between models transformation soundness Criterion 3 enables agreement on complex ideas people tools real agreement requires understanding
24 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability refinement between models transformation soundness Criterion 3 enables agreement on complex ideas people tools real agreement requires understanding of the models
25 Criteria: semantic applications, agreement Criterion 2 automatic checking of semantic properties like model satisfiability refinement between models transformation soundness Criterion 3 enables agreement on complex ideas people tools real agreement requires understanding of the models hence, of the language
26 Criteria: reflection and flexibility Criterion 4 reflective
27 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S
28 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S each model contains its metamodel: instanceof :C C i instanceoftype i c C
29 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S each model contains its metamodel: c Criterion 5 flexible, to cater for instanceof :C C i instanceoftype i C
30 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S each model contains its metamodel: instanceof :C C i instanceoftype i c Criterion 5 flexible, to cater for semantic variation points C
31 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S each model contains its metamodel: instanceof :C C i instanceoftype i c Criterion 5 flexible, to cater for semantic variation points profiles C
32 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S each model contains its metamodel: instanceof :C C i instanceoftype i c Criterion 5 flexible, to cater for semantic variation points profiles DSL s interoperable with UML C
33 Criteria: reflection and flexibility Criterion 4 reflective language in semantic domain: L = mm S each model contains its metamodel: instanceof :C C i instanceoftype i c Criterion 5 flexible, to cater for semantic variation points profiles DSL s interoperable with UML later versions of UML C
34 Criteria Summary We want a precise, yet understandable definition of UML.
35 Evaluation of the Current Definition of UML no agreement on meaning of UML models
36 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature
37 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners
38 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners OMG issues, eg. #5977 association semantics
39 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners OMG issues, eg. #5977 association semantics precise understandable definition would resolve disagreements
40 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners OMG issues, eg. #5977 association semantics precise understandable definition would resolve disagreements therefore we do not have one (it is neither precise nor understandable!)
41 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners OMG issues, eg. #5977 association semantics precise understandable definition would resolve disagreements therefore we do not have one (it is neither precise nor understandable!) it is not easy, we should ask the experts
42 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners OMG issues, eg. #5977 association semantics precise understandable definition would resolve disagreements therefore we do not have one (it is neither precise nor understandable!) it is not easy, we should ask the experts precision: mathematics
43 Evaluation of the Current Definition of UML no agreement on meaning of UML models claims in the literature discussions with practitioners OMG issues, eg. #5977 association semantics precise understandable definition would resolve disagreements therefore we do not have one (it is neither precise nor understandable!) it is not easy, we should ask the experts precision: mathematics understanding: cognitive psychology
44 Survey: Z and Algebra we survey the literature on semantics for UML
45 Survey: Z and Algebra we survey the literature on semantics for UML most has some other agenda
46 Survey: Z and Algebra Z we survey the literature on semantics for UML most has some other agenda
47 Survey: Z and Algebra we survey the literature on semantics for UML most has some other agenda Z Kim and Carrington 2000, semantic definition by transformation to metamodel of formal language
48 Survey: Z and Algebra we survey the literature on semantics for UML most has some other agenda Z Kim and Carrington 2000, semantic definition by transformation to metamodel of formal language many others, but no convincing dynamics (a sequence diagram in Z?)
49 Survey: Z and Algebra we survey the literature on semantics for UML most has some other agenda Z Kim and Carrington 2000, semantic definition by transformation to metamodel of formal language many others, but no convincing dynamics (a sequence diagram in Z?) Algebraic Specification
50 Survey: Z and Algebra we survey the literature on semantics for UML most has some other agenda Z Kim and Carrington 2000, semantic definition by transformation to metamodel of formal language many others, but no convincing dynamics (a sequence diagram in Z?) Algebraic Specification Reggio et al 2001, seek semantics for whole language, advocate models as axioms, recognise need for temporal operators
51 Survey: Logic and OCL Translating OCL to Logic
52 Survey: Logic and OCL Translating OCL to Logic OCL to higher order logic, Brucker and Wolff 2002
53 Survey: Logic and OCL Translating OCL to Logic OCL to higher order logic, Brucker and Wolff 2002 OCL to first order logic, Beckert and Schmitt 2002
54 Survey: Logic and OCL Translating OCL to Logic OCL to higher order logic, Brucker and Wolff 2002 OCL to first order logic, Beckert and Schmitt 2002 Dynamic Logic
55 Survey: Logic and OCL Translating OCL to Logic OCL to higher order logic, Brucker and Wolff 2002 OCL to first order logic, Beckert and Schmitt 2002 Dynamic Logic Beckert 2001, gives a special dynamic logic for Java-Card
56 Survey: Logic and OCL Translating OCL to Logic OCL to higher order logic, Brucker and Wolff 2002 OCL to first order logic, Beckert and Schmitt 2002 Dynamic Logic Beckert 2001, gives a special dynamic logic for Java-Card Weiringa and Broerson 1997, use a DL based language to formalise a methodologically analysed form of UML
57 Survey: Logic and OCL Translating OCL to Logic OCL to higher order logic, Brucker and Wolff 2002 OCL to first order logic, Beckert and Schmitt 2002 Dynamic Logic Beckert 2001, gives a special dynamic logic for Java-Card Weiringa and Broerson 1997, use a DL based language to formalise a methodologically analysed form of UML O Keefe 2006, small UML subset with sequence diagrams translated to DL for satisfiability checking
58 Survey: Graphs and STS Symbolic Transition Systems
59 Survey: Graphs and STS Symbolic Transition Systems Damm Josko Pnueli and Votintseva 2003, real time semantics used in later work for deductive verification of models
60 Survey: Graphs and STS Symbolic Transition Systems Damm Josko Pnueli and Votintseva 2003, real time semantics used in later work for deductive verification of models ignores UML abstract syntax, very complex, strong execution assumptions
61 Survey: Graphs and STS Symbolic Transition Systems Damm Josko Pnueli and Votintseva 2003, real time semantics used in later work for deductive verification of models ignores UML abstract syntax, very complex, strong execution assumptions Graph Transformation Systems
62 Survey: Graphs and STS Symbolic Transition Systems Damm Josko Pnueli and Votintseva 2003, real time semantics used in later work for deductive verification of models ignores UML abstract syntax, very complex, strong execution assumptions Graph Transformation Systems several groups persuing the same basic idea
63 Survey: Graphs and STS Symbolic Transition Systems Damm Josko Pnueli and Votintseva 2003, real time semantics used in later work for deductive verification of models ignores UML abstract syntax, very complex, strong execution assumptions Graph Transformation Systems several groups persuing the same basic idea a system state is an object diagram = a graph
64 Survey: Graphs and STS Symbolic Transition Systems Damm Josko Pnueli and Votintseva 2003, real time semantics used in later work for deductive verification of models ignores UML abstract syntax, very complex, strong execution assumptions Graph Transformation Systems several groups persuing the same basic idea a system state is an object diagram = a graph evolution defined by graph transformation rules (perhaps given as UML interaction diagrams)
65 Conclusions What Formalism?
66 Conclusions What Formalism? graph transformation for understandability
67 Conclusions What Formalism? graph transformation for understandability dynamic logic for expressiveness
68 Conclusions What Formalism? graph transformation for understandability dynamic logic for expressiveness a new logic with graphs as static statements, graph transformation rules as atomic programs?
69 Conclusions What Formalism? graph transformation for understandability dynamic logic for expressiveness a new logic with graphs as static statements, graph transformation rules as atomic programs? we must gain precision and understandability, otherwise model driven development will fail
Lecture 15: Hierarchical State Machines I
Software Design, Modelling and Analysis in UML Lecture 15: Hierarchical State Machines I 2015-01-08 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal 15 2015-01-08 main Albert-Ludwigs-Universität Freiburg,
More informationFormal Specification of Software Systems
Formal Specification of Software Systems Lecture Notes Winter Term 2001 / 2002 Heinrich Hußmann Technische Universität Dresden Formal Specification of Software Systems Summary: Construction of large software
More informationModel 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 informationComputation 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 informationFormal Foundations of Software Engineering
Formal Foundations of Software Engineering http://d3s.mff.cuni.cz Martin Nečaský Pavel Parízek CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Goals of the course Show methods and tools
More informationINTEGRATING UML COMPOSITE STRUCTURES AND FUML
INTEGRATING UML COMPOSITE STRUCTURES AND FUML Alessandro Gerlinger Romero romgerale@yahoo.com.br Klaus Schneider Maurício Gonçalves Vieira Ferreira Brazilian National Institute for Space Research INPE
More informationWhole Platform Foundation. The Long Way Toward Language Oriented Programming
Whole Platform Foundation The Long Way Toward Language Oriented Programming 2008 by Riccardo Solmi made available under the Creative Commons License last updated 22 October 2008 Outline Aim: Engineering
More informationHow useful is the UML profile SPT without Semantics? 1
How useful is the UML profile SPT without Semantics? 1 Susanne Graf, Ileana Ober VERIMAG 2, avenue de Vignate - F-38610 Gières - France e-mail:{susanne.graf, Ileana.Ober}@imag.fr http://www-verimag.imag.fr/~{graf,iober}
More informationHorváth Ákos Bergmann Gábor Dániel Varró István Ráth
Metamodeling and Domain Specific Modeling Horváth Ákos Bergmann Gábor Dániel Varró István Ráth Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Agenda Metamodeling
More informationDistributed Systems Programming (F21DS1) Formal Verification
Distributed Systems Programming (F21DS1) Formal Verification Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh Overview Focus on
More information15-819M: Data, Code, Decisions
15-819M: Data, Code, Decisions 08: First-Order Logic André Platzer aplatzer@cs.cmu.edu Carnegie Mellon University, Pittsburgh, PA André Platzer (CMU) 15-819M/08: Data, Code, Decisions 1 / 40 Outline 1
More informationModelling in Enterprise Architecture. MSc Business Information Systems
Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling
More informationPisaTel Meeting Roma, 29 novembre 2007
Istituto di Scienza e Tecnologie dell'informazione A. Faedo Software Engineering Laboratory Tool support for model driven development in practice Antonino Sabetta ISTI-CNR, Pisa PisaTel Meeting Roma, 29
More informationSUMMARY: MODEL DRIVEN SECURITY
SUMMARY: MODEL DRIVEN SECURITY JAN-FILIP ZAGALAK, JZAGALAK@STUDENT.ETHZ.CH Model Driven Security: From UML Models to Access Control Infrastructres David Basin, Juergen Doser, ETH Zuerich Torsten lodderstedt,
More informationTechniques for the unambiguous specification of software
Formal Techniques for the unambiguous of software Objectives To explain why formal techniques help discover problems in system requirements To describe the use of algebraic techniques for interface To
More informationDefining Domain-Specific Modeling Languages
Defining Domain-Specific Modeling Languages 1 st Oct 2008 Juha-Pekka Tolvanen MetaCase 1 Relevant language classifications to start with General-Purpose / Domain-Specific Narrow area of interest Often
More informationUnifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy
Int J Software Informatics, Vol.X, No.X, February 2011, pp. xxx-xxx International Journal of Software and Informatics, ISSN 1673-7288 E-mail: ijsi@iscas.ac.cn http://www.ijsi.org 2010 by Institute of Software,
More informationDefinition and Uses of the i* Metamodel 1
Definition and Uses of the i* Metamodel 1 Carlos Cares 1,2, Xavier Franch 1, Lidia López 1, Jordi Marco 1 1 Universitat Politècnica de Catalunya, Omega-122, 08034 Barcelona, Spain {ccares, franch}@essi.upc.edu,
More informationLanguage engineering and Domain Specific Languages
Language engineering and Domain Specific Languages Perdita Stevens School of Informatics University of Edinburgh Plan 1. Defining languages 2. General purpose languages vs domain specific languages 3.
More informationMulti-event IDS Categories. Introduction to Misuse Intrusion Detection Systems (IDS) Formal Specification of Intrusion Signatures and Detection Rules
Formal Specification of Intrusion Signatures and Detection Rules By Jean-Philippe Pouzol and Mireille Ducassé 15 th IEEE Computer Security Foundations Workshop 2002 Presented by Brian Kellogg CSE914: Formal
More informationSyntactic Measures of Complexity
A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Arts 1999 Bruce Edmonds Department of Philosophy Table of Contents Table of Contents - page 2
More informationPlan. Language engineering and Domain Specific Languages. Language designer defines syntax. How to define language
Plan Language engineering and Domain Specific Languages Perdita Stevens School of Informatics University of Edinburgh 1. Defining languages 2. General purpose languages vs domain specific languages 3.
More informationExisting 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 informationchallenges 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 information02291: System Integration
02291: System Integration Introduction to UML Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2019 What is the UML? Unified Modelling Language (UML) Family of graphical
More informationFrom OCL to Typed First-order Logic
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2008 From OCL to Typed First-order Logic Copyright 2007-8 Reiner Hähnle and Cesare Tinelli. Notes originally developed by Reiner
More informationAdvances in Programming Languages
T O Y H Advances in Programming Languages APL4: JML The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh Thursday 21 January 2010
More informationStatic 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 informationOntology-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 informationReverse 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 informationDirect Semantics of Extended State Machines
Vol. 6, No. 9, 2007 Direct Semantics of Extended State Machines K. Lano, D. Clark In this paper we present semantic profiles for UML 2 state machines, which are based directly upon the structure of a state
More informationVerifying Java Programs Verifying Java Programs with KeY
Verifying Java Programs Verifying Java Programs with KeY Wolfgang Schreiner Wolfgang.Schreiner@risc.jku.at Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria http://www.risc.jku.at
More informationCSSE 490 Model-Based Software Engineering: Introduction to Domain Engineering
CSSE 490 Model-Based Software Engineering: Introduction to Domain Engineering Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: Metamodels Design
More informationSoftwaretechnik Model Driven Architecture Meta Modeling
Softwaretechnik Model Driven Architecture Meta Modeling Prof. Dr. Peter Thiemann Universität Freiburg 22.06.2009 PT (Univ. Freiburg) Softwaretechnik Model Driven Architecture Meta Modeling 22.06.2009 1
More informationCSSE 490 Model-Based Software Engineering: Domain Engineering
CSSE 490 Model-Based Software Engineering: Domain Engineering Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: Metamodels Design a metamodel
More informationThe Unified Modelling Language. Example Diagrams. Notation vs. Methodology. UML and Meta Modelling
UML and Meta ling Topics: UML as an example visual notation The UML meta model and the concept of meta modelling Driven Architecture and model engineering The AndroMDA open source project Applying cognitive
More informationA UML 2 Profile for Variability Models and their Dependency to Business Processes
A UML 2 Profile for Variability Models and their Dependency to Business Processes Birgit Korherr and Beate List Women s Postgraduate College for Internet Technologies Institute of Software Technology and
More informationAn Abstraction Technique for Describing Concurrent Program Behaviour
An Abstraction Technique for Describing Concurrent Program Behaviour Wytse Oortwijn (joint with Stefan Blom and Marieke Huisman) Formal Methods and Tools, University of Twente September 19, 2017 Wytse
More informationA 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 informationSeminar: Specification and Verification of Object-oriented Software. The KeY Tool
The KeY Tool developed by: W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P.H. Schmitt, and others Information Security, ETH Zürich, Switzerland
More informationFormal Methods for Software Engineers
Formal Methods for Software Engineers Professor Ray Welland Department of Computing Science University of Glasgow ray@dcs.gla.ac.uk INF3120-FM 1 Overview Motivation Why have formal specifications? Where
More informationEnabling High Quality Executable Domain Specific Language Specification
Enabling High Quality Executable Domain Specific Language Specification A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical
More informationRequirements Modelling and Software Systems Implementation Using Formal Languages
Requirements Modelling and Software Systems Implementation Using Formal Languages Radek Kočí Brno University of Technology, Faculty of Information Technology Czech Republic koci@fit.vutbr.cz ICSEA 2018,
More informationUML 2.5: Specification Simplification
A division of Data Access Technologies, Inc. UML 2.5: Specification Simplification Presented at the Third Biannual Workshop on Eclipse Open Source Software and OMG Open Specifications Ed Seidewitz Timeline
More informationSoftware Engineering: A Practitioner s s Approach, 6/e Roger Pressman. Chapter 28 Formal Methods
Software Engineering: A Practitioner s s Approach, 6/e Roger Pressman Chapter 28 Formal Methods 1 Problems with Conventional Specification contradictions ambiguities vagueness incompleteness mixed levels
More informationIntroduction to Dependable Systems: Meta-modeling and modeldriven
Introduction to Dependable Systems: Meta-modeling and modeldriven development http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 3 Software development Automated software
More informationSCENARIO-BASED REQUIREMENTS MODELLING
SCENARIO-BASED REQUIREMENTS MODELLING A PROGRESS REPORT SUBMITTED TO THE UNIVERSITY OF MANCHESTER IN PARTIAL FULLFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE IN THE FUCALTY OF ENGINEERING
More informationBlazo Nastov. Journée des doctorant, Nîmes, France 19 June 2014
Apport de l Ingénierie des Langages de Modélisation à l Ingénierie Système Basée sur les Modèles : conception d une méthode outillée pour la génération de Langages Métier interopérables, analysables et
More informationCOSC 3351 Software Design. An Introduction to UML (I)
COSC 3351 Software Design An Introduction to UML (I) This lecture contains material from: http://wps.prenhall.com/esm_pfleeger_softengtp_2 http://sunset.usc.edu/classes/cs577a_2000/lectures/05/ec-05.ppt
More informationStatic analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
More informationOverview of the KeY System
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2008 Overview of the KeY System Copyright 2007-8 Reiner Hähnle and Cesare Tinelli. Notes originally developed by Reiner Hähnle
More informationAn Ontological Approach to Domain Engineering
An Ontological Approach to Domain Engineering Richard de Almeida Falbo, Giancarlo Guizzardi, Katia Cristina Duarte International Conference on Software Engineering and Knowledge Engineering, SEKE 02 Taehoon
More informationOutline. SLD challenges Platform Based Design (PBD) Leveraging state of the art CAD Metropolis. Case study: Wireless Sensor Network
By Alberto Puggelli Outline SLD challenges Platform Based Design (PBD) Case study: Wireless Sensor Network Leveraging state of the art CAD Metropolis Case study: JPEG Encoder SLD Challenge Establish a
More informationCSSE 490 Model-Based Software Engineering: Software Factories
CSSE 490 Model-Based Software Engineering: Software Factories Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: MBE Discipline Relate Model-Based
More informationOCL 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 informationConceptual Modeling and Specification Generation for B2B Business Processes based on ebxml
Conceptual Modeling and Specification Generation for B2B Business Processes based on ebxml HyoungDo Kim Professional Graduate School of Information and Communication, Ajou University 526, 5Ga, NamDaeMoonRo,
More informationPrinciples of Programming Languages
Principles of Programming Languages Lesson 14 Type Checking Collaboration and Management Dana Fisman www.cs.bgu.ac.il/~ppl172 1 Type Checking We return to the issue of type safety we discussed informally,
More informationRich 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 informationObject-Oriented Theories for Model Driven Architecture
Object-Oriented Theories for Model Driven Architecture Tony Clark 1, Andy Evans 2, Robert France 3 1 King s College London, UK, anclark@dcs.kcl.ac.uk, 2 University of York, UK, andye@cs.york.ac.uk, 3 University
More informationA framework for business processes view integration
A framework for business processes view integration Souvik Barat 1, Vinay Kulkarni 1, Prof. D Janakiram 2 1 Tata Research Development & Design Centre, Pune, India {souvik.barat, vinay.vkulkarni}@tcs.com}
More informationA Simplified Abstract Syntax for the Dataflow Algebra. A. J. Cowling
Verification and Testing Research Group, Department of Computer Science, University of Sheffield, Regent Court, 211, Portobello Street, Sheffield, S1 4DP, United Kingdom Email: A.Cowling @ dcs.shef.ac.uk
More informationFormal specification of semantics of UML 2.0 activity diagrams by using Graph Transformation Systems
Formal specification of semantics of UML 2.0 activity diagrams by using Graph Transformation Systems Somayeh Azizi 1, Vahid Panahi 2 Computer science department, Sama Technical and vocational, Training
More informationIntroduction to Linear-Time Temporal Logic. CSE 814 Introduction to LTL
Introduction to Linear-Time Temporal Logic CSE 814 Introduction to LTL 1 Outline Motivation for TL in general Types of properties to be expressed in TL Structures on which LTL formulas are evaluated Syntax
More information1 Executive Overview The Benefits and Objectives of BPDM
1 Executive Overview The Benefits and Objectives of BPDM This is an excerpt from the Final Submission BPDM document posted to OMG members on November 13 th 2006. The full version of the specification will
More informationIntroduction to MDE and Model Transformation
Vlad Acretoaie Department of Applied Mathematics and Computer Science Technical University of Denmark rvac@dtu.dk DTU Course 02291 System Integration Vlad Acretoaie Department of Applied Mathematics and
More informationTABLE OF CONTENT CHAPTER TITLE PAGE DECLARATION OF THESIS STATUS SUPERVISOR DECLARATION TITLE PAGE STUDENT DECLARATION ACKNOWLEDGEMENT ABSTRACT
TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION OF THESIS STATUS SUPERVISOR DECLARATION TITLE PAGE STUDENT DECLARATION ACKNOWLEDGEMENT ABSTRACT TABLE OF CONTENT LIST OF TABLE LIST OF FIGURE LIST OF ABBREVATION
More informationISO Compliant Automatic Requirements-Based Testing for TargetLink
ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink Dr. Udo Brockmeyer CEO BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany udo.brockmeyer@btc-es.de Adrian Valea
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationCompositional Model Based Software Development
Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability
More informationIMCE MOF2 / OWL2 Integration
National Aeronautics and IMCE MOF2 / OWL2 Integration Nicolas Rouquette System Architectures & Behaviors Group, 313K 2012-03-20 Copyright 2012, Government Sponsorship Acknowledged Systems Engineering Domain-Specific
More informationA Pratical Application of the Object Constraint Language OCL
A Pratical Application of the Object Constraint Language OCL Kjetil Måge Agder University College E-mail: kmage01@siving.hia.no Abstract. The Unified Modeling Language, UML, has for several years been
More information3.4 Deduction and Evaluation: Tools Conditional-Equational Logic
3.4 Deduction and Evaluation: Tools 3.4.1 Conditional-Equational Logic The general definition of a formal specification from above was based on the existence of a precisely defined semantics for the syntax
More informationModel-Driven Architecture
THE IT-ARCHITECTURE PROFESSIONALS Model-Driven Architecture Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise Interactive Objects Software info@io-software.com Agenda 2 Motivation for MDA Terminology:
More informationTrain 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 informationGrammars. Prof. Andreas Prinz. Introduction, Compilers. Examples Meta-models vs. Grammars Summary
Meta-models and Grammars Prof. Andreas Prinz Introduction, Compilers Modelling & Meta-modelling Examples Meta-models vs. Grammars Summary Compilers Graphical Editor Parser Text editor Static checks (OCL)
More information2 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 informationKNOWLEDGE MANAGEMENT VIA DEVELOPMENT IN ACCOUNTING: THE CASE OF THE PROFIT AND LOSS ACCOUNT
KNOWLEDGE MANAGEMENT VIA DEVELOPMENT IN ACCOUNTING: THE CASE OF THE PROFIT AND LOSS ACCOUNT Tung-Hsiang Chou National Chengchi University, Taiwan John A. Vassar Louisiana State University in Shreveport
More informationAutomation 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 informationOntology-Driven Modeling Framework for SOA Security Patterns
Semantic Web 1 (0) 1 5 1 IOS Press Ontology-Driven Modeling Framework for SOA Security Patterns Editor(s): First Editor, University or Company name, Country; Second Editor, University or Company name,
More informationQoS-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 informationModel-Driven Systems Engineering for Netcentric System of Systems With DEVS Unified Process
Model-Driven Systems Engineering for Netcentric System of Systems With DEVS Unified Process Saurabh Mittal, PhD Dunip Technologies, L3 Communications, USA Jose L. Risco Martin, PhD Universedad Complutense
More informationIndex. business modeling syntax 181 business process modeling 57 business rule 40
OCL.book Page 203 Tuesday, July 22, 2003 9:48 PM Index Symbols OclAny, of 167 = OclAny, of 167 @pre 34, 86, 155 ^ 34, 156 ^^ 157 A abstract syntax 93 accumulator 153 action in statechart 56 activity
More informationUML is still inconsistent!
Department of Computer Science Institute for Software and Multimedia Engineering, Software Technology Group UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure Claas
More informationCIS 895 agenttool III (Static) Project Plan Version 2.0. Project Plan. For agenttool III (Static) Version 2.0
Project Plan For agenttool III (Static) Version 2.0 Submitted in partial fulfillment of the requirements of the degree of MSE Deepti Gupta CIS 895 MSE Project Kansas State University Page 1 of 9 TABLE
More informationSecond OMG Workshop on Web Services Modeling. Easy Development of Scalable Web Services Based on Model-Driven Process Management
Second OMG Workshop on Web Services Modeling Easy Development of Scalable Web Services Based on Model-Driven Process Management 88 solutions Chief Technology Officer 2003 Outline! Introduction to Web Services!
More informationSoftware 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 informationLecture 16: Hierarchical State Machines II
Software Design, Modelling and Analysis in UML Lecture 6: Hierarchical State Machines II 206-0-9 6 206-0-9 main Prof. Dr. Andreas Podelski, Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany
More informationEvaluation of Commercial Web Engineering Processes
Evaluation of Commercial Web Engineering Processes Andrew McDonald and Ray Welland Department of Computing Science, University of Glasgow, Glasgow, Scotland. G12 8QQ. {andrew, ray}@dcs.gla.ac.uk, http://www.dcs.gla.ac.uk/
More informationAnalysis of BPMN Models
Analysis of BPMN Models Addis Gebremichael addisalemayehu.gebremichael@student.uantwerpen.be Abstract The Business Process Modeling Notation (BPMN) is a standard notation for capturing business processes,
More informationProtégé-2000: A Flexible and Extensible Ontology-Editing Environment
Protégé-2000: A Flexible and Extensible Ontology-Editing Environment Natalya F. Noy, Monica Crubézy, Ray W. Fergerson, Samson Tu, Mark A. Musen Stanford Medical Informatics Stanford University Stanford,
More informationGenerating Specification Documents from Models using BIRT
2nd Biannual Symposium On Eclipse Open Source Software & OMG Open Specifications June 22, 2010 Generating Specification Documents from Models using BIRT Maged Elaasar Senior Software Engineer IBM Rational
More informationChapter 7. Modular Refactoring. 7.1 Introduction to Modular Refactoring
Chapter 7 Modular Refactoring I n this chapter, the role of Unified Modeling Language (UML) diagrams and Object Constraint Language (OCL) expressions in modular refactoring have been explained. It has
More informationEXECUTABLE MODELING WITH FUML AND ALF IN PAPYRUS: TOOLING AND EXPERIMENTS
EXECUTABLE MODELING WITH FUML AND ALF IN PAPYRUS: TOOLING AND EXPERIMENTS Sahar Guermazi*, Jérémie Tatibouet*, Arnaud Cuccuru*, Ed Seidewitz +, Saadia Dhouib*, Sébastien Gérard* * CEA LIST - LISE lab +
More informationChapter 1 Introduction
Chapter 1 Introduction We hardly need to point out the importance of business process modelling and of respective automation in this place (see, e.g. [39, 45, 58, 110, 141]). Also the advantages and shortcomings
More informationH1 Spring B. Programmers need to learn the SOAP schema so as to offer and use Web services.
1. (24 points) Identify all of the following statements that are true about the basics of services. A. If you know that two parties implement SOAP, then you can safely conclude they will interoperate at
More informationModellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik
Modellierung operationaler Aspekte von Systemarchitekturen Master Thesis presentation October 2005 March 2006 Agenda Goals Model-Driven Software Development Pro-active Infrastructure (PAI) Operational
More information! Use of formal notations. ! in software system descriptions. ! for a broad range of effects. ! and varying levels of use. !
What Are Formal Methods? David S. Rosenblum ICS 221 Winter 2001! Use of formal notations! first-order logic, state machines, etc.! in software system descriptions! system models, constraints, specifications,
More information09. Component-Level Design
09. Component-Level Design Division of Computer Science, College of Computing Hanyang University ERICA Campus 1 st Semester 2017 What is Component OMG UML Specification defines a component as OO view a
More informationDictionary Driven Exchange Content Assembly Blueprints
Dictionary Driven Exchange Content Assembly Blueprints Concepts, Procedures and Techniques (CAM Content Assembly Mechanism Specification) Author: David RR Webber Chair OASIS CAM TC January, 2010 http://www.oasis-open.org/committees/cam
More informationTowards Formalizing Domain-specific Modeling Languages. Kai Chen Janos Sztipanovits Sandeep Neema
Towards Formalizing Domain-specific Modeling Languages Kai Chen Janos Sztipanovits Sandeep Neema Outline! DSML overview! Framework for DSML design Syntax definition Semantic domain specification Semantic
More information