generic tools - specific languages (phd defense slides)
DESCRIPTION
Generic Tools, Specific Languages (GTSL) is an approach for developing tools and applications in a way that supports easier and more meaningful adaptation to specific domains. To achieve this goal, GTSL generalizes programming language IDEs to domains traditionally not addressed by languages and IDEs. At its core, GTSL represents applications as documents/programs/models expressed with suitable languages. Application functionality is provided through an IDE that is aware of the languages and their semantics. The IDE provides editing support, and also directly integrates domain-specific analyses and execution services. Applications and their languages can be adapted to increasingly specific domains using language engineering; this includes developing incremental extensions to existing languages or creating additional, tightly integrated languages. Language workbenches act as the foundation on which such applications are built.TRANSCRIPT
1The Problem
„ “The majority of our interviewees were very successful with MDE but all of them either built their own modeling tools, made heavy adaptations of off-the-shelf tools, or spent a lot of time finding ways to work around tools. The only accounts of easy-to-use, intuitive tools came from those who had developed tools themselves for bespoke purposes. Indeed, this suggests that current tools are a barrier to success rather than an enabler.
„ “Complexity problems are typically associated with off-the- shelf tools. Of particular note is accidental complexity – which can be introduced due to [..] [the] lack of flexibility to adapt the tools to a company’s own context [..]
„ “Our interviews point to a strong need for tailoring of some sort: either tailor the tool to the process, tailor the process to the tool, or build your own tool that naturally fits your own process. Based on our data, it seems that, on balance, it is currently much easier to do the latter.
2GTSL Solution
Tools
Language EngineeringTools
Language EngineeringTools
GTSL
Tools areways to
work withData.
Tools areways to
work withData.{ author
readanalyzeprocess
Data Formats are
almostLanguages.
Data Formats are
almostLanguages.
Structure, Constraints, SemanticsData Format
[almost]
Structure, Constraints, Semantics+ Syntax + IDEData Format
Language
[almost]
Structure, Constraints, Semantics+ Syntax + IDEData Format
Language
[almost]
Language Engineering}authoranalyze
composeexecute
Structure, Constraints, Semantics+ Syntax + IDEData Format
Language
Language Workbenches„ “Generic Tools
[almost]
Language Engineering}authoranalyze
composeexecute
Language EngineeringTools
GTSL
ToolsLanguage
Engineering
EmbeddedSoftware
ToolsLanguage
Engineering
EmbeddedSoftware
applies GTSLto embedded software engineering
An extensible set of integrated languagesfor embedded software engineering.
„ “Specific Languages
Open Source @ eclipse.orgEclipse Public License 1.0http://mbeddr.com
3The Language
Workbench
Open SourceApache 2.0http://jetbrains.com/mps
Projectional Editing
Parsing
[Projectional Editing]
Parsing Projectional Editing
[Projectional Editing]
Regular Code/Text Mathematical
Tables Graphical
Syntactic Flexibility[Projectional Editing]
L2 L1
Separate Files In One File
Type SystemTransformationConstraints
Type SystemTransformationConstraintsSyntaxIDE
Language Composition[Projectional Editing]
4Demo
5Contributions
A new Paradigm for Tools
A new Paradigm for Tools„ “... built their own modeling tools ...
... made heavy adaptations ... work arounds ...
... accidental complexity ...
... strong need for tailoring ...
A new Paradigm for Tools
GTSL makes extensionand adaption first-class.
Large Scale Evaluation of
Language Engineering, Projectional
Editing and MPS
A new Paradigm for Tools
Large Scale Evaluation of
Language Engineering, Projectional
Editing and MPS
A new Paradigm for Tools
~10 developersover 3 years60+ languages/extensions
A new Paradigm for Tools
Large Scale Evaluation of
Language Engineering, Projectional
Editing and MPS
A real-worldEmbedded Dev
Tool
6Status
itemis France: Smart MeterBMW: Autosar ComponentModellwerkstatt: ASIC Test GeneratorFortiss: Pacemaker Case StudyOpen Source: Arduino IntegrationA colleague: Synthesizer
Evaluation ongoing by several big companies
ACCEnTControl.Lab
Version 3.1 imminent:Better Performance, Graphical EditorsBetter Tables, Tooltips, Better Console
A new Paradigm for Tools
applying GTSLto business applications
(same generic tool: MPS)
A new Paradigm for Tools
Insurance rules and products
1
Insurance rules and products
Tax/Benfits Rules (DTA Toeslagen)
1
2
Insurance rules and products
Tax/Benfits Rules (DTA Toeslagen)
1
2
Jos Warmer
Gert Veldhuijzen van Zanten
One Sentence Summary TM
One Sentence Summary
If you have to build a tool,consider using an LWB as
the foundation, and recasting the „application“
as a set of languages.
TM
One Sentence Summary TM
G e n e r i c T o o l s
S p e c i f i c L a n g u a g e s
If you have to build a tool,consider using an LWB as
the foundation, and recasting the „application“
as a set of languages.
G e n e r i c T o o l s
S p e c i f i c L a n g u a g e s
Thank you!for coming today
Thanksmbeddr Team
Bernd KolbDan Ratiu
Domenik PavleticKolja Dummann
Sascha LissonTamas Szabo
Zaur MolotnikovBernhard Schätz
Wolfgang Neuhaus
MPS TeamAlexander Shatalin
Konstantin SolomatovSergey Dmitriev
Fedor IsakovMihail MuhinVaclav Pech
Julia BeliaevaArtem TikhomirovEvgeny Gryaznov
Evgeny GerashchenkoSimon Alperovich
TU DelftEelco Visser
Arie van DeursenTamara Brusik„The Beadle“
+ more people, mentioned in the printed thesis.
CommitteePieter Jonker
Friedrich SteimannKlaus OstermannKoen Langendoen
Jozef HoomanPeter Wieringa