F. Parisi-Presicce  Home/Search
Context
Related
Links: DBLP | cuisung.unige.ch/Visual/...Parisi.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cui.unige.ch/eao/www...VP.TechRep (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Visual modelling languages and techniques employ a wide variety of diagrams and graphs to describe different aspects of complex systems. The consistency of a set of graphs and the conversion of one view into another one is often an issue in verifying the correctness of a specification. By making `loops' explicit, it is possible to use one kind of structure for different views, referring to `semantic' rules for their different meaning. Keywords UML diagrams, DPO Transformation,... (Update)
Active bibliography (related documents): More All
0.2: Journal of Web Engineering, Vol. 0, No. 0 (2003) 000--000 - Rinton Press Adding (2005) (Correct)
0.2: SIMtelligence Designer/J: A Visual Language to.. - Schmidt, Pfahler.. (Correct)
0.2: Debugging UML Designs with Model Checking - Gallardo, Merino, Pimentel (2002) (Correct)
Similar documents based on text: More All
0.1: HelpDraw graphical environment: A step beyond data.. - Akram-Djellal.. (Correct)
0.0: Double-Pushout Graph Transformation Revisited - Habel, Müller, Plump (2000) (Correct)
0.0: Design of a Synchrotron Control System with DPO Series for.. - Araki Takada Itano (Correct)
BibTeX entry: (Update)
@inproceedings{ parisipresicce00which,
author = "Francesco Parisi-Presicce",
title = "Which Graphs for Visual Modeling?",
booktitle = "{ICALP} Satellite Workshops",
pages = "383-386",
year = "2000",
url = "citeseer.ist.psu.edu/parisi-presicce00which.html" }
Citations (may not include all citations):32 Hierarchical Graph Transformation - Drewes, Hoffmann et al. - 2000 ACM DBLP
27 State Diagrams in UML: A Formal Semantics using Graph Transf.. - Gogolla, Parisi-Presicce - 1998
18 Encapsulated Hierarchical Graphs (context) - Engels, Schurr - 1995
13 High-Level Replacement Systems with Applications to Algebrai.. (context) - Ehrig, Gajewsky et al. - 1999
5 OMG Unified Modelling Language Specification (context) - Group - 1999
Documents on the same site (http://cui.unige.ch/eao/www/Visual/VP.TechRep.html): More
Defining and Parsing Visual Languages with Layered Graph Grammars - Rekers, Schürr (1997) (Correct)
The Design of a Completely Visual Object-Oriented.. - Citrin, Doherty, Zorn (1994) (Correct)
SUPER - Visual Interaction with an Object-based ER Model - Auddino, Dennebouy.. (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC