![](bg9.png)
list, and not yet implemented). The tool includes a
"zoo" (Favre, 2006) of numerous example cases. The
Diagraph is released under an open-source license at
http://code.google.com/p/diagraph/.
Our current work is to design functional models
such as eFFBD (Pfister et al., 2012), which are hierar-
chical decompositions in the sense of IDEF0 (Ross,
1977), and also are executable models (timed Petri
nets), even if the operational semantics is not a part
of our research.
Abstract syntax and concrete syntax coevolution
is realized de facto by Diagraph. As a future work,
we would like to master the coevolution of a language
(abstract and concrete syntax) and existing instances
of that language.
We also would like to (semi) automatize the gen-
eration of a Diagraph grammar, by analyzing patterns
in the abstract syntax. Such patterns would drive the
concrete syntax: in fact they are concrete-syntax in-
tentions. We think about integrating the annotation
mechanism in the refactoring process of Eclipse, and
to improve the editor with code completion. A long-
term objective is building concrete syntaxes by ab-
stract syntax patterns recognition, but also, at a dif-
ferent (lower) meta-level, building model by imitat-
ing model patterns taken from a thematic repository.
Another objective is to improve the megamodel man-
agement by splitting the abstract syntax in several
metamodels. At last, we would like promoting the
Diagraph metamodel at the M3 level.
REFERENCES
Baetens, N. (2011). Comparing graphical DSL editors:
AToM3 , GMF, MetaEdit+. Technical report, Univer-
sity of Antwerp, Antwerp, Belgium.
Brambilla, M., Cabot, J., and Wimmer, M. (2012). Model-
Driven Software Engineering in Practice. Morgan
Claypool.
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., and
Grose, T. J. (2003). Eclipse Modeling Framework
(The Eclipse Series).
Castro Alves, A. (2011). OSGi in Depth. Manning.
Combemale, B., Garoche, P.-L., Crégut, X., and Thirioux,
X. (2007). Towards a Formal Verification of Pro-
cess Model’s Properties – SimplePDL and TOCL case
study. In 9th International Conference on Enterprise
Information Systems ICEIS, pages 80–89. INSTICC
press.
Eclipse (2001). About the Eclipse Foundation.
Falleri, J.-R., Huchard, M., Lafourcade, M., and Nebut, C.
(2008). Meta-model Matching for Automatic Model
Transformation Generation. In MODELS’08: 11th
International Conference on Model Driven Engineer-
ing Languages and Systems, volume 5301, pages 326–
340.
Favre, J.-M. (2006). Megamodelling and Etymology. In
Transformation Techniques in Software Engineering.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Garshol, L. M. (2003). BNF and EBNF: What are they and
how do they work?
Gronback, R. (2009). Eclipse Modeling Project: A Domain-
Specific Language (DSL) Toolkit. Addison-Wesley
Professional.
Harel, D. (1987). Statecharts: A visual formalism for com-
plex systems. Sci. Comput. Program., 8(3):231—-
274.
IEEE (2000). IEEE SA - 1471-2000 - IEEE Recommended
Practice for Architectural Description for Software-
Intensive Systems.
Juliot, E. and Benois, J. (2009). Viewpoints creation using
Obeo Designer or how to build Eclipse DSM without
being an expert developer?
Kelly, S. and Tolvanen, J.-P. (2008). Domain-Specific Mod-
eling. Wiley-IEEE Computer Society Press.
Kolovos, D., Rose, L., Abid, S., Paige, R., Polack, F., and
Botterweck, G. (2010). Taming EMF and GMF Us-
ing Model Transformation. In Petriu, D., Rouquette,
N., and Haugen, O., editors, Model Driven Engineer-
ing Languages and Systems, chapter 15, pages 211—-
225. Springer, Berlin / Heidelberg, lecture no edition.
Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J.,
Thomason, C., Nordstrom, G., Sprinkle, J., and Vol-
gyesi, P. (2001). The generic modeling environment.
In Workshop on Intelligent Signal Processing.
Moody, D. (2009). The “Physics” of Notations: Toward
a Scientific Basis for Constructing Visual Notations
in Software Engineering. IEEE Transactions on Soft-
ware Engineering, 35(6):756–779.
Muller, G. (2009). How to create an architecture overview.
Omg (2006). Meta Object Facility (MOF) Core Specifica-
tion. Technical report.
Pfister, F., Chapurlat, V., Huchard, M., Nebut, C., and Wip-
pler, J.-L. (2012). A proposed meta-model for formal-
izing systems engineering knowledge, based on func-
tional architectural patterns. Systems Engineering.
Renaux, E., Le Pallec, X., and Moura, C. (2005). ModX -
a graphical tool for MOF metamodels. In European
Conference on Model Driven Architecture - Founda-
tions and Applications.
Ross, D. T. (1977). Structured Analysis (SA): A Language
for Communicating Ideas. IEEE Transactions on Soft-
ware Engineering, 3(1):16–34.
ICEIS2014-16thInternationalConferenceonEnterpriseInformationSystems
306