Rigorous EBNF-based definition for a graphic modeling language

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2003-January, Issue , 2003, Pages 186-196

  Xia, Yong ^a   Glinz, Martin ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT FREE GRAMMARS; MODELING LANGUAGES; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS; VISUAL LANGUAGES;

CONSTRAINT LANGUAGE; CONTEXT SENSITIVE; DYNAMIC INFORMATION; GRAPHIC MODELING LANGUAGE; META-MODELING TECHNIQUE; SYNTACTIC FEATURES; SYNTAX DEFINITION; TEXTUAL LANGUAGE;

CONTEXT FREE LANGUAGES;

EID: 84944674347     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2003.1254371     Document Type: Conference Paper

References (18)

1. T. DeMarco, Structured Analysis and System Specification, Yourdon Press, New York, 1978.
2. J. Ebert, R. Süttenbach, An OMT Metamodel, Technical Report 13, University of Koblenz, 1997.
3. M. Glinz, S. Berner, and S. Joos, "Object-oriented modeling with Adora". Information Systems 27, 6, 2002.
4. S. J. Greenspan, J. Mylopoulos, A. Borgida, Capturing More World Knowledge in the Requirements Specification. Proc. 6th Intern. Conference on Software Engineering, 1982.
5. B. Henderson-Sellers and A. Bulthuis, Object-Oriented Metamethods, Springer, New York, 1997.
6. B. Henderson-Sellers, "Some Problems with the UML V1.3 Metamodel", Proc. 34th Annual Hawaii International Conference on System Sciences, IEEE Computer Society, 2001.
7. M. Jarke, R. Gallersdörfer, M. A. Jeusfeld, M. Staudt, S. Eherer, ConceptBase - A Deductive Object Base for Meta Data Management. Journal of Intelligent Information Systems 4, 2, 1995.
8. S. Joos, ADORA-L - A modeling language for specifying software requirements (in German)., PhD Thesis, University of Zurich, 1999.
9. J. Ludewig, ESPRESO-A System for Process Control Software Specification. IEEE Transactions on Software Engineering SE-9, 1983.
10. J. Ludewig, M. Glinz, H. Huser, G. Matheis, H. Matheis, M. F. Schmidt, SPADES - A Specification and Design System and its Graphical Interface. Proc. 8th Intern. Conference on Software Engineering, 1985, pp. 83-89.
11. B. Meek, The Static Semantics File, ACM Sigplan Notice, Vol 25 No. 4, April 1990.
12. K. Marriott and B. Meryer, Visual Language Theory, Springer, Berlin, 1998.
13. OMG. OMG Unified Modeling Language Specification Version 1.4, OMG document formal/2001-09-67, 2001.
14. F. G. Pagen, Formal Specification of Programming Languages, Prentice-Hall 1981.
15. D. Ross, "Structured Analysis (SA):A Language for Communicating Ideas". IEEE Transactions on Software Engineering, 3, 1, 1977.
16. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs, 1991.
17. Y. Xia and C. George, "An Operational Semantics for Timed RAISE", Proceedings of the World Congress on Formal Methods, LNCS Vol. 1709, Springer, 1999.
18. Y. Xia and M. Glinz, A Syntax Definition Method for Visual Specification Languages. Technical Report, University of Zurich, 2002. http://www.ifi.unizh.ch/req/ftp/syntax/syntax.pdf