More Web Proxy on the site http://driver.im/

Article

Weaving executability into object-oriented meta-languages

Authors:

Pierre-Alain Muller,

Franck Fleurey,

Jean-Marc JézéquelAuthors Info & Claims

MoDELS'05: Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Pages 264 - 278

https://doi.org/10.1007/11557432_19

Published: 02 October 2005 Publication History

Abstract

Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and examine related issues and possible solutions. We believe that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.

References

[1]

Abadi, M. and Cardelli, L. A theory of objects. New York: Springer, 1996.

Digital Library

[2]

Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B. and Pascual, V. Centaur: the system. Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments, 13 (5). 14 - 24.

Digital Library

[3]

Budinsky, F., Steinberg, D., Merks, E., Ellersick, R. and Grose, T. Eclipse Modeling Framework. Addison Wesley Professional, 2003.

Digital Library

[4]

Clark, T., Evans, A., Sammut, P. and Willans, J. Applied Metamodelling: A Foundation for Language Driven Development, http://albini.xactium.com, 2004.

[5]

Clarke, S. Extending standard UML with model composition semantics. Science of Computer Programming, 44 (1). 71-100.

Digital Library

[6]

Engstrom, E. and Krueger, J. Building and rapidly evolving domain-specific tools with DOME. Proceedings of IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000). 83-88.

[7]

Greenfield, J., Short, K., Cook, S., Kent, S. and Crupi, J. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, 2004.

Digital Library

[8]

Mellor, S., Tockey, S., Arthaud, R. and Leblanc, P. Action Language for UML: Proposal for a Precise Execution Semantics. Proceedings of UML 98 (LNCS1618). 307-318.

Digital Library

[9]

Muller, P.-A., Dumoulin, C., Fondement, F. and Hassenforder, M. The TopModL Initiative. in UML Satellite Activities, Springer, 2005, 242-245.

Digital Library

[10]

Muller, P.-A., Studer, P., Fondement, F. and Bezivin, J. Platform independent Web Application Modeling and Development with Netsilon. Accepted for publication in Journal on Software and Systems Modelling (SoSym). http://www.sciences.univnantes. fr/lina/atl/www/papers/netsilon_sosym.pdf.

[11]

OMG. Meta Object Facility (MOF) Specification 1.4, Object Management Group, http://www.omg.org/cgi-bin/doc?formal/2002-04-03, 2002.

[12]

OMG. MOF 2.0 Core Final Adopted Specification, Object Management Group, http://www.omg.org/cgi-bin/doc?ptc/03-10-04, 2004.

[13]

OMG. Revised submission for MOF 2.0 Query/View/Transformation, Object Management Group (QVT-Merge Group), http://www.omg.org/cgibin/ apps/doc?ad/2005-03-02, 2005.

[14]

OMG. UML 2.0 Object Constraint Language (OCL) Final Adopted specification, Object Management Group, http://www.omg.org/cgi-bin/doc?ptc/2003-10-14, 2003.

[15]

Scharli, N., Ducasse, S., Nierstrasz, O. and Black, A. Traits: Composable units of behavior. Proceedings of ECOOP 2003.

[16]

Smolander, K., Lyytinen, K., Tahvanainen, V.-P. and Marttiin, P. MetaEdit: a flexible graphical environment for methodology modelling. Proceedings of the third international conference on Advanced information systems engineering.

Digital Library

[17]

Straw, G., Georg, G., Song, E., Ghosh, S., France, R. B. and Bieman, J. M. Model Composition Directives. Proceedings of the 7th International Conference Unified Modelling Language: Modelling Languages and Applications. 84-97.

[18]

Thomas, D., Fowler, C. and Hunt, A. Programming Ruby - The Pragmatic Programmer's Guide, Second Edition, 2004.

[19]

Vojtisek, D. and Jézéquel, J.-M. MTL and Umlaut NG: Engine and Framework for Model Transformation. ERCIM News, 58.

[20]

Wirth, N. Algorithms + data structures = programs. Prentice-Hall, Englewood Cliffs, 1976.

Digital Library

[21]

Ziadi, T., Hélouët, L. and Jézéquel, J.-M. Revisiting statechart synthesis with an algebraic approach. Proceedings of the 26th International Conference on Software Engineering (ICSE 04).

Digital Library

Cited By

Moskalenko PTimchenko V(2023)Forming Knowledge Bases in Accordance with Ontological Agreements on an Intelligent Systems Development PlatformPattern Recognition and Image Analysis10.1134/S105466182303033133:3(432-445)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1134/S1054661823030331
Rozen RStorm T(2019)Toward live domain-specific languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0608-718:1(195-212)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0608-7
Leduc MDegueule TCombemale BPearce DMayerhofer TSteimann F(2018)Modular language composition for the massesProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276622(47-59)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276622
Show More Cited By

Recommendations

Weaving executability into UML class models at PIM level
BM-MDA '09: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture

Modeling languages that aim to capture PIM level behavior are still a challenge. We propose a high level behavioral formalism based on the Abstract State Machines (ASMs) for the specification and validation of software systems at PIM level. An ASM-based ...
Model-driven engineering with domain-specific meta-modelling languages

Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Defining domain-specific object-oriented modeling languages as uml profiles

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

MoDELS'05: Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

October 2005

720 pages

ISBN:3540290109

Editors:
Lionel Briand
Simula Research Laboratory, University of Oslo, Lysaker, Norway
,
Clay Williams
Simula Research Laboratory, IBM T J Watson Research Center, 19 Skyline Drive, Hawthorne, NY, Norway

Sponsors

Microsoft Corp.
Springer
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS\DATC: IEEE Computer Society
IBM: IBM

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 October 2005

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

102
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Moskalenko PTimchenko V(2023)Forming Knowledge Bases in Accordance with Ontological Agreements on an Intelligent Systems Development PlatformPattern Recognition and Image Analysis10.1134/S105466182303033133:3(432-445)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1134/S1054661823030331
Rozen RStorm T(2019)Toward live domain-specific languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0608-718:1(195-212)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0608-7
Leduc MDegueule TCombemale BPearce DMayerhofer TSteimann F(2018)Modular language composition for the massesProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276622(47-59)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276622
Cavarlé GPlantec ACostiou SRibaud V(2018)A feature-oriented model-driven engineering approach for the early validation of feature-based applicationsScience of Computer Programming10.1016/j.scico.2018.01.001161:C(18-33)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1016/j.scico.2018.01.001
Vanwormhoudt GCaron OCarré B(2017)Aspectual templates in UMLSoftware and Systems Modeling (SoSyM)10.1007/s10270-015-0463-316:2(469-497)Online publication date: 1-May-2017
https://dl.acm.org/doi/10.1007/s10270-015-0463-3
Méndez-Acuña DGalindo JDegueule TCombemale BBaudry B(2016)Leveraging Software Product Lines Engineering in the development of external DSLsComputer Languages, Systems and Structures10.1016/j.cl.2016.09.00446:C(206-235)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1016/j.cl.2016.09.004
Ton That MSadou SOquendo FFleurquin R(2016)Preserving architectural decisions through architectural patternsAutomated Software Engineering10.1007/s10515-014-0172-023:3(427-467)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s10515-014-0172-0
Lúcio LAmrani MDingel JLambers LSalay RSelim GSyriani EWimmer M(2016)Model transformation intents and their propertiesSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0429-x15:3(647-684)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-014-0429-x
Szvetits MZdun U(2016)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Atkinson CKühne T(2016)Demystifying Ontological Classification in Language EngineeringProceedings of the 12th European Conference on Modelling Foundations and Applications - Volume 976410.1007/978-3-319-42061-5_6(83-100)Online publication date: 6-Jul-2016
https://dl.acm.org/doi/10.1007/978-3-319-42061-5_6
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents