Title :
A visual framework for modelling with heterogeneous notations
Author :
Flower, Jean ; Howse, John ; Taylor, John ; Kent, Stuart
Author_Institution :
Sch. of Comput. & Math. Sci., Univ. of Brighton, UK
Abstract :
This paper presents a visual framework for organizing models of systems which allows a mixture of notations, diagrammatic or text-based, to be used. The framework is based on the use of templates which can be nested and sometimes flattened. It is modular and can be used to structure the constraint space of the system, making it scalable with appropriate tool support. It is also flexible and extensible: users can choose which notations to use, mix them and add new notations or templates. The goal of this work is to provide more intuitive and expressive languages and frameworks to support the construction and presentation of rich and precise models.
Keywords :
formal specification; specification languages; visual programming; constraint space; diagrammatic notations; heterogeneous notations; modelling; templates; text-based notations; tool support; visual framework; Concrete; Conferences; Laboratories; Logic; Mathematical model; Object oriented modeling; Organizing; Scalability; Software systems; Unified modeling language;
Conference_Titel :
Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia on
Print_ISBN :
0-7695-1644-0
DOI :
10.1109/HCC.2002.1046350