The rcos Modeler. ICTAC Summer School 2013 ECNU, Shanghai, China. Volker Stolz, Zhiming Liu. Friday, August 30, 13
|
|
- Victoria Green
- 5 years ago
- Views:
Transcription
1 The rcos Modeler ICTAC Summer School 2013 ECNU, Shanghai, China Volker Stolz, Zhiming Liu
2 Benefits of Modeling Given the right models, we get for free: executable program user interfaces test cases (model-based testing) simulation verification
3 More Traditional Modeling UML class diagrams (boring) Components / Deployment Sequence diagrams / state machines (behaviour - now we are talking!) (Software) Product Lines: models of customization
4 More Traditional Modeling UML class diagrams (boring) Components / Deployment Sequence diagrams / state machines (behaviour - now we are talking!) (Software) Product Lines: models of customization
5 More Traditional Modeling UML class diagrams (boring) Components / Deployment Sequence diagrams / state machines (behaviour - now we are talking!) (Software) Product Lines: models of customization
6 More Traditional Modeling UML class diagrams (boring) Components / Deployment Sequence diagrams / state machines (behaviour - now we are talking!) (Software) Product Lines: models of customization
7 Level of abstraction Publication Contract Design Implementation Hierarchy of components Multi-view Interaction Diagram State Machine Diagram Class Diagrams Functionality Specification 4
8 Modeling Levels: OMG Platform independent model PIM-to-PSM: 50-70% automation CORBA, RMI,... Platform specific model PSM-to-code: full automation Java, C++,... Executable code 5
9 PIM: sub-divisions PIM Component Model Components Comp. sequence diagrams Composition/deployment Design Model Object (sequence) diagrams OO designs (executable) Requirements Model Class model Contracts (relational functionality specification) Dynamic behaviour (state machine, sequence diagram) 6
10 PIM: sub-divisions PIM Component Model Components Composition/deployment Comp. sequence diagrams Design Model Object (sequence) diagrams OO designs Requirements Model Incremental change Class model Contracts (relational functionality specification) Dynamic behaviour (state machine, sequence diagram) 7
11 PIM: sub-divisions PIM Component Model Incremental change Design Model Components Composition/deployment Comp. sequence diagrams Object (sequence) diagrams OO designs Requirements Model Class model Contracts (relational functionality specification) Dynamic behaviour (state machine, sequence diagram) 7
12 PIM: sub-divisions PIM Component Model Incremental change Design Model Components Composition/deployment Comp. sequence diagrams Object (sequence) Revising design diagrams OO designs decisions costly! Requirements Model Class model Contracts (relational functionality specification) Dynamic behaviour (state machine, sequence diagram) 7
13 Cost of Fixing Defects Relative cost 30 Requirements Architecture Construction System Test Post-Release Phase detected Phase introduced: Requirements Architecture Construction Source: McConnell, Code Complete, Microsoft Press,
14 Cost of Fixing Defects Relative cost Requirements Architecture Construction System Test Post-Release Can we reduce the cost of change? Phase detected Phase introduced: Requirements Architecture Construction Source: McConnell, Code Complete, Microsoft Press,
15 Model Transformations In general: not necessarily applied to software engineering mathematical/algebraical different underlying formalisms, e.g.: triple graph grammars (by A.Schürr 94) imperative (Kermeta, 05) hybrid imperative/declarative (ATL 05, smartqvt 07) lowest level: XSLT/XQuery 9
16 Simple Transformations Model-to-Code: UML class diagrams to Java/C++ skeletons Test-case generation Verification (CSP, SPIN, SAT-solvers) Model-to-Model: Refactorings on UML class diagrams UML sequence diagrams state machines 10
17 Standards and Tool Support OMG standardised QVT transformation language (relational vs. operational) Software Engineering community standardises on UML Model interchange standardised on XMI Modeling supported by major tools: IBM Rational, Eclipse EMF/UML, MagicDraw 11
18 Modeling Languages UML (mostly static structure) rcos (OO, specification) Creol/ABS (OO, active objects) VDM/Overture JCSP (CSP for Java) 12
19 Modeling Languages UML (mostly static structure) rcos (OO, specification) Creol/ABS (OO, active objects) VDM/Overture JCSP (CSP for Java) Only UML and rcos use XMI: Interchange with other UML tools. All others: text files. 12
20 The Code is the Model(?) Problem: connection model code Generated code may need manual modifications. Solutions: add annotations to code (Frameworks like Spring,...) Round-trip engineering support (difficult/fragile, e.g. NetBeans) 13
21 Modeling: Static View Model developed once Then, processed for various consumers model T1 T2 T3 code testcases verifier input Very static view of development! 14
22 Modeling: Static View Model developed once Then, processed for various consumers model SPL Product T1 T2 T3 code test... code testcases verifier input Very static view of development! 14
23 But where s the Process? Different developers collaborate Different modeling levels/views Intermediate models for back-ends Models evolve over time (also: versioning) 15
24 Intermediate Models Initial model Refinement r. model testcases... code abs. model verifier input Models need to be refined/abstracted, leading to intermediate models! 16
25 Intermediate Models Initial model Refinement r. model testcases... code abs. model verifier input Models need to be refined/abstracted, leading to intermediate models! 16
26 rcos Language/Modeler Making software engineering easier: Multi-view specifications: different views for different roles Refinement of designs: correct-by-construction editing steps Verification/Testing part of the process 17
27 Use case = Structure + Behaviour Use case-driven Component-based Model-driven (based on UML) Multi-View Specification Verification Testing Code generation 18
28 Multi-View Specification Different views for different tasks: Sequence diagrams for customer State machine for internal state change Consistency check required 19
29 Component Model Substitutability Hierarchical composition Design-by-Contract Compatibility check required! (slight differences to UML) 20
30 Behaviour Functional Correctness Behaviour specification is not enough Also need to be able to specify computation Specification-level: Pre/Post (Hoare), OCL Executable level: sequence of destructive updates (C, Java,...) Tools should support both levels for verification (usually: bolted on, e.g. JML) 21
31 Refinement Refinement steps......make program more concrete...preserve semantics Simple refinement vs. custom step Former: correct-by-construction Latter: need additional verification create proof obligation (MDD!) 22
32 rcos: Theoretical Foundation Relational calculus and semantics based on Hoare & He s Unifying Theories of Programming [TCS06] Refinement calculus for both functional refinement and structure refinement [ibid.] Support analysis, design, refactoring and code generation [ICTAC05] rcos methodology for Soft.Eng. [ISoLA06, FCSC12]
33 Example: Expert Pattern Cashdesk::finishSale() { [ sale null sale.complete' = true]; var double sum; sum 0; for (LineItem l : sale.lines) { [ sum' = sum + l.subtotal] }; [ sale.total' = sum]; end sum } 24 Cashdesk::finishSale() {[ sale null sale.finishsale() ]} Sale::finishSale() { [ complete' = true]; var double sum; sum := 0; for (LineItem l : lines) { [ sum' = sum + l.subtotal] }; [ total' = sum]; end sum }
34 Model Transformations Design Patterns provide standard solutions to common tasks Transformations......automate patterns...refine the design...reduce manual development Need to be correctnesspreserving, track proof obligations [Morisset, 2011] Increasing detail Func. Spec. OO Model Time Components Increasing views [UML&FM 09/J.ISSE] 25
35 Model Transformations Design Patterns provide standard solutions to common tasks Transformations......automate patterns...refine the design...reduce manual development Need to be correctnesspreserving, track proof obligations [Morisset, 2011] Increasing detail Refinement Func. Spec. OO Model Time Components Increasing views [UML&FM 09/J.ISSE] 25
36 Model Transformations Design Patterns provide standard solutions to common tasks Transformations......automate patterns...refine the design...reduce manual development Need to be correctnesspreserving, track proof obligations [Morisset, 2011] Increasing detail Refinement Func. Spec. Transform OO Model Time Components Increasing views [UML&FM 09/J.ISSE] 25
37 Model Transformations Design Patterns provide standard solutions to common tasks Transformations......automate patterns...refine the design...reduce manual development Need to be correctnesspreserving, track proof obligations [Morisset, 2011] Increasing detail Refinement Func. Spec. OO Model Time Transform Components Increasing views [UML&FM 09/J.ISSE] 25
38 PIM: sub-divisions PIM Component Model Components Comp. sequence diagrams Composition/deployment Design Model Object (sequence) diagrams OO designs (executable) Requirements Model Class model Contracts (relational functionality specification) Dynamic behaviour (state machine, sequence diagram) 26
39 OO-to-CSD Design process for object interactions (FACS 11) Instead of writing interaction (a.k.a. method calls ) in OO-code, use sequence diagrams Advantage: objects visible Assign objects to components interactively 27
40 Summary Models are good for you: formal meaning (contracts) their design clarifies intention automatic processing model transformations reduce costs
41 Trying out rcos Eclipse Helios rcos Eclipse update site: Download the example models TOPCASED 29
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 informationModel driven Engineering & Model driven Architecture
Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software
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 informationEnabling Component-Based Model Transformations with QVT. Li Dan
Enabling Component-Based Model Transformations with QVT by Li Dan Doctor of Philosophy in Software Engineering 2013 Faculty of Science and Technology University of Macau Enabling Component-Based Model
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 informationMDA Driven xuml Plug-in for JAVA
2012 International Conference on Information and Network Technology (ICINT 2012) IPCSIT vol. 37 (2012) (2012) IACSIT Press, Singapore MDA Driven xuml Plug-in for JAVA A.M.Magar 1, S.S.Kulkarni 1, Pooja
More informationMDA and Integration of Legacy Systems: An Industrial Case Study
MDA and Integration of Legacy Systems: An Industrial Case Study Parastoo Mohagheghi 1, Jan Pettersen Nytun 2, Selo 2, Warsun Najib 2 1 Ericson Norway-Grimstad, Postuttak, N-4898, Grimstad, Norway 1 Department
More informationBLU 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 informationModel Driven Development Unified Modeling Language (UML)
Model Driven Development Unified Modeling Language (UML) An Overview UML UML is a modeling notation standardized by OMG (proposal 1997, ver.1.1 in 1998, ver. 2.0 in 2004) now in 2.4.1 mature based on notations
More informationCoCoME Team Presentation rcos Relational Calculus of Object- and Component-based Systems
CoCoME Team Presentation rcos Relational Calculus of Object- and Component-based Systems Volker Stolz rcos The Team UNU-IIST, Macao SAR Zhiming Liu (Team Leader) Dang Van Hung, Volker Stolz Hakim Hannousse,
More informationExecutive Summary. Round Trip Engineering of Space Systems. Change Log. Executive Summary. Visas
Reference: egos-stu-rts-rp-1002 Page 1/7 Authors: Andrey Sadovykh (SOFTEAM) Contributors: Tom Ritter, Andreas Hoffmann, Jürgen Großmann (FHG), Alexander Vankov, Oleg Estekhin (GTI6) Visas Surname - Name
More informationSoftware Engineering with Objects and Components Open Issues and Course Summary
Software Engineering with Objects and Components Open Issues and Course Summary Massimo Felici Software Engineering with Objects and Components Software development process Lifecycle models and main stages
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 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 informationTransforming UML Collaborating Statecharts for Verification and Simulation
Transforming UML Collaborating Statecharts for Verification and Simulation Patrick O. Bobbie, Yiming Ji, and Lusheng Liang School of Computing and Software Engineering Southern Polytechnic State University
More informationPart II. Hoare Logic and Program Verification. Why specify programs? Specification and Verification. Code Verification. Why verify programs?
Part II. Hoare Logic and Program Verification Part II. Hoare Logic and Program Verification Dilian Gurov Props: Models: Specs: Method: Tool: safety of data manipulation source code logic assertions Hoare
More informationThe Model Driven Architecture. Dennis Wagelaar Viviane Jonckers Software Languages Lab
The Model Driven Architecture Dennis Wagelaar Viviane Jonckers Software Languages Lab Special session: ( ) The Model Driven Architecture origins, goals concepts Platform, CIM, PIM, PSM... Models and meta-models
More information3rd Lecture Languages for information modeling
3rd Lecture Languages for information modeling Agenda Languages for information modeling UML UML basic concepts Modeling by UML diagrams CASE tools: concepts, features and objectives CASE toolset architecture
More informationMDD with OMG Standards MOF, OCL, QVT & Graph Transformations
1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages
More information!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 informationThe UML Extension Mechanisms
Jasmine Farhad Dept of Computer Science University College London 13-Dec-02 The UML Extension Mechanisms Introduction There is an important need for organisations to evolve in today s market. This has
More informationModel Querying with Graphical Notation of QVT Relations
Model Querying with Graphical Notation of QVT Relations Dan LI, Xiaoshan LI Faculty of Science and Technology, University of Macau Volker Stolz University of Oslo, Norway Agenda! Motivation! QVT Relations
More informationDesign of Embedded Systems
Design of Embedded Systems José Costa Software for Embedded Systems Departamento de Engenharia Informática (DEI) Instituto Superior Técnico 2015-01-02 José Costa (DEI/IST) Design of Embedded Systems 1
More information02291: System Integration
02291: System Integration Hubert Baumeister hub@imm.dtu.dk Spring 2012 Contents 1 General Information 1 2 Overview 3 3 Introduction to UML 11 4 Summary 16 1 General Information System Integration Type
More informationMDSE USE CASES. Chapter #3
Chapter #3 MDSE USE CASES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE GOES FAR BEYOND CODE-GENERATION www.mdse-book.com
More informationAn Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com
An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com Department of Software Systems Engineering University of Isfahan Fall 2013 Overview Model & Modeling UML & UML Profile
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 informationOverview of lectures today and Wednesday
Model-driven development (MDA), Software Oriented Architecture (SOA) and semantic web (exemplified by WSMO) Draft of presentation John Krogstie Professor, IDI, NTNU Senior Researcher, SINTEF ICT 1 Overview
More informationDresden 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 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 informationOrthographic Software Modeling A Practical Approach to View Based Development
Orthographic Software Modeling A Practical Approach to View Based Development Colin Atkinson University of Mannheim Germany MSI 2009 7 th October 2009 Oldenburg Outline Modern software engineering paradigms
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 informationUML for Global Computing Lecture 3: Property-Driven Development
Contents UML for Global Comuting Lecture 3: Proerty-Driven Develoment Martin Wirsing LMU München in cooeration with Hubert Baumeister Lecture : Introducing UML for Mobility Lecture 2: Refining Mobility
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 informationTowards 2D Traceability
Towards 2D Traceability in a platform for Contract Aware Visual Transformations with Tolerated Inconsistencies Pieter Van Gorp pieter.vangorp@ua.ac.be Frank Altheide frank.altheide@gmail.com Dirk Janssens
More informationDr. Klaus Fischer. Multiagent Systems Group DFKI GmbH Saarbrücken, Germany ICAART
Technologies for Semantic Interoperability in SOA Systems: Agent Technologies Dr. Klaus Fischer Multiagent Systems Group DFKI GmbH Saarbrücken, Germany ICAART 2011 1 Overview Context at DFKI An MDA Approach
More informationHow to Harvest Reusable Components in Existing Software. Nikolai Mansurov Chief Scientist & Architect
How to Harvest Reusable Components in Existing Software Nikolai Mansurov Chief Scientist & Architect Overview Introduction Reuse, Architecture and MDA Option Analysis for Reengineering (OAR) Architecture
More informationSysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd
SysML Past, Present, and Future J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd A Specification Produced by the OMG Process SysML 1.0 SysML 1.1 Etc. RFI optional Issued by Task Forces RFI responses
More informationbahmanzamani.com Computer Engineering i Dept. University of Isfahan
(MDSE) Bh Bahman Zamani, iphd Ph.D. bahmanzamani.com Computer Engineering i Dept. University of Isfahan Presented at Sheikhbahaee University Baharestan - Isfahan Feb. 4 th, 2010 (1388/11/15) Model What
More informationHandling Integer Arithmetic in the Verification of Java Programs
Handling Integer Arithmetic in the Verification of Java Programs Steffen Schlager 1st Swedish-German KeY Workshop Göteborg, Sweden, June 2002 KeY workshop, June 2002 p.1 Introduction UML/OCL specification
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 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 informationUnified 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 informationRequirements and Design Overview
Requirements and Design Overview Robert B. France Colorado State University Robert B. France O-1 Why do we model? Enhance understanding and communication Provide structure for problem solving Furnish abstractions
More informationAn integrated framework for automated simulation of SysML models using DEVS
Simulation An integrated framework for automated simulation of SysML models using DEVS Simulation: Transactions of the Society for Modeling and Simulation International 1 28 Ó 2014 The Society for Modeling
More informationModel transformations. Overview of DSLE. Model transformations. Model transformations. The 4-layer architecture
Overview of DSLE Model driven software engineering g in general Grammars, signatures and meta-models DSL Design Code generation Models increase the level of abstraction used for both hardware and software
More informationFrom a Specification Level PIM to a Design Level PIM in the Context of Software Radios
From a Specification Level PIM to a Design Level PIM in the Context of Software Radios Juan Pablo Zamora Francis Bordeleau Collaborators: Michel Barbeau Jeff Smith Outline Context Specification vs.. Design
More informationDesign Analysis Method for Multidisciplinary Complex Product using SysML
Design Analysis Method for Multidisciplinary Complex Product using SysML Jihong Liu 1,*, Shude Wang 1, and Chao Fu 1 1 School of Mechanical Engineering and Automation, Beihang University, 100191 Beijing,
More informationModel Driven Engineering
Model Driven Engineering Stuart Kent University of Kent Royal Society Industry Fellow with IBM Model Terminology encompasses more than program code design, analysis, specification, business models Driven
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 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 informationMDA & Semantic Web Services Integrating SWSF & OWL with ODM
MDA & Semantic Web Services Integrating SWSF & OWL with ODM Elisa Kendall Sandpiper Software March 30, 2006 Level Setting An ontology specifies a rich description of the Terminology, concepts, nomenclature
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 informationWhat Is UML? The Goals and Features of UML. Overview. The goals of UML
What Is UML? Overview The Unified Modeling Language (UML) has been formally under development since 1994. UML is a distillation of three major notations and a number of modeling techniques drawn from widely
More informationSoftwaretechnik. Lecture 08: Testing and Debugging Overview. Peter Thiemann SS University of Freiburg, Germany
Softwaretechnik Lecture 08: Testing and Debugging Overview Peter Thiemann University of Freiburg, Germany SS 2012 Literature Essential Reading Why Programs Fail: A Guide to Systematic Debugging, A Zeller
More informationActivities Common to Software Projects. Software Life Cycle. Activities Common to Software Projects. Activities Common to Software Projects
Activities Common to Software Projects Software Life Cycle Mark van den Brand Requirements and specification Domain analysis Defining the problem Requirements gathering Obtaining input from as many sources
More informationFlight Systems are Cyber-Physical Systems
Flight Systems are Cyber-Physical Systems Dr. Christopher Landauer Software Systems Analysis Department The Aerospace Corporation Computer Science Division / Software Engineering Subdivision 08 November
More informationFoundations of a New Software Engineering Method for Real-time Systems
-1- Main issues -8- Approach -2- Co-modeling -9- Abstraction -15- Algorithms -3- DRES Modeling -10- Implementation -16- xuml -4- DRES Modeling -11- RC phase -17- Action Language -5- DRES Modeling -12-
More informationOMG Workshop MDA. Tool Chains for MDA? Let's consider leaving our tool chains behind us.
Karl Frank Principal Architect: Product Strategy and Architecture kfrank@borland.com OMG Workshop MDA Tool Chains for MDA? Let's consider leaving our tool chains behind us. Please note the existence of
More informationComparative analyses for the performance of Rational Rose and Visio in software engineering teaching
Journal of Physics: Conference Series PAPER OPEN ACCESS Comparative analyses for the performance of Rational Rose and Visio in software engineering teaching To cite this article: Zhaojun Yu and Zhan Xiong
More informationITBIS393 Web-Based Information Systems
ITBIS393 Web-Based Information Systems Chapter 3: Modeling Web Applications Wieland Schwinger, Nora Koch Dr. Federico M. Facca Prof. Dr. Gregor Engels Prepared by Fadia Hijazie Modeling Web Applications
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 informationRIGOROUSLY AUTOMATING TRANSFORMATIONS OF UML BEHAVIOR MODELS
RIGOROUSLY AUTOMATING TRANSFORMATIONS OF UML BEHAVIOR MODELS Jon Whittle 1, João Araújo 2, Ambrosio Toval 3, and Jose Luis Fernández Alemán 3 1 QSS / NASA Ames Research Center, M/S 269-2, Moffett Field,
More informationCHAPTER 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 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 informationUNIT I. 3. Write a short notes on process view of 4+1 architecture. 4. Why is object-oriented approach superior to procedural approach?
Department: Information Technology Questions Bank Class: B.E. (I.T) Prof. Bhujbal Dnyaneshwar K. Subject: Object Oriented Modeling & Design dnyanesh.bhujbal11@gmail.com ------------------------------------------------------------------------------------------------------------
More informationSoftwaretechnik. Lecture 08: Testing and Debugging Overview. Peter Thiemann SS University of Freiburg, Germany
Softwaretechnik Lecture 08: Testing and Debugging Overview Peter Thiemann University of Freiburg, Germany SS 2012 Literature Essential Reading Why Programs Fail: A Guide to Systematic Debugging, A Zeller
More informationModel Abstraction versus Model to Text Transformation
Model Abstraction versus Model to Text Transformation Jon Oldevik, Tor Neple, Jan Øyvind Aagedal SINTEF Information and Communication Technology, Forskningsvn 1, N-0314 Oslo, Norway {jon.oldevik tor.neple
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 informationMetamodeling. Janos Sztipanovits ISIS, Vanderbilt University
Metamodeling Janos ISIS, Vanderbilt University janos.sztipanovits@vanderbilt.edusztipanovits@vanderbilt edu Content Overview of Metamodeling Abstract Syntax Metamodeling Concepts Metamodeling languages
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 informationObject-Oriented Design
Object-Oriented Design Lecture 14: Design Workflow Department of Computer Engineering Sharif University of Technology 1 UP iterations and workflow Workflows Requirements Analysis Phases Inception Elaboration
More informationUNIT II. Syllabus. a. An Overview of the UML: Visualizing, Specifying, Constructing, Documenting
UNIT II Syllabus Introduction to UML (08 Hrs, 16 Marks) a. An Overview of the UML: Visualizing, Specifying, Constructing, Documenting b. Background, UML Basics c. Introducing UML 2.0 A Conceptual Model
More informationLecture 05 ( ) High-Level Design with SysML. Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016
Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 05 (09-11-2015) High-Level Design with SysML Christoph Lüth Jan Peleska Dieter Hutter Where are we? 01: Concepts of Quality
More informationAUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS
MASTER THESIS AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS C.J.H. Weeïnk FACULTY OF ELECTRICAL ENGINEERING, MATHEMATICS AND COMPUTER SCIENCE SOFTWARE ENGINEERING EXAMINATION COMMITTEE dr.
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 informationACM Technical Solution Architecture - Development and Deployment of ACM Solutions- ECM Fast Start Workshop 1Q2011
ACM Technical Solution Architecture - Development and Deployment of ACM Solutions- ECM Fast Start Workshop 1Q2011 IBM ECM Worldwide Business Partner Technical Enablement Dr. Sebastian Goeser gsr@de.ibm.com
More informationScience 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 informationWhat's New in UML 2.0
What's New in UML 2.0 M.W.Richardson Lead Applications Engineer I-Logix UK mrichardson@ilogix.com What is UML? Unified Modeling Language Comprehensive full life-cycle 3 rd Generation modeling language
More information16 Evaluation Framework for Model-Driven Product Line Engineering Tools
16 Evaluation Framework for Model-Driven Product Line Engineering Tools J. Oldevik, A. Solberg, Ø. Haugen, and B. Møller-Pedersen Abstract Both the -driven development (MDD) approach and the product line
More informationOO Analysis and Design with UML 2 and UP
OO Analysis and Design with UML 2 and UP Dr. Jim Arlow, Zuhlke Engineering Limited Clear View Training 2008 v2.5 1 UML principles Clear View Training 2008 v2.5 2 1.2 What is UML? Unified Modelling Language
More informationA Model-driven approach to NLP programming with UIMA
A Model-driven approach to NLP programming with UIMA Alessandro Di Bari, Alessandro Faraotti, Carmela Gambardella, and Guido Vetere IBM Center for Advanced Studies of Trento Piazza Manci, 1 Povo di Trento
More informationCSSE 490 Model-Based Software Engineering: Transformation Systems
CSSE 490 Model-Based Software Engineering: Transformation Systems Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Plan for Today FacePamphlet Demo and Discussion
More informationDafny: An Automatic Program Verifier for Functional Correctness Paper by K. Rustan M. Leino (Microsoft Research)
Dafny: An Automatic Program Verifier for Functional Correctness Paper by K. Rustan M. Leino (Microsoft Research) Presentation by Patrick Spettel Seminar: Research Topics in Software Engineering, Spring
More informationCISC836: Models in Software Development: Methods, Techniques and Tools
CISC836: Models in Software Development: Methods, Techniques and Tools Topic 3: Expressing Software Models Expressing SW models: Overview 1. Examples of software modeling languages 1. UML (for modeling
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 informationLecture 11 Lecture 11 Nov 5, 2014
Formal Verification/Methods Lecture 11 Lecture 11 Nov 5, 2014 Formal Verification Formal verification relies on Descriptions of the properties or requirements Descriptions of systems to be analyzed, and
More information* Corresponding Author
A Model Driven Architecture for REA based systems Signe Ellegaard Borch, Jacob Winther Jespersen, Jesper Linvald, Kasper Østerbye* IT University of Copenhagen, Denmark * Corresponding Author (kasper@it-c.dk)
More informationResearch Paper on Implementation of OCL Constraints in JAVA
ISSN No. 0976-5697 Volume 8, No. 5, May June 2017 International Journal of Advanced Research in Computer Science RESEARCH PAPER Available Online at www.ijarcs.info Research Paper on Implementation of OCL
More informationA Metamodel independent approach for Conflict Detection to support distributed development in MDE. Mostafa Pordel A THESIS
A Metamodel independent approach for Conflict Detection to support distributed development in MDE By Mostafa Pordel mpl08001@student.mdh.se A THESIS Submitted in partial fulfillment of requirements for
More informationdeveloper.* The Independent Magazine for Software Professionals
developer.* The Independent Magazine for Software Professionals Improving Developer Productivity With Domain-Specific Modeling Languages by Steven Kelly, PhD According to Software Productivity Research,
More informationCITS5501 Software Testing and Quality Assurance Formal methods
CITS5501 Software Testing and Quality Assurance Formal methods Unit coordinator: Arran Stewart May 1, 2018 1 / 49 Sources Pressman, R., Software Engineering: A Practitioner s Approach, McGraw-Hill, 2005
More informationThe Model Driven (R)evolution. Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc.
The Model Driven (R)evolution Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc. Modeling Changes Everything! Throw out those pesky objects! Toss away your silly compilers! No more
More informationModel Driven Development of Component Centric Applications
Model Driven Development of Component Centric Applications Andreas Heberle (entory AG), Rainer Neumann (PTV AG) Abstract. The development of applications has to be as efficient as possible. The Model Driven
More informationCS560: Formal Modelling and Implementation of Systems (Term II) Lecture: CASE A. O Riordan, 2009.
CS560: Formal Modelling and Implementation of Systems (Term II) Lecture: CASE A. O Riordan, 2009. Software Engineering Tools Project Planning and Management tools Requirements tools Risk Analysis tools
More informationADT: Eclipse development tools for ATL
ADT: Eclipse development tools for ATL Freddy Allilaire (freddy.allilaire@laposte.net) Tarik Idrissi (tarik.idrissi@laposte.net) Université de Nantes Faculté de Sciences et Techniques LINA (Laboratoire
More informationModelling with Relational Calculus of Object and Component Systems - rcos
Modelling with Relational Calculus of Object and Component Systems - rcos Zhenbang Chen 1,5, Abdel Hakim Hannousse 1, Dang Van Hung 1, Istvan Knoll 3, Xiaoshan Li 2, Zhiming Liu 1, Yang Liu 1, Qu Nan 4,
More informationMethods for the Development
Methods for the Development Of Dependable and Adaptive Information Systems Carolina Gomez Hernandez Index of Contents History of Modeling Methods for the Development of DAIS: Model Driven Architecture
More informationM B S E. Model Transformations in Model-Based Systems Engineering. Chris Paredis Associate Director. Model-Based Systems Engineering Center
1 M B S E Model-Based Systems Engineering Center Model Transformations in Model-Based Systems Engineering Chris Paredis Associate Director Model-Based Systems Engineering Center Georgia Tech chris.paredis@me.gatech.edu
More informationA (Very) Short Introduction to Model-Driven Development (MDD)
A (Very) Short Introduction to Model-Driven Development (MDD) (MDD ~ Model-Driven Engineering (MDE)) Introduction to MDD by Jan Pettersen Nytun, UiA, page 1, 4-Aug-11 Content Some background info What
More information