Language-driven system design

International Journal of Software Engineering and Knowledge Engineering

Volumn 14, Issue 6, 2004, Pages 625-663

  Mauw, S ^a   Wiersma, W T ^a   Willemse, T A C ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Domain specific languages; Language driven approach; Operational semantics; Software engineering; Traffic light control

Indexed keywords

FORMAL LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING; PROCESS CONTROL; SEMANTICS; SOFTWARE ENGINEERING; TRAFFIC SIGNALS;

DOMAIN-SPECIFIC LANGUAGES (DSL); LANGUAGE-DRIVEN APPROACH; OPERATIONAL SEMANTICS; TRAFFIC LIGHT CONTROL;

SYSTEMS ANALYSIS;

EID: 12844268579     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194004001828     Document Type: Review

References (46)

1. L. Aceta, W. J. Fokkink and C. Verhoef, Structural operational semantics, in Handbook of Process Algebra, eds. J. A. Bergstra, A. Ponse and S. A. Smolka (Elsevier, North-Holland, 2001), pp. 197-292.
2. J. C. M. Baeten, H. M. A. van Beek and S. Mauw, Specifying internet applications with DiCons, in Proc. 16th ACM Symp. on Applied Computing (SAC 2001) (Las Vegas, USA, 2001), pp. 576-584.
3. J. C. M. Baeten and W. P. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science (Cambridge University Press, 1990).
4. B. W. Boehm, A spiral model of software development and enhancement, IEEE Computer 21(5) (1988) 61-72.
5. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide (Addison-Wesley, 1998).
6. J. P. Bowen and M. G. Hinchey, Seven more myths of formal methods, IEEE Software 12(3) (1995) 34-41.
7. M. G. J. van den Brand, A. van Deursen, J. Heering, H. A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, J. Scheerder, J. J. Vinju, E. Visser and J. Visser, The ASF+SDF meta-environment: A component-based language development environment, in Compiler Construction, ed. R. Wilhelm, Vol. 2027 of LNCS (Springer-Verlag, 2001), pp. 365-370.
8. P. P. Chen, The entity-relationship model: Toward a unified view of data, ACM Transactions on Database Systems 1(1) (1976) 9-36.
9. M. Clavel, F. Duràn, S. Eker and J. Meseguer, Maude as a formal meta-tool, in The World Congress On Formal Methods, eds. J. Wing and J. Woodcock, Vol. 1709 of LNCS (Springer-Verlag, 1999), pp. 1684-1703.
10. C. Consel and R. Marlet, Architecturing software using a methodology for language development, in Proc. 10th Int. Symp. on Programming Languages, Implementations, Logics and Programs (PLIP/ALP '98), eds. C. Palamidessi, H. Glaser, and K. Meinke, Vol. 1490 of LNCS (Springer-Verlag, 1998), pp. 170-194.
11. K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools and Applications (Addison-Wesley, 2000).
12. N. Dershowitz and Z. Manna, Proving termination with multiset orderings, Communications of the ACM 22(8) (1979) 465-476.
13. A. van Deursen, P. Klint and J. Visser, Domain-specific languages: An annotated bibliography, SIGPLAN Notices 35(6) (2000) 26-36.
14. R. E. Faith, L. S. Nyland and J. F. Prins, Khepera: A system for rapid implementation of domain specific languages, in Proc. USENIX Conference on Domain-Specific Languages, ed. J. C. Ramming (1997), pp. 243-256.
15. J. Gray and G. Karsai, An examination of DSLS for concisely representing model traversals and transformations, in HICSS-36, Proc. 36th Annual Hawaii Int. Conf. on System Sciences, minitrack on Domain-Specific Languages for Software Engineering, Hawaii, January 2003, IEEE Computer Society.
16. G. Gupta and E. Pontelli, A Horn logic denotational framework for specification, implementation and verification of domain specific languages, Technical report, New Mexico State University, 1999.
17. J. A. Hall, Seven myths of formal methods, IEEE Software 7(5) (1990) 11-19.
18. J. Heering and P. Klint, Semantics of programming languages: A tool-oriented approach, ACM Sigplan Notices 35(3) (2000) 39-48.
19. M. Hennessy, The Semantics of Programming Languages: An Elementary Introduction using Structured Operational Semantics (Wiley, New York, 1991).
20. R. M. Herndon and V. A. Berzins, The realizable benefits of a language prototyping language, IEEE Transactions on Software Engineering 14 (1988) 803-809.
21. C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM 12(10) (1969) 576-583.
22. ITU-T, ITU-T Recommendation Z.106: Common Interchange Format for SDL, ITU-T, Geneva, 1996.
23. R. Kieburtz, Implementing closed domain-specific languages, in Proc. Workshop on Semantics, Applications and Implementation of Program Generation (SAIG) (2000) pp. 1-2.
24. R. Kieburtz, L. McKinney, J. Bell, J. Hook, A. Kotov, J. Lewis, D. Oliva, T. Sheard, I. Smith and L. Walton, A software engineering experiment in software component generation, in Proc. 18th IEEE Int. Conf. on Software Engineering ICSE-18 (IEEE Computer Society Press, 1996), pp. 542-553.
25. P. Klint, A meta-environment for generating programming environments, ACM Transactions of Software Engineering and Methodology 2(2) (1993) 176-201.
26. D. E. Knuth, Semantics of Context-Free Languages, Vol. 2 (Springer-Verlag, New York, 1968), pp. 127-145.
27. P. W. Kutter and A. Pierantonio, Montages specifications of realistic programming languages, Journal of Universal Computer Science 3(5) (1997) 416-442.
28. S. Mauw, The formalization of message sequence charts, Computer Networks and ISDN Systems 28(12) (1996) 1643-1657.
29. S. Mauw and M. A. Reniers, A process algebra for interworkings, in Handbook of Process Algebra, eds. J. A. Bergstra, A. Ponse and S. A. Smolka (Elsevier, 2001), pp. 1269-1327.
30. S. Mauw and G. J. Veltink, A process specification formalism, Fundamenta Informaticae XIII (1990) 85-139.
31. S. Mauw, W. T. Wiersma and T. A. C. Willemse, Language-driven system design, in HICSS-35, Proc. 35th Annual Hawaii Int. Conf. on System Sciences, minitrack on Domain-Specific Languages for Software Engineering, Hawaii, January 2002, IEEE Computer Society.
32. M. Mernik, U. Novak, E. Avdičaušević, M. Lenič and V. Žumer, Design and implementation of simple object description language, in ACM Symposium on Applied Computing, SAC'2001 (2001), pp. 590-594.
33. D. L. Parnas, On the design and development of program families, IEEE Transactions on Software Engineering 2 (1976) 1-9.
34. P. Pfahler and U. Kastens, Configuring component-based specifications for domain-specific languages, in Proc. 34th Annual Hawaii Int. Conf. on System Sciences (IEEE Computer Society Press, 2000).
35. R. Prieto-Díaz, Domain analysis: An introduction, Software Engineering Notes 15(2) (1990) 47-54.
36. J. Rekers and A. Schürr, A graph grammar approach to graphical parsing, in Proc. 1995 IEEE Symp. on Visual Languages (1995), pp. 195-202.
37. D. A. Schmidt, Denotational Semantics: A Methodology for Language Development (Allyn and Bacon, 1986).
38. K. Slonneger and B. Kurtz, Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach (Addison-Wesley, 1995).
39. D. Spinellis, Notable design patterns for domain-specific languages, The Journal of Systems and Software 56 (2001) 91-99.
40. W. Swartout and R. Balzer, On the inevitable intertwining of specification and implementation, Communications of the ACM 25(7) (1982) 438-440.
41. S. Thibault, Domain-Specific Languages: Conception, Implementation and Application, PhD thesis, IRISA/University of Rennes 1, 1998.
42. S. Thibault, R. Marlet and C. Consel, Domain-specific languages: from design to implementation application to video device drivers generation, IEEE Transactions on Software Engineering 25(3) (1999) 363-377.
43. J. Tretmans, K. Wijbrans and M. Chaudron, Software engineering with formal methods: The development of a storm surge barrier control system - revisiting seven myths of formal methods, Formal Methods in System Design 19(2) (2001) 195-215.
44. S. F. M. van Vlijmen and A. van Waveren, Road traffic regulation, in Algebraic Specification in Action, ed. S. F. M. van Vlijmen, Vol. 21 of Electronic Notes in Theoretical Computer Science (Elsevier, 1999).
45. D. Weiss, Creating domain-specific languages: The FAST process, in First ACMSIGPLAN Workshop on Domain-Specific Languages; DSL'97, ed. S. Kamin, Technical report, University of Illinois, Department of Computer Science, 1997. See http://www-sal.cs.uiuc.edu/~kamin/dsl.
46. R. T. Yeh, An alternate paradigm for software evolution, in Modern Software Engineering: Foundations and Current Perspectives, eds. P. A. Ng and R. T. Yeh (Van Nostrand Reinhold, New York, 1990).