Extending a graphic modeling language to support partial and evolutionary specification

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2004, Pages 18-27

  Xia, Yong ^a   Glinz, Martin ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EVOLUTIONARY REFINEMENTS; GRAPHIC MODELING LANGUAGE; STATECHART DIAGRAMS; SYSTEM INFORMATION;

EVOLUTIONARY ALGORITHMS; GRAPHICAL USER INTERFACES; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; SEMANTICS; SOFTWARE ENGINEERING;

COMPUTER PROGRAMMING LANGUAGES;

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

References (10)

1. Back, R-J., Petre, L., Porres, I.:Formalising UML Use Cases in the Refinement Calculus. Turku Centre for Computer Science, Technical Report No 279 (1999)
2. Fradet, P., Metayer, D., Perin, M.: Consistency checking for multiple view software architectures. Proc. ESEC/FSE99, LNCS series, Springer (1999)
3. Glinz, M.: Statecharts for Requirements Specification - As Simple As Possible, As Rich As Needed. Proc. of the ICSE2002 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (2002)
4. Glinz, M., Berner, S., Joos, S.: Object-oriented Modeling with ADORA. In: Information Systems, 27, 6 (2002)
5. Lehman, M.: Software's Future: Managing Evolution. In: IEEE Software, 15, 1 (1998)
6. OMG: Unified Modeling Language Specification (Version 1.5). OMG document (2003)
7. Paige, R., Ostroff, J.: The Single Model Principle. In: Jounal of Object Technology, Vol. 1, No. 5 (2002)
8. Xia, Y., George, C.: An Operational Semantics for Timed RAISE. In: Proc. of the World Congress on Formal Methods, LNCS Vol. 1709. Springer (1999)
9. Xia, Y., Glinz, M.: Rigorous EBNF-based Definition for a Graphic Modeling Language. In: Proc. of 10th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press (2003)
10. Xia, Y.: A Language Definition Method for Visual Specification Languages, Ph.D. thesis, Institut für Informatik, University of Zurich (2004) www.ifi.unizh.ch/req/ftp/phdthesis/xia.pdf