OOPSLA Workshop on Domain-Specific Modeling Tools Workgroup

Slides:



Advertisements
Similar presentations
1 Ontolog OOR Use Case Review Todd Schneider 1 April 2010 (v 1.2)
Advertisements

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Component Development for the Component Description Framework (CDF) Training Dr.-Ing. Ulrich Dinger.
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Verification of DSMLs Using Graph Transformation: A Case Study with Alloy Zekai Demirezen 1, Marjan Mernik 1,2, Jeff Gray 1, Barrett Bryant 1 1 Department.
Exercise lecture : Exercise 2 and 3 Rune / Yun. Overview Intro to exercise 3 Aspects from exercise 2.
Formal Techniques in Software Engineering Universiteit AntwerpenIntroduction 1.1 Formal Techniques in Software Engineering 3de BAC Informatica Chapter.
The Knowledge Industry Survival Strategy (KISS) Tony Clark, Thames Valley University, London, UK Jorn Bettin, Sofismo, Switzerland.
Chess Review May 10, 2004 Berkeley, CA Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos.
Institute For Software Integrated Systems Vanderbilt University Applications of Model Integrated Computing to The Synchronous Language Signal Ethan Jackson.
Chess Review May 11, 2005 Berkeley, CA Formal Semantics of Metamodeling Frameworks Ethan Jackson ISIS, Vanderbilt University Semantic Anchoring Infrastructure.
Using the Vanderbilt Generic Modeling Environment (GME) to Address SOA QoS Sumant Tambe Graduate Intern, Applied Research, Telcordia Technologies Inc.
Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.
Mining Metamodels From Instance Models: The MARS System Faizan Javed Department of Computer & Information Sciences, University of Alabama at Birmingham.
Comparing M2T & M2M Complementary Approaches © 2008 INRIA, University of York & SINTEF Comparing M2T & M2M Complementary Approaches Hugo Bruneliere,
Spectra Software Defined Radio Products Applying Model Driven Design, Generative Programming, and Agile Software Techniques to the SDR Domain OOPSLA '05.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
XML in Development of Distributed Systems Tooling Programming Runtime.
Introduction to MDA (Model Driven Architecture) CYT.
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
Institute for Software Integrated Systems Vanderbilt University Copyright © Vanderbilt University/ISIS 2008 Model Interpreters Janos Mathe based on Peter.
What is MOF? The Meta Object Facility (MOF) specification provides a set of CORBA interfaces that can be used to define and manipulate a set of interoperable.
Copyright © 2009 AtlanMod. All Rights Reserved Frédéric Jouault & Hugo Bruneliere AtlanMod team (INRIA & Mines de Nantes) Possible Benefits of Bridging.
Integration of Clinical Workflows with Privacy Policies on a Common Semantic Domain Jan Werner, Bradley Malin, Yonghwan Lee, Akos Ledeczi, Janos Sztipanovits.
Domain-Specific Development Stuart Kent, Senior Program Manager, DSL Tools, Visual Studio Team System, Microsoft.
11 CORE Architecture Mauro Bruno, Monica Scannapieco, Carlo Vaccari, Giulia Vaste Antonino Virgillito, Diego Zardetto (Istat)
Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.
Semantic Foundations for Model-Integrated Computing A panel at the First OMG MIC Workshop Arlington, VA October 14, 2004 Jeff Gray, University of Alabama.
Evaluation of Development Tools for Domain-Specific Modeling Languages D. Amyot, H. Farah, J.-F. Roy with contributions from Y. Chu and N. Janmohamed SAM.
1 © 1999 Microsoft Corp.. Microsoft Repository Phil Bernstein Microsoft Corp.
DSL Classification October 21-22, 2007 Benoît Langlois / Thales-EPM Consuela-Elena Jitia / Eric Jouenne, Thales Research & Technology The 7th OOPSLA Workshop.
Automated Transformation of Statements Within Evolving Domain Specific Languages Peter Bell CEO/CTO, SystemsForge 7th OOPSLA Workshop on Domain-Specific.
1 24 October 2004 Vancouver, Canada The 4th OOPSLA Workshop on Domain-Specific Modeling Group reports.
Shravana Kumar Musunuri, Jimmy Mathews Advisors: Dr. Joseph Picone Dr. David Gao Powertrain Design Tools Project The GENERIC MODELING ENVIRONMENT (GME)
Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages Kai Chen Janos Sztipanovits Sandeep Neema Matthew Emerson Sherif Abdelwahed.
1 Partial Domain Specific Models Jos WarmerOrdina Anneke KleppeUniversity of Twente OOPSLA Workshop on Domain Specific Modeling,
11 CORE Architecture Mauro Bruno, Monica Scannapieco, Carlo Vaccari, Giulia Vaste Antonino Virgillito, Diego Zardetto (Istat)
Metamodeling and Modeling language for Systems Biology SB-UML Magali ROUX-ROUQUIE CNRS, Paris.
ModTransf A Simple Model to Model Transformation Engine Cédric Dumoulin.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
Requirement Engineering with URN: Integrating Goals and Scenarios Jean-François Roy Thesis Defense February 16, 2007.
4 th Workshop for TAO and CIAO July 16, 2004 MOF-Compliant Modeling of Middleware Jeff Parsons & Matt Emerson ISIS Vanderbilt University Nashville, TN.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML: UML 2 Metamodel Note to Instructor: The material in this.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
X-RAY. A java project can be scanned for instances of design patterns The results are represented in a table – design pat- tern participants are associated.
Seminar Model Driven Software Engineering What is it? Topics Requirements Schedule Contact.
Application generation Peter Bell SystemsForge Peter Bell SystemsForge Beyond Scaffolding.
SysML 2.0 Requirements for Visualization
SysML v2 Formalism: Requirements & Benefits
Daniel Amyot and Jun Biao Yan
Populating a Data Warehouse
Introduction to SysML v.2.0 Metamodel (KerML)
Chapter 2 Database Environment Pearson Education © 2009.
Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel
Implementing Language Extensions with Model Transformations
CdmCL, a Specific Textual Constraint Language for Common Data Model
Populating a Data Warehouse
Constructing MDA-based Application Using Rational XDE for .NET
IDEAS Core Model Concept
Metadata The metadata contains
Towards an Open Meta Modeling Environment
Overview of the ETSI Test Description Language
Tools for ODP – an MDA approach
Implementing Language Extensions with Model Transformations
Chapter 2 Database Environment Pearson Education © 2009.
Graphical Modeling of INFOD applications
Chapter 2 Database Environment Pearson Education © 2009.
Comparing UML 2.0 Interactions and MSC-2000
Software Architecture & Design
Presentation transcript:

OOPSLA Workshop on Domain-Specific Modeling Tools Workgroup

Tools - issues Experiences on using metamodeling/metaCASE tools What kind of metametamodel? What other than metamodel (concepts) must be supperted by tools What type of functionality is needed: feature list? Tool integration – based on metamodels External or integrated generator

Background Summarized three experiences GME Microsoft strategy Intentional Programming

Tool Features Metamodel definition Multiple syntaxes Structure and semantics of DSML Small as possible meta-metamodel (but no smaller) Extensibility Multiple syntaxes Graphical Textual Queries/Updates on MM instances For well-formedness For synchronization tasks (including transformations and generators) For semantic propagation e.g. copy, delete For aspects and patterns in modeling languages

Tool Features, 2 Import and export of model information Standard XML grammars Custom formats Synchronization between models and artifacts Tool Integration Debugging SCC Testing and verification Repository? Problem of database vs. file systems Metadata at runtime? Set of inter-related DSMLs at different levels of abstraction Relation to product lines