Reusable Specification of Non-functional Properties in DSLs Francisco Durán, Steffen Zschaler, and Javier Troya 28 September, 2012.

Slides:

Advertisements

Similar presentations

Aspect Orientation for Your Language of Choice Florian Heidenreich, Jendrik Johannes, Steffen Zschaler Workshop on Aspect-Oriented Modelling 30 September,

Advertisements

Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University.

ARTIST2 - MOTIVES Trento - Italy, February 19-23, 2007 Model Transformation and UML Reiko Heckel University of Leicester, UK Foundations of Model Transformation.

Higher-Order Transformation Eugene SyrianiandHans Vangheluwe.

© 2007 ATLAS Nantes 1 Atlas Model Weaver Use Case: Aspect Oriented Modeling Marcos Didonet Del Fabro Atlas Group (INRIA & LINA), Université de Nantes,

McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab MPM’09 Explicit Transformation Modelling Thomas.

The Knowledge Industry Survival Strategy (KISS) Tony Clark, Thames Valley University, London, UK Jorn Bettin, Sofismo, Switzerland.

Interface Automata 29-September Modeling Temporal Behavior of Component Component behaves with Environment Traditional (pessimistic) approach –

Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.

Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.

Object-Oriented Theories for Model Driven Architecture Tony Clark, King’s College, UK. Andy Evans, University of York, UK. Robert France, Colorado University,

Meaningful Modeling: What’s the Semantics of “Semantics”? David Harel, Weizmann Institute of Science Bernhard Rumpe, Technische Universität Braunschweig.

Comparing M2T & M2M Complementary Approaches © 2008 INRIA, University of York & SINTEF Comparing M2T & M2M Complementary Approaches Hugo Bruneliere,

1 Ivano Malavolta, University of L’aquila, Computer Science Department Ivano Malavolta DUALLy: an Eclipse platform for architectural languages interoperability.

Cheng/Dillon-Software Engineering: Formal Methods Model Checking.

Composing Models: Principles & Techniques © Copyright TUBS & TUD Composing Models: Principles & Techniques Steven Völkel & Jendrik Johannes.

An Information Theory based Modeling of DSMLs Zekai Demirezen 1, Barrett Bryant 1, Murat M. Tanik 2 1 Department of Computer and Information Sciences,

Bridging the chasm between MDE and the world of compilation Nondini Das 1.

Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.

Robert Tairas, Marjan Mernik, Jeff Gray Using Ontologies in the Domain Analysis of Domain-Specific Languages Workshop on Transformation and Weaving Ontologies.

Yu Sun 1, Zekai Demirezen 1, Marjan Mernik 2, Jeff Gray 1, Barret Bryant 1 1 Department of Computer and Information Sciences, University of Alabama at.

 Dipl.-Ing. Lars Grunske, 1 Hasso-Plattner-Institute for Software System Engineering at the University of Potsdam Department of Software Engineering and.

MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie

Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France

Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.

Formalizing the Asynchronous Evolution of Architecture Patterns Workshop on Self-Organizing Software Architectures (SOAR’09) September 14 th 2009 – Cambrige.

Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.

Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering

©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 Object-oriented and Structured System Models.

On the Combination of Domain Specific Modeling Languages Antonio Vallecillo GISUM/Atenea Research Group ECMFA, Paris, June 2010.

Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.

WP 3.3 © Copyright Xactium, TUBS & TUD How to build a set of DSLs: from Theory to Practise Xactium, TUBS, Jendrik Johannes (TUD)

Naam An Ontology-Based Metalanguage with Explicit Instantiation Alfons Laarman Committee: Dr. Ivan Kurtev Dr. Ir. Klaas van den Berg Arda Goknil, Msc.

On the Role of Abstract Platform in Model Driven Development* Marten van Sinderen Centre for Telematics and Information Technology, University of Twente,

Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.

Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.

Verification of behavioural elements of UML models using B Truong, Ninh-Thuan and Souquieres, Jeanine In Proceedings of the 2005 ACM Symposium on.

® IBM Software Group © 2006 IBM Corporation Diagram Definition: Initial Submission Maged Elaasar, IBM ADTF, OMG June 2009, San Jose,

Automata Based Method for Domain Specific Languages Definition Ulyana Tikhonova PhD student at St. Petersburg State Politechnical University, supervised.

OOPSLA workshop on Domain-Specific Modeling (DSM’03) 1 Vasco Amaral, Univ. of Mannheim Steve Cook, Microsoft Daniel Dvorak, JPL/Cal Tech Lars Grunske,

Visual Specification of a DSL Processor Debugger Tamás Mészáros and Tihamér Levendovszky Budapest University of Technology and Economics.

Semantics for DSL Group Members: Ritu Arora, Diyang Chu, Zekai Demirezen, Jeff Gray, Jacob Gulotta, Luis Pedro, Arturo Sanchez, Greg Sullivan,Ximing Yu.

MDD approach for the Design of Context-Aware Applications.

Towards Using Constructive Type Theory for Verifiable Modular Transformations Steffen Zschaler, Iman Poernomo, Jeffrey Terrell FREECO’11 Lancaster, 26.

Slide 1 Service-centric Software Engineering. Slide 2 Objectives To explain the notion of a reusable service, based on web service standards, that provides.

Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.

DS(M)Ls for End-Users and Domain Experts? Panel on Creating DSLs Models in Software Engineering Workshop Zurich, Switzerland June 3, 2012 Jeff Gray University.

Duminda WijesekeraSWSE 623: Introduction1 Introduction to Formal and Semi- formal Methods Based on A Specifier's Introduction to Formal Methods (J. Wing)

MULTIMEDIA DATA MODELS AND AUTHORING

FUNCTIONAL PROGRAMING AT WORK - HASKELL AND DOMAIN SPECIFIC LANGUAGES Dr. John Peterson Western State Colorado University.

Automaton-Based Approach for Defining Dynamic Semantics of DSLs Ulyana Tikhonova St. Petersburg State Polytechnical University,

AUTOMATIC GENERATION OF MODEL TRAVERSALS FROM METAMODEL DEFINITIONS Authors: Tomaž Lukman, Marjan Mernik, Zekai Demirezen, Barrett Bryant, Jeff Gray ACM.

George Edwards Computer Science Department Center for Systems and Software Engineering University of Southern California

Page 1 Hitachi Ltd. – FhI FOKUS TTCN-3 User Conference, June 2005 MDA based approach for generation of TTCN-3 test specifications Hideto Ogawa, Hitachi.

CHESS Methodology and Tool Federico Ciccozzi MBEES Meeting Sälen, January 2011 January 2011.

Object-oriented and Structured System Models

Sumant Tambe* Akshay Dabholkar Aniruddha Gokhale

SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.

Extending Model-Driven Engineering in Tango

SysML v2 Formalism: Requirements & Benefits

Towards trustworthy refactoring in Erlang

Model-Driven Analysis Frameworks for Embedded Systems

MID: A MetaCASE Tool for a Better Reuse of Visual Notations

Implementing Language Extensions with Model Transformations

TDL: The ETSI Test Description Language

TDL: The ETSI Test Description Language

Ivan Kurtev, Klaas van den Berg Software Engineering Group

TDL: The ETSI Test Description Language

Implementing Language Extensions with Model Transformations

Modular Language Engineering

Presentation transcript:

Reusable Specification of Non-functional Properties in DSLs Francisco Durán, Steffen Zschaler, and Javier Troya 28 September, 2012

Context Model-driven Engineering (MDE) –Domain-Specific Languages defined through Metamodels (abstract syntax) Graphics (concrete syntax) Language Semantics –Models are token models –Semantics is given through rewriting Specified using in-place model transformations 28/09/2012(c) Durán, Zschaler, Troya2

Example: A Production Line 28/09/2012(c) Durán, Zschaler, Troya3

Non-functional Properties 28/09/2012(c) Durán, Zschaler, Troya4

Analysis Opportunities DSL models Defined by the user + Behavioral Model Behavioral Model Structural Model Structural Model Ecore (MOF) José E. Rivera, Francisco Durán and Antonio Vallecillo: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. In Rewriting Logic and Its Applications, LNCS 6381, pp. 174–190 28/09/2012 Observer values after simulation give predictions, (Probabilistic) Model checking can be used to verify satisfaction of NFPs Observer values after simulation give predictions, (Probabilistic) Model checking can be used to verify satisfaction of NFPs

28/09/2012(c) Durán, Zschaler, Troya6 A Different Example Problem: Complete redefinition of response time. Better: Extract definition of response time into a separate DSL and weave it in. Problem: Complete redefinition of response time. Better: Extract definition of response time into a separate DSL and weave it in.

Modularised Response Time Observer 28/09/2012(c) Durán, Zschaler, Troya7 MM ResponseTime Server, Queue, Request

Weaving Languages 28/09/2012(c) Durán, Zschaler, Troya8

Weaving Languages 28/09/2012(c) Durán, Zschaler, Troya9

Weaving Languages (2) 28/09/2012(c) Durán, Zschaler, Troya10

Weaving Languages (2) 28/09/2012(c) Durán, Zschaler, Troya11

Sanity Conditions Need to ensure that adding observers does not change behaviours Transformation step possible for model expressed in DSL  Step still possible in the same model expressed in DSL + Observers (possibly including appropriate observer objects) For any legal model and transformation sequence 28/09/2012(c) Durán, Zschaler, Troya12 This condition can only be checked once the merge has been performed. We provide conditions to be checked of the observer model and the binding that imply the condition below. This condition can only be checked once the merge has been performed. We provide conditions to be checked of the observer model and the binding that imply the condition below.

Conclusions We show composition of language semantics –For DSLs based on in-place transformation –For conservative extensions Two checkable conditions to verify consistency of such extensions –One can be checked of observer language independent of composition Currently working to weaken some of the assumptions made on base language and binding, etc. 28/09/2012(c) Durán, Zschaler, Troya13

QUESTIONS? 28/09/2012(c) Durán, Zschaler, Troya14