Article

Flexible and extensible notations for modeling languages

Authors:

Eric Van WykAuthors Info & Claims

FASE'07: Proceedings of the 10th international conference on Fundamental approaches to software engineering

Pages 102 - 116

Published: 24 March 2007 Publication History

Abstract

In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a modeling language well-suited for the system under development and appropriate tool support are of utmost importance to practitioners. Considering the diverse needs of different application domains, flexibility in the choice of modeling languages and tools may advance the industrial acceptance of formal methods.

We describe a flexible modeling language framework by which language and tool developers may better meet the special needs of various users groups without incurring prohibitive costs. The framework is based on a modular and extensible implementation of languages features using attribute grammars and forwarding. We show a prototype implementation of such a framework by extending the host language Mini-Lustre, an example synchronous data-flow language, with a collection of features such as state transitions, condition tables, and events. We also show how new languages can be created in this framework by feature composition.

References

[1]

Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Comp. Prog. 19(2) (1992) 87-152

Digital Library

[2]

Esterel-Technologies: Corporate web page. www.esterel-technologies.com (2004)

[3]

Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: Statemate: A working environment for the development of complex reactive systems. IEEE Trans. on Soft. Engin. 164(4) (1990)

Digital Library

[4]

Heitmeyer, C., Bull, A., Gasarch, C., Labaw, B.: SCR*: A toolset for specifying and analyzing requirements. In: Proceedings of the Tenth Annual Conference on Computer Assurance, COMPASS 95. (1995)

[5]

Thompson, J.M., Heimdahl, M.P., Miller, S.P.: Specification based prototyping for embedded systems. In: Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering. Volume 1687 of LNCS. (1999)

Digital Library

[6]

Van Wyk, E., Heimdahl, M.: Flexibility in modeling languages and tools: A call to arms. In: Proc. of IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. (2005)

[7]

Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proc. of the IEEE 79(9) (1991) 1305-1320

[8]

Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Transactions on Software Engineering (1992) 785-793

Digital Library

[9]

Van Wyk, E., de Moor, O., Backhouse, K., Kwiatkowski, P.: Forwarding in attribute grammars for modular language design. In: Proc. 11th Intl. Conf. on Compiler Construction. Volume 2304 of LNCS. (2002) 128-142

Digital Library

[10]

Heninger, K.: Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. on Software Engin. 6(1) (1980) 2-13

Digital Library

[11]

Leveson, N., Heimdahl, M., Hildreth, H., Reese, J.: Requirements Specification for Process-Control Systems. IEEE Trans. on Software Engin. 20(9) (1994) 684-706

Digital Library

[12]

Zimmerman, M.K., Lundqvist, K., Leveson, N.: Investigating the readability of state-based formal requirements specification languages. In: Proc. 24th Intl. Conf. on Software Engineering, ACM Press (2002) 33 - 43

Digital Library

[13]

Weise, D., Crew, R.: Programmable syntax macros. ACM SIGPLAN Notices 28(6) (1993)

Digital Library

[14]

Ganzinger, H.: Increasing modularity and language-independency in automatically generated compilers. Science of Computer Programing 3(3) (1983) 223-278

[15]

Kastens, U., Waite, W.M.: Modularity and reusability in attribute grammars. Acta Informatica 31 (1994) 601-627

Digital Library

[16]

Le Bellec, C., Jourdan, M., Parigot, D., Roussel, G.: Specification and implementation of grammar coupling using attribute grammars. In: Prog. Lang. Impl. and Logic Prog. (PLILP '93). Volume 714 of LNCS. (1993) 123-136

Digital Library

[17]

Hedin, G.: An object-oriented notation for attribute grammars. In: Proc. of European Conf. on Object-Oriented Prog., ECOOP'89, Cambridge Univ. Press (1989)

[18]

Vogt, H., Swierstra, S.D., Kuiper, M.F.: Higher-order attribute grammars. In: ACM PLDI Conf. (1990) 131-145

Digital Library

[19]

Ekman, T., Hedin, G.: Rewritable reference attributed grammars. In: Euro. Conf. on Object-Oriented Prog., ECOOP'04. Volume 3086 of LNCS. (2004) 144-169

[20]

Simonyi, C.: The future is intentional. IEEE Computer 32(5) (1999) 56-57

Digital Library

[21]

Van Wyk, E., Krishnan, L., Bodin, D., Johnson, E.: Adding domain-specific and general purpose language features to Java with the Java language extender. In: Companion to the Proc. OOPSLA. (2006)

Digital Library

Cited By

El-Melegy M(2014)Model-wise and point-wise random sample consensus for robust regression and outlier detectionNeural Networks10.1016/j.neunet.2014.06.01059(23-35)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1016/j.neunet.2014.06.010
Kaminski TVan Wyk ECombemale BCazzola WFrance R(2013)Creating and using domain-specific language featuresProceedings of the First Workshop on the Globalization of Domain Specific Languages10.1145/2489812.2489817(18-21)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1145/2489812.2489817
Kosowski ANavarra APajak DPinotti C(2013)Maximum matching in multi-interface networksTheoretical Computer Science10.1016/j.tcs.2013.01.018507(52-60)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.1016/j.tcs.2013.01.018
Show More Cited By

Recommendations

A framework for extensible languages
GPCE '13: Proceedings of the 12th international conference on Generative programming: concepts & experiences

Extensible programming languages such as SugarJ or Racket enable programmers to introduce customary language features as extensions of the base language. Traditionally, systems that support language extensions are either (i) agnostic to the base ...
A framework for extensible languages
GPCE '13

Extensible programming languages such as SugarJ or Racket enable programmers to introduce customary language features as extensions of the base language. Traditionally, systems that support language extensions are either (i) agnostic to the base ...
Defining the syntax of extensible languages
SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing

The interest in Domain-Specific Languages (DSLs) has been increasing as a way of improving the productivity and read-ability of software. Some modern extensible languages offer facilities for building modular specifications for extensions, so they may ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

FASE'07: Proceedings of the 10th international conference on Fundamental approaches to software engineering

March 2007

439 pages

ISBN:9783540712886

Editors:
Matthew B. Dwyer
University of Nebraska, Lincoln, NE
,
Antónia Lopes
University of Lisbon, Lisboa, Portugal

Sponsors

Fundacao para a Ciencia e Tecnologia
TAP Air Portugal
Enabler
CISCO

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 24 March 2007

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

El-Melegy M(2014)Model-wise and point-wise random sample consensus for robust regression and outlier detectionNeural Networks10.1016/j.neunet.2014.06.01059(23-35)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1016/j.neunet.2014.06.010
Kaminski TVan Wyk ECombemale BCazzola WFrance R(2013)Creating and using domain-specific language featuresProceedings of the First Workshop on the Globalization of Domain Specific Languages10.1145/2489812.2489817(18-21)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1145/2489812.2489817
Kosowski ANavarra APajak DPinotti C(2013)Maximum matching in multi-interface networksTheoretical Computer Science10.1016/j.tcs.2013.01.018507(52-60)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.1016/j.tcs.2013.01.018
Gamez NFuentes L(2013)Architectural evolution of FamiWare using cardinality-based feature modelsInformation and Software Technology10.1016/j.infsof.2012.06.01255:3(563-580)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.infsof.2012.06.012
Pike LWegmann NNiller SGoodloe A(2012)Experience reportACM SIGPLAN Notices10.1145/2398856.236455347:9(335-340)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2398856.2364553
Pike LWegmann NNiller SGoodloe AThiemann PFindler R(2012)Experience reportProceedings of the 17th ACM SIGPLAN international conference on Functional programming10.1145/2364527.2364553(335-340)Online publication date: 9-Sep-2012
https://dl.acm.org/doi/10.1145/2364527.2364553
Finnis JSaigal NIamnitchi ALigatti J(2012)A location-based policy-specification language for mobile devicesPervasive and Mobile Computing10.1016/j.pmcj.2010.11.0038:3(402-414)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1016/j.pmcj.2010.11.003
Combier CDamiand GSolnon C(2012)From maximum common submaps to edit distances of generalized mapsPattern Recognition Letters10.1016/j.patrec.2012.04.00633:15(2020-2028)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1016/j.patrec.2012.04.006
Nebot VBerlanga R(2012)Finding association rules in semantic web dataKnowledge-Based Systems10.1016/j.knosys.2011.05.00925:1(51-62)Online publication date: 1-Feb-2012
https://dl.acm.org/doi/10.1016/j.knosys.2011.05.009
Mali YVan Wyk E(2011)Building extensible specifications and implementations of Promela with AblePProceedings of the 18th international SPIN conference on Model checking software10.5555/2032692.2032704(108-125)Online publication date: 14-Jul-2011
https://dl.acm.org/doi/10.5555/2032692.2032704
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents