Blazo Nastov. Journée des doctorant, Nîmes, France 19 June 2014
|
|
- Cecily Hamilton
- 6 years ago
- Views:
Transcription
1 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 prouvables Blazo Nastov Laboratoire de Génie Informatique et d Ingénierie de Production Journée des doctorant, Nîmes, France 19 June 2014 Institut Mines-Télécom LGI2P - Ecole des Mines d Alès LIRMM - Université Montpellier 2 Blazo.Nastov@mines-ales.fr
2 Plan Context Creating DSMLs Model simulation & Property proof Limitations of existing works Conclusion and Perspectives 2
3 Systems Engineering Approach for designing complex systems Involves to create, manipulate and analyze models A model = an aspect of a system under study Engineers take and argue architectural decisions based on models Decisions have impact on the system functioning, safety, cost Engineers must have confidence in created models Confidence in a model if one is 1) Well formed and 2)The right model Model verification improves confidence in models 3
4 How to creating a DSML Language description Abstract syntax: metamodel Language concepts Relationships between concepts Concrete syntax Textual Graphical Define abstract syntax Define concrete syntax Semantics description An abstract syntax reveal a partial description of the language s semantics Such semantics may sometimes be ambiguous: Different specialists may have different understanding of a single model Types of semantics Denotational - a set of mathematical objects (denotations) which represents the meaning of the model Operational - how a model is interpreted as a sequence of computational steps Translational - translating a model into another language that is well understood 4
5 Model simulation & Property proof Case 1: Manipulate 3th party equivalent models Provide translational semantics Case 2: Directly manipulate created models Provide operational semantics DSML created by Model Translational Semantics based on translate into Target DSML created by Model Operational Semantics Simulate based on Operational Semantics DSML State of the art: based on create by Simulate Model A Design Pattern to Build Executable DSMLs and Associated V&V Tools (Combemale 2012) 5
6 Studied approach: concept A metamodel including multiple metamodels DDMM - Domain Definition Meta Model SDMM - State Definition Meta Model EDMM - Event Definition Meta Model TM3 - Trace Management Meta Model Semantics description A Property-Driven Approach for Formal Verification of process Models (Combemale 2008) Limitations State notion Event-State-Property notion Temporal dimension Stable state Property description Language interoperability MetaMetaModel (M3) Action Language or Model Transformation Metamodeling Language (e.g. MOF) MetaModel (M2) <<conforms to>> SDMM States Definition MetaModel <<merge>> <<changes>> <<conforms to>> <<merge>> TM3 Trace management MetaModel <<import>> Semantics Semantics Mapping <<trigerredby>> DDMM Domain Definition MetaModel <<merge>> EDMM Events Definition MetaModel 6
7 <<Resource>> Limitations of studied approach (1) 1) State notion and formalization Principle The behavior of a concept = state model The evolution of a concept = state change Example of a SDMM Limitation: concepts having large, possibly unlimited, number of states Example: Oil 5L <<Function>> F1 Example of EDMM Observation: the resource oil should be in a state of min 5L Proposal: SDMM extension Define a finite number of descriptive states (e.g. sufficient or insufficient) Quality and Quantity state variables Mixed 7
8 Limitations of studied approach (2) 2) Towards condition and event based transition approach Principle Define states in a SDMM Define events in a EDMM Define evolution properties Example (see SDMM and EDMM) For f Function { (f.state==authorised) AND ( i f.iteminputs,(i.state==present)) AND ( j f. resourceflowinputs,((j.requestedquantity >= j.sourceresource.availablequantity) AND (j.requestedquality == j.sourceresource.quality)))) implies executefunction(f) } Limitation: difficult to read and understand Proposal: use state machines to abstract SDMM and EDMM in order to improve readability and understandability Proposal: define transition firing, including an explicit conditional part clearly identified and separated from the SDMM and EDMM Example Authorised Cond1 ExecuteFunction Execution Cond1: {(f.state==authorised) AND ( i f.iteminputs,(i.state==present)) AND ( j f. resourceflowinputs, ( (j.requestedquantity >= j.sourceresource.availablequantity) AND (j.requestedquality == j.sourceresource.quality))))} 8
9 Limitations of studied approach (3) 3) Towards model transient states detection and management Principle Temporal properties are defined using TOCL Only one clock is considered Limitation: model stability is out of reach A model is in a stable state if it cannot evolve into another state, taking into account the inputs defined into an operational scenario A transient state of a concept is a state such that it is possible to change that state without modifying the inputs Example Firing conditions b 0 = A 1 a 1 = B 1 Scenario = (a 0,T 0, A 0, B 0 ) T 0 T 1 T 2 a 0 b 0 a 1 A 0 A 1 B 0 B 1 A 1 A 2 a 0 a 1 A 0 A 1 A 2 A 0 Result= (T 1, A 2, B 1 ) a 3 A 1 b 0 a 2 B 0 B 1 b 1 Proposal: consider model stability Introduce two types of clocks External: bound to the environment Internal: bound to the concept evolution Introduce evolution algorithm RI read input CFS calculate future state WO write output Initialize internal clock T i Initialize external clock T e RI CFS t 0 t 1 t 2 Increment external clock Stability is reached? Internal clock External clock WO 9
10 Limitations of studied approach (4) 4) Towards properties modeling language and checking techniques Principle A property should be verified at each execution (universal property), or at least once (existential property) Type of properties Structural properties Temporal properties Quantitative properties Limitation: considered approach is less advanced and profound compared to other property-driven approaches Proposal: study existing approached and extend then formalize the considered pattern 5) Towards modeling languages and models interoperability Limitation: model interoperability is out of reach of considered pattern Proposal: extend the pattern in order to handle model interoperability Model interoperability = Dynamic semantics interoperability Extend SDMM & EDMM DSML Model Ecore Define interoperability rules Interactions DSML Model 10
11 Studied approach: tools Kermeta - executable metamodeling language Define operational semantics trough aspect programming in imperative way ATL - Atlas Transformation Langage Define operational semantics through endogenous transformations in declarative way Define translational semantics through exogenous transformations in declarative way Main limitation and locks Programming related SE experts are not necessarily experts in programming 11
12 Synthesis Systems engineering Model confidence & verification techniques A complete language description is composed of An abstract syntax A concrete syntax A semantics description Simulation and property proof A Design Pattern to Build Executable DSMLs Limitations and Proposals 12
13 Publications B. Nastov, F. Pfister, Experimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling Languages. INFORSID 2014 (Selected for a special number of the review ISI) B. Nastov,Contribution to model verification: operational semantic for System Engineering modeling languages. CIEL 2014 B. Nastov, V. Chapurlat, C. Dony and F. Pfister. A verification approach from MDE applied to Model Based System Engineering: xeffbd dynamic semantic. CSD&M
Towards V&V suitable Domain Specific Modeling Languages for MBSE
Doctoral symposium, Nîmes France, 16 June 2016 Towards V&V suitable Domain Specific Modeling Languages for MBSE Laboratoire de Génie Informatique et d Ingénierie de Production Blazo Nastov 1, Vincent Chapurlat
More informationA Design Pattern for Executable DSML
A Design Pattern for Executable DSML Benoit Combemale, Xavier Crégut, Marc Pantel To cite this version: Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern for Executable DSML. [Research Report]
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 informationIntroducing Simulation and Model Animation in the MDE Topcased 1 Toolkit
Introducing Simulation and Model Animation in the MDE Topcased 1 Toolkit B. Combemale 1, X. Crégut 1, J.-P. Giacometti 2, P. Michel 3, M. Pantel 1 1: IRIT- ENSEEIHT, 2 Rue Charles Camichel, 31071 Toulouse
More informationTransformation of the system sequence diagram to an interface navigation diagram
Transformation of the system sequence diagram to an interface navigation diagram William Germain DIMBISOA PhD Student Laboratory of Computer Science and Mathematics Applied to Development (LIMAD), University
More informationFOUR INDEPENDENT TOOLS TO MANAGE COMPLEXITY INHERENT TO DEVELOPING STATE OF THE ART SYSTEMS. DEVELOPER SPECIFIER TESTER
TELECOM AVIONIC SPACE AUTOMOTIVE SEMICONDUCTOR IOT MEDICAL SPECIFIER DEVELOPER FOUR INDEPENDENT TOOLS TO MANAGE COMPLEXITY INHERENT TO DEVELOPING STATE OF THE ART SYSTEMS. TESTER PragmaDev Studio is a
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 informationThe GEMOC Initiative On the Globalization of Modeling Languages
The GEMOC Initiative On the Globalization of Modeling Languages Benoit Combemale (Inria & Univ. Rennes 1) http://people.irisa.fr/benoit.combemale benoit.combemale@irisa.fr @bcombemale SOFTWARE COLUMN SECTION
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 informationAn Introduction to MDE
An Introduction to MDE Alfonso Pierantonio Dipartimento di Informatica Università degli Studi dell Aquila alfonso@di.univaq.it. Outline 2 2» Introduction» What is a Model?» Model Driven Engineering Metamodeling
More informationKermeta tutorial. How to create an EMF meta model? François Tanguy, Didier Vojtisek, Zoé Drey, Marie Gouyette. Abstract
Kermeta tutorial How to create an EMF meta model? François Tanguy, Didier Vojtisek, Zoé Drey, Marie Gouyette Abstract This tutorial show how to create an EMF model for the FSM example. Published Build
More informationGenerative Technologies for Model Animation in the TOPCASED Platform
Generative Technologies for Model Animation in the TOPCASED Platform Xavier Crégut, Benoît Combemale 2, Marc Pantel, Raphaël Faudoux 3, and Jonatas Pavei,4 Université de Toulouse, IRIT - France, Firstname.Lastname@enseeiht.fr.
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 informationUse of Model Driven Engineering in Building Generic FCA/RCA Tools
Use of Model Driven Engineering in Building Generic FCA/RCA Tools J.-R. Falleri 1, G. Arévalo 2, M. Huchard 1, and C. Nebut 1 1 LIRMM, CNRS and Université de Montpellier 2, 161, rue Ada, 34392 Montpellier
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 informationRsaML : A Domain Specific Modeling Language for describing Robotic software architectures with integration of real-time properties.
RsaML : A Domain Specific Modeling Language for describing Robotic software architectures with integration of real-time properties. Valery M. Monthe Faculty of Sciences University of Yaounde 1 Yaounde,
More informationDiverSE s Seminar about Software Language Engineering
DiverSE s Seminar about Software Language Engineering May 28 th, 2015 Rennes, France http://people.irisa.fr/benoit.combemale/sleseminar2015 THE DIVERSE TEAM DiverSE s Seminar about SLE - May 28 th, 2015-2
More informationSemantic Specifications for Domain-Specific Modeling Languages
Semantic Specifications for Domain-Specific Modeling Languages Gabor Simko Institute for Software Integrated Systems Vanderbilt University Nashville, TN Abstract. While there is a generic agreement that
More informationATL: Atlas Transformation Language. ATL User Manual
ATL: Atlas Transformation Language ATL User Manual - version 0.7 - February 2006 by ATLAS group LINA & INRIA Nantes Content 1 Introduction... 1 2 An Introduction to Model Transformation... 2 2.1 The Model-Driven
More informationDominique Blouin Etienne Borde
Dominique Blouin Etienne Borde SE206: Code Generation Techniques dominique.blouin@telecom-paristech.fr etienne.borde@telecom-paristech.fr Institut Mines-Télécom Content Introduction Domain specific Languages
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 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 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 informationPragmatic integration of model driven engineering and formal methods for safety critical systems design
Pragmatic integration of model driven engineering and formal methods for safety critical systems design Marc Pantel and many others IRIT - ACADIE ENSEEIHT - INPT - Université de Toulouse Institute of Cybernetics
More informationTo be or not programmable Dimitri Papadimitriou, Bernard Sales Alcatel-Lucent April 2013 COPYRIGHT 2011 ALCATEL-LUCENT. ALL RIGHTS RESERVED.
To be or not programmable Dimitri Papadimitriou, Bernard Sales Alcatel-Lucent April 2013 Introduction SDN research directions as outlined in IRTF RG outlines i) need for more flexibility and programmability
More informationAdvances on cognitive automation at LGI2P / Ecole des Mines d'alès
Advances on cognitive automation at LGI2P / Ecole des Mines d'alès Doctoral research snapshot 2013-2014 July 2014 Research report RR/14-01 Foreword This research report sums up the results of the 2014
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 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 informationImproving the Definition of UML
Improving the Definition of UML Greg O Keefe Computer Sciences Laboratory Australian National University Outline The UML definition claims to be Outline The UML definition claims to be precise Outline
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 informationComposition and concurrent execution of heterogeneous domain-specific models
Composition and concurrent execution of heterogeneous domain-specific models A work part of the GEMOC initiative Benoit Combemale Associate Professor, University of Rennes 1 Research Scientist, INRIA benoit.combemale@irisa.fr
More informationSequence Diagram Generation with Model Transformation Technology
, March 12-14, 2014, Hong Kong Sequence Diagram Generation with Model Transformation Technology Photchana Sawprakhon, Yachai Limpiyakorn Abstract Creating Sequence diagrams with UML tools can be incomplete,
More informationTransforming models with ATL
The ATLAS Transformation Language Frédéric Jouault ATLAS group (INRIA & LINA), University of Nantes, France http://www.sciences.univ-nantes.fr/lina/atl/!1 Context of this work The present courseware has
More informationPetri Nets. Petri Nets. Petri Net Example. Systems are specified as a directed bipartite graph. The two kinds of nodes in the graph:
System Design&Methodologies Fö - 1 System Design&Methodologies Fö - 2 Petri Nets 1. Basic Petri Net Model 2. Properties and Analysis of Petri Nets 3. Extended Petri Net Models Petri Nets Systems are specified
More informationFormal Verification for safety critical requirements From Unit-Test to HIL
Formal Verification for safety critical requirements From Unit-Test to HIL Markus Gros Director Product Sales Europe & North America BTC Embedded Systems AG Berlin, Germany markus.gros@btc-es.de Hans Jürgen
More informationTOWARDS A MORE FLEXIBLE MODEL-DRIVEN ENGINEERING
TOWARDS A MORE FLEXIBLE MODEL-DRIVEN ENGINEERING Juan de Lara Computer Science Department Universidad Autónoma de Madrid (Spain) NWPT 12 Bergen, Norway MOTIVATION Model-Driven Engineering (MDE) is about
More informationOn 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 informationModel Driven Engineering (MDE) and Diagrammatic Predicate Logic (DPL)
Model Driven Engineering (MDE) and Department of Computer Engineering Faculty of Engineering Bergen University College NORWAY 06.06.2008 Institute of Mathematics and Informatics, Vilnius, LITHUANIA Project
More informationGénie Logiciel Avancé - Advanced Software Engineering A Brief Revision of UML
L3 Mention Informatique Parcours Informatique et MIAGE Génie Logiciel Avancé - Advanced Software Engineering A Brief Revision of UML Burkhart Wolff wolff@lri.fr Plan of the Chapter " The UML notation is
More informationA Model-Driven Approach for Telecommunications Network Services Definition
A Model-Driven Approach for Telecommunications Network Services Definition Vanea Chiprianov 1,3, Yvon Kermarrec 1,3,andPatrickD.Alff 2 1 Institut Telecom, Telecom Bretagne, UMR CNRS 3192 Lab-STICC Technopole
More informationUML Profile for MARTE: Time Model and CCSL
UML Profile for MARTE: Time Model and CCSL Frédéric Mallet 1 Université Nice Sophia Antipolis, Aoste team INRIA/I3S, Sophia Antipolis, France Frederic.Mallet@unice.fr Abstract. This 90 minutes tutorial
More informationAutomatic test generation based on functional coverage
12 juin 2014 Automatic test generation based on functional coverage Emmanuel Gaudin PragmaDev UCAAT 2014 PragmaDev French SME, Created in 2001 by 2 two experts in modelling tools and languages Since creation
More informationMeasuring Incrementally Developed Model Transformations Using Change Metrics
Measuring Incrementally Developed Model Transformations Using Change Metrics by Eyrak Paen A thesis submitted to the School of Computing in conformity with the requirements for the degree of Master of
More informationSPECIFICATION OF MODEL TRANSFORMATION AND WEAVING IN MODEL DRIVEN ENGINEERING
Dipartimento di Informatica Università di L Aquila Via Vetoio, I-67100 L Aquila, Italy http://www.di.univaq.it PH.D. THESIS IN COMPUTER SCIENCE XIX SPECIFICATION OF MODEL TRANSFORMATION AND WEAVING IN
More informationCIS 1.5 Course Objectives. a. Understand the concept of a program (i.e., a computer following a series of instructions)
By the end of this course, students should CIS 1.5 Course Objectives a. Understand the concept of a program (i.e., a computer following a series of instructions) b. Understand the concept of a variable
More informationStandards for Writing Requirements and Specifications. Drs. Schesser & Simone BME 496 Capstone II
Standards for Writing Requirements and Specifications 1 Standards for Requirements Documents Based on the ANSI/IEEE Guide to Software Requirements STD 830-1984 Requirements use the shall language The system
More informationSoftware 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 informationA Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science 152 (2006) 125 142 www.elsevier.com/locate/entcs A Taxonomy of Model Transformation Tom Mens 1 Software Engineering Lab Université de Mons-Hainaut Mons,
More informationRecommended Practice for Software Requirements Specifications (IEEE)
Recommended Practice for Software Requirements Specifications (IEEE) Author: John Doe Revision: 29/Dec/11 Abstract: The content and qualities of a good software requirements specification (SRS) are described
More informationUML 2.0 State Machines
UML 2.0 State Machines Frederic.Mallet@unice.fr Université Nice Sophia Antipolis M1 Formalisms for the functional and temporal analysis With R. de Simone Objectives UML, OMG and MDA Main diagrams in UML
More informationAn 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 informationVerification of Megamodel Manipulations Involving Weaving Models
Verification of Megamodel Manipulations Involving Weaving Models Andrés Vignaga and María Cecilia Bastarrica MaTE, Department of Computer Science, Universidad de Chile {avignaga,cecilia}@dcc.uchile.cl
More informationMODEL-DRIVEN ENGINEERING FOR IMPLEMENTING THE ISO SERIES OF INTERNATIONAL STANDARDS
MODEL-DRIVEN ENGINEERING FOR IMPLEMENTING THE ISO 19100 SERIES OF INTERNATIONAL STANDARDS CYRIL FAUCHER 1 & JEAN-YVES LAFAYE 2 1 IRISA/INRIA, Campus de Beaulieu, 35042, Rennes cedex, France 2 Laboratoire
More informationIntroduction To Model-to-Model Transformation
- 1 - Context of this work The present courseware has been elaborated in the context of the MODELPLEX European IST FP6 project ( http://www.modelplex.org/). Co-funded by the European Commission, the MODELPLEX
More informationTowards xmof: Executable DSMLs based on fuml www.modelexecution.org Tanja Mayerhofer, Philip Langer, Manuel Wimmer Business Informatics Group Institute of Software Technology and Interactive Systems Vienna
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 informationTowards an Integrated System Model for Testing and Verification
Towards an Integrated System Model for Testing and Verification Benjamin Hummel and Peter Braun MiSE 2008 Domain Development of controller software for production machines Special case of mechatronic system
More informationSoftware Engineering from a
Software Engineering from a modeling perspective Robert B. France Dept. of Computer Science Colorado State University USA france@cs.colostate.edu Softwaredevelopment problems Little or no prior planning
More informationWhite Paper on RFP II: Abstract Syntax Tree Meta-Model
White Paper on RFP II: Abstract Syntax Tree Meta-Model OMG Architecture Driven Modernization Task Force August 18, 2004 Contributors: Philip Newcomb, The Software Revolution, Inc. Ed Gentry, Blue Phoenix,
More informationPerformance Evaluation
A not so Short Introduction Why, Who, When and How? Jean-Marc Vincent 12 1 Laboratoire LIG, projet Inria-Mescal UniversitéJoseph Fourier Jean-Marc.Vincent@imag.fr 2 LICIA Laboratoire International de Calcul
More informationChallenges for advanced domain-specific modeling. István Ráth. Budapest University of Technology and Economics
Challenges for advanced domain-specific modeling frameworks István Ráth Dániel Varró Department of Measurement and Information Systems Department of Measurement and Information Systems Budapest University
More informationHistory-based Schemes and Implicit Path Enumeration
History-based Schemes and Implicit Path Enumeration Claire Burguière and Christine Rochange Institut de Recherche en Informatique de Toulouse Université Paul Sabatier 6 Toulouse cedex 9, France {burguier,rochange}@irit.fr
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 informationAn Implementation of the Behavior Annex in the AADL-toolset Osate2
2011 16th IEEE International Conference on Engineering of Complex Computer Systems An Implementation of the Behavior Annex in the AADL-toolset Osate2 Gilles Lasnier, Laurent Pautet Inst. TELECOM - TELECOM
More informationTOPCASED. Toolkit In OPen source for Critical Applications & SystEms Development
TOPCASED Toolkit In OPen source for Critical Applications & SystEms Development General presentation of the project A meta-modeling toolset The toolset architecture Services & Formats Demo / screenshots
More informationAADL Requirements Annex Review
Dominique Blouin Lab-STICC Université de Bretagne-Occidentale Université de Bretagne-Sud Bretagne, France 1 AADL Standards Meeting, April 23 th, 2013 Agenda Comments from Annex Document Review Motivations
More informationATHABASCA UNIVERSITY RULE ENHANCED BUSINESS PROCESS MODELING OF SERVICE ORIENTED ARCHITECTURES LUIS ROCHA. A project submitted in partial fulfillment
ATHABASCA UNIVERSITY RULE ENHANCED BUSINESS PROCESS MODELING OF SERVICE ORIENTED ARCHITECTURES BY LUIS ROCHA A project submitted in partial fulfillment Of the requirements for the degree of MASTER OF SCIENCE
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 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 informationHierarchical Composition and Abstraction In Architecture Models
Hierarchical Composition and Abstraction In Architecture Models Pam Binns and Steve Vestal Honeywell Labs {pam.binns, steve.vestal}@honeywell.com Supported by the Air Force Office of Scientific Research
More informationFormal Verification for UML/SysML models
Formal Verification for UML/SysML models IBM Research Lab - Haifa Content Formal verification v.s. testing Correctness properties Formal verification for Rhapsody models 2 Formal Verification Desired Properties
More informationTowards a PIM for virtual prototyping
Towards a PIM for virtual prototyping Adel SGHAIER, Thierry SORIANO, Skander TURKI Mechatronics department LIISIM SUPMECA Maison des technologies 83000 Toulon FRANCE Abstract: We work on the way of modelling
More informationSemantic Exploitation of Engineering Models: An Application to Oilfield Models
Semantic Exploitation of Engineering Models: An Application to Oilfield Models Laura Silveira Mastella 1,YamineAït-Ameur 2,Stéphane Jean 2, Michel Perrin 1, and Jean-François Rainaud 3 1 Ecole des Mines
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 informationVirtual Composition of EMF Models
Virtual Composition of EMF Models Cauê Clasen, Frédéric Jouault, Jordi Cabot To cite this version: Cauê Clasen, Frédéric Jouault, Jordi Cabot. Virtual Composition of EMF Models. 7èmes Journées sur l Ingénierie
More informationA PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING
A PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING Frédéric Boulanger Supélec Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France Email: Frederic.Boulanger@supelec.fr Guy
More informationKermeta tutorial. How to create a metamodel. François Tanguy, Didier Vojtisek. Abstract
Kermeta tutorial How to create a metamodel François Tanguy, Didier Vojtisek Abstract This tutorial is part of a serie of tutorials that explain step by step one of the aspect of Kermeta. This one will
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 informationBy: Chaitanya Settaluri Devendra Kalia
By: Chaitanya Settaluri Devendra Kalia What is an embedded system? An embedded system Uses a controller to perform some function Is not perceived as a computer Software is used for features and flexibility
More informationAMT2.0 - Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
AMT2.0 - Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic TACAS 2018 Dejan Ničković AIT Austrian Institute of Technology Olivier Lebeltel, Oded Maler, Dogan Ulus VERIMAG
More informationTwo Basic Correctness Properties for ATL Transformations: Executability and Coverage
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage Elena Planas 1, Jordi Cabot 2, and Cristina Gómez 3 1 Universitat Oberta de Catalunya (Spain), eplanash@uoc.edu 2 École
More informationLeveraging Model-Driven Engineering Techniques in Optimizing Compiler Research
Leveraging Model-Driven Engineering Techniques in Optimizing Compiler Research Tomofumi Yuki, Sanjay Rajopadhye, Robert France Colorado State University Antoine Floch, Clement Guy, Steven Derrien, Benoit
More informationSemantics via Syntax. f (4) = if define f (x) =2 x + 55.
1 Semantics via Syntax The specification of a programming language starts with its syntax. As every programmer knows, the syntax of a language comes in the shape of a variant of a BNF (Backus-Naur Form)
More informationLocally unique labeling of model elements for state-based model differences
Locally unique labeling of model elements for state-based model differences Citation for published version (APA): Protic, Z. (2010). Locally unique labeling of model elements for state-based model differences.
More information2nd Belgian-Dutch workshop on Software Evolution
2nd Belgian-Dutch workshop on Software Evolution BENEVOL 2004 8-9 July 2004 University of Antwerp Belgium Problem statement More and better tool support needed for software evolution traceability management
More informationTowards Language-Oriented Modeling
Towards Language-Oriented Modeling Benoit Combemale (Univ. Rennes 1, IRISA, DiverSE team) http://people.irisa.fr/benoit.combemale benoit.combemale@irisa.fr @bcombemale Complex Software-Intensive Systems
More informationReifying Concurrency for Executable Metamodeling
Reifying Concurrency for Executable Metamodeling Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France To cite this version: Benoit
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 informationThe Specifications Exchange Service of an RM-ODP Framework
The Specifications Exchange Service of an RM-ODP Framework X. Blanc (*+), M-P. Gervais(*), J. Le Delliou(+) (*)Laboratoire d'informatique de Paris 6-8 rue du Capitaine Scott F75015 PARIS (+)EDF Research
More informationSupply Tank 1. Storage Tank 1 TE1. Supply Tank 2. Storage Tank 2 TE2
AN APPROACH BASED ON DYNAMIC UML DIAGRAMS AND ON A TOKEN PLAYER ALGORITHM FOR THE SCENARIO VERIFICATION OF REAL TIME SYSTEMS Stéphane Julia, Elis^angela Mieko Kanacilo Faculdade de Ci^encia da Computaοc~ao,
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 informationLecture: Simulation. of Manufacturing Systems. Sivakumar AI. Simulation. SMA6304 M2 ---Factory Planning and scheduling. Simulation - A Predictive Tool
SMA6304 M2 ---Factory Planning and scheduling Lecture Discrete Event of Manufacturing Systems Simulation Sivakumar AI Lecture: 12 copyright 2002 Sivakumar 1 Simulation Simulation - A Predictive Tool Next
More informationOn Using UML Profiles in ATL Transformations
On Using UML Profiles in ATL Transformations Manuel Wimmer and Martina Seidl Business Informatics Group, Vienna University of Technology, Austria {wimmer seidl}@big.tuwien.ac.at Abstract. For defining
More informationExpressing variability for design patterns re-use
Expressing variability for design patterns re-use Nicolas Arnaud Agnès Front Dominique Rieu LSR-IMAG, équipe SIGMA 681 rue de la passerelle BP 72 38402 Saint Martin d Hères Cedex {surname.name}@imag.fr
More informationMONIKA HEINER.
LESSON 1 testing, intro 1 / 25 SOFTWARE TESTING - STATE OF THE ART, METHODS, AND LIMITATIONS MONIKA HEINER monika.heiner@b-tu.de http://www.informatik.tu-cottbus.de PRELIMINARIES testing, intro 2 / 25
More informationApplication: Programming Language Semantics
Chapter 8 Application: Programming Language Semantics Prof. Dr. K. Madlener: Specification and Verification in Higher Order Logic 527 Introduction to Programming Language Semantics Programming Language
More informationOn the Use of Alloy in Engineering Domain Specific Modeling Languages
PhD-FSTC-2017-57 The Faculty of Science, Technology and Communication DISSERTATION Presented on the 16 th October 2017 in Luxembourg to obtain the degree of Docteur de L Université du Luxembourg en Informatique
More informationTowards xmof: Executable DSMLs based on fuml
Towards xmof: Executable DSMLs based on fuml Tanja Mayerhofer Vienna University of Technology, Austria mayerhofer@big.tuwien.ac.at Philip Langer Vienna University of Technology, Austria langer@big.tuwien.ac.at
More informationStart Up Benoît Langlois / Thales Global Services Eclipse (EMFT) EGF 2011 by Thales; made available under the EPL v1.
www.thalesgroup.com Start Up Benoît Langlois / Thales Global Services 2 / Introduction EGF Architecture Concepts & Practice EGF Portfolios 3 / Introduction EGF Architecture Concepts & Practice EGF Portfolios
More informationQ Body of techniques supported by. R precise mathematics. R powerful analysis tools. Q Rigorous, effective mechanisms for system.
Introduction to Formal Methods 1 Introduction to Formal Methods 2 Formal Specification Requirements specification R notational statement of system services Software specification R formal abstract depiction
More information