Strategies for real-time system specification
Strategies for real-time system specification
Method integration: concepts and case studies
Method integration: concepts and case studies
Real-time constraints in a rapid prototyping language
Computer Languages
Computer Networks and ISDN Systems
From structured analysis to formal specifications: state of the theory
CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
LEMMA: A Language for Easy Medical Models Analysis
CBMS'97 Proceedings of the 10th conference on Computer based medical systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Application of graph transformation to visual languages
Handbook of graph grammars and computing by graph transformation
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
An Invitation to Formal Methods
Computer
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Formal Methods and Social Context in Software Development
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Set theoretic approaches to graph grammars
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
A graph based framework for the implementation of visual environments
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Visual diagrammatic (VD) notations have always been widely used in software engineering. Such notations have been used to syntactically represent the structure of software systems, but they usually lack dynamic semantics, and thus provide limited support to software engineers. In contrast, formal models would provide rigorous semantics, but the scarce adaptability to different application domains precluded their large industrial application. Most attempts tried to formalize widely used VD notations by proposing a mapping to a formal model, but they all failed in addressing flexibility, that is, the key factor of the success of VD notations.This paper presents MetaEnv, a toolbox for automating visual software engineering. MetaEnv augments VD notations with customizable dynamic semantics. Traditional meta-CASE tools support flexibility at syntactic level; MetaEnv augments them with semantic flexibility. MetaEnv refers to a framework based on graph grammars and has been experimented as add-on to several commercial and proprietary tools that support syntactic manipulation of VD notations.