Zurich, 17-18 March 2010 Ubiquitous Languages for Software Engineering Jean Bézivin mail AtlanMod Team (INRIA &

Slides:

Advertisements

Similar presentations

Major Influences on the Design of ODM Dan Chang (IBM) Elisa Kendall (Sandpiper) MDSW 2004.

Advertisements

UML an overview.

SEVENPRO – STREP KEG seminar, Prague, 8/November/2007 © SEVENPRO Consortium SEVENPRO – Semantic Virtual Engineering Environment for Product.

IBM Business Consulting Services © Copyright IBM Corporation 2006 Unified Process March 27, 2006 Chris Armstrong.

© 2010 University of California, Irvine – André van der Hoek1June 10, 2015 – 06:18:06 Informatics 121 Software Design I Lecture 10 André van der Hoek &

Page 1 Model Based Software Development - a pragmatic view Mikkel Lauritsen Intentia R&D A/S

Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.

Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.

Tony Hoare ¢ Turing Award 1980 ¢ Program Verification ¢ Algol 60 ¢ Axiomatic Semantics ¢ Floyd-Hoare Logic ¢ Concurrent Programs ¢ Communicating Sequential.

1 Conceptual Modeling of Topic Maps with ORM Versus UML Are D. Gulbrandsen The XML group, Center for Information Technology Services, University of Oslo,

1 DCS861A-2007 Emerging IT II Rinaldo Di Giorgio Andres Nieto Chris Nwosisi Richard Washington March 17, 2007.

Mining Metamodels From Instance Models: The MARS System Faizan Javed Department of Computer & Information Sciences, University of Alabama at Birmingham.

Semantic Web Research: Visual Modelling of OWL-S Services Computer Science Annual Workshop September 2004 Charlie Abela, James Scicluna Department of Computer.

Andrew SuttonKent State University1 Software Modeling Andrew Sutton Department of Computer Science Kent State University.

Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.

HL7 UK 2003 (c) Abies Ltd Modelling Clinical Information Using UML Tim Benson Abies Ltd

The MDE Diploma, a proposed curriculum in Model Driven Engineering The Post-Master MDE Diploma Model Driven Engineering for Software Management February.

1 Round Robin Interface LCA e-Learning Cascade Web Site Flavio Fontana ENEA Usability Lab CASCADE Review Meeting, November 2004, Bologna, Italy.

INRIA, Nice. December 7 th -8 th 2006 Evaluation protocol Evaluation process.

Applied Software Project Management Andrew Stellman & Jennifer Greene Applied Software Project Management Applied Software.

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

Metadata Tools and Methods Chris Nelson Metanet Conference 2 April 2001.

CIT UPES | Sept 2013 | Unified Modeling Language - UML.

1 MDWE'2008, Toulouse, France, September 30, 2008 A Comparative Analysis of Transformation Engines for User Interface Development Juan Manuel González.

Introduction to UML By: Prof. Aiman Hanna Department of Computer Science, Concordia University, Montreal, Canada.

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

I T & S A e r o s p a c eD e f e n c e THALES Research & Technology THALES recommendations for the final OMG standard on Query / Views / Transformations.

2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,

METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.

Zurich, March 2010 SEMAT Language Track. Zurich, March 2010 Language track proposal  General introduction  Each participant may provide.

From Code to XLIFF Bridging the Chasm Dr. Stephen Flinter Connect Global Solutions LRC Conference – 19 November 2003.

Programming in Java Unit 3. Learning outcome:  LO2:Be able to design Java solutions  LO3:Be able to implement Java solutions Assessment criteria: 

Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)

OOPSLA workshop on Domain-Specific Visual Languages 1 Juha-Pekka Tolvanen, Steven Kelly, Jeff Gray, Kalle Lyytinen.

© 2008 by Andrew Webb, Interface Ecology Lab. meta-metadata: an extensible semantic architecture for multimedia metadata definition, extraction, and presentation.

NoE Knowledge Web Dissemination Activities Guus Schreiber Scientific Director.

A language to describe software texture in abstract design models and implementation.

1 A Model-Driven Approach For Information System Migration Raymonde Le Delliou 1, Nicolas Ploquin 2, Mariano Belaunde 3, Reda Bendraou 4, Louis Féraud.

Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.

1 © 1999 Microsoft Corp.. Microsoft Repository Phil Bernstein Microsoft Corp.

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

Using XML to present computer program Qingsong Yao Qingsong Yao Department of Computer Science Department of Computer Science York University York University.

UML as a Specification Language for Embedded Systems. By, Mir Ahmed Ali, Asst. Professor, ECM department, SNIST. By, Prof. Narsiah sir, Director of School.

Course Introduction CEN 5016 Software Engineering Dr. David A. Workman School of EE and Computer Science January 9, 2007.

Software Engineering Emphasis for Engineering Computing Courses William Hankley Computing & Information Sciences Kansas State University.

KUFA UNIVERSITY Department of Computer Science 09/12/2015.

MNP1163 (Software Construction).  SDLC and Construction Models  Construction Planning  Construction Measurement.

OOPSLA workshop on Domain-Specific Visual Languages 1 Juha-Pekka Tolvanen, Steven Kelly, Jeff Gray, Kalle Lyytinen.

Lecture 9-1 : Intro. to UML (Unified Modeling Language)

ICIST 2011 Mar , Nanjing, China Visualization in Software Architecture Helen Wu 1 Let’s Enforce a Simple Rule in Software Architecture Helen.

Marcelo Tallis and Robert M. Balzer USC/ISI and Teknowledge Corp.

XASTRO-2 Presentation CCSDS SAWG th November 2004.

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.

Requirements Analysis

Session 1 What Is the UML? Written by Thomas A. Pender Published by Wiley Publishing, Inc. October 5, 2011 Presented by Kang-Pyo Lee.

Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.

Knowledge Engineering. Review- Expert System 3 Knowledge Engineering The process of building an expert system: 1.The knowledge engineer establishes a.

5. 2Object-Oriented Analysis and Design with the Unified Process Objectives  Describe the activities of the requirements discipline  Describe the difference.

Process Support Tools and Formalism Exploration Team Apache Information and Computer Science University of California, Irvine.

1 © 2013 Cengage Learning. All Rights Reserved. This edition is intended for use outside of the U.S. only, with content that may be different from the.

Phil Bernstein Microsoft Corp.

Implementing Language Extensions with Model Transformations

Modelling Clinical Information Using UML

Piotr Kaminski University of Victoria September 24th, 2002

Introduction to Software Engineering

FInal Presentation : Object Oriented Software Engineeering

Model Driven Software Development

Implementing Language Extensions with Model Transformations

Information System Building Blocks

Presentation transcript:

Zurich, March 2010 Ubiquitous Languages for Software Engineering Jean Bézivin mail AtlanMod Team (INRIA & EMN), Nantes, France

Zurich, March 2010 Main UML contribution: separation of concerns Other methodsBooch 91OOSEOMT-1 Booch 93OMT-2 OOPSLA’95 Unified Method O.8 UML 0.9 & 0.91 UML partners expertise UML 1.0 Submission of UML 1.0 to OMG for adoption (january 1997). (june 96 - oct. 96) public feedback november 1997 UML-RTF created UML autumn99 From Unified Method to Unified Language

Zurich, March 2010 Software Language Engineering  Ubiquitous languages For process and product For business and IT For objects, rules, events, etc. For code and data Normative and Proprietary Textual, Visual, Tabular, Form-based, … Grammar-based, metamodel-based, schema-based, … For professionals and end-users etc.

Zurich, March 2010 The impossible equation Number of professional programmers Number of applications USA: 90 Millions computer users; 50 Millions Spreadsheet & DB users; 12 Millions self described programmers; 3 Millions professional programmers; End-users Professional programmers

Zurich, March 2010 Towards a Language Definition Framework  We need an extensible collection of languages a framework to define these languages and their correspondances  to express Languages Language correspondances Situations/Phenomenon Tools (automated or not) Methods/Practices Skills Roles etc.  Are the existing frameworks satisfactory? BNF (Grammars), XML (Schemas), ECORE (Metamodels), Protégé (Ontologies)  If not do we need to build a new one?

Zurich, March 2010 Robin Milner Language is the raw material of software engineering, rather as water is the raw material for hydraulic engineering. The difference is that water is rather well understood by physical science; but software - as a raw material - is still not scientifically understood. Speech by Robin Milner on receiving an Honorary Degree from the University of Bologna