Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
The NIST model for role-based access control: towards a unified standard
RBAC '00 Proceedings of the fifth ACM workshop on Role-based access control
Annotea: an open RDF infrastructure for shared Web annotations
Proceedings of the 10th international conference on World Wide Web
TRBAC: A temporal role-based access control model
ACM Transactions on Information and System Security (TISSEC)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
CREAM: CREAting metadata for the Semantic Web
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
MDA Distilled
MADCOW: a multimedia digital annotation system
Proceedings of the working conference on Advanced visual interfaces
Graph-based specification of access control policies
Journal of Computer and System Sciences
A general framework for types in graph rewriting
Acta Informatica - Special issue: Types in concurrency. Part II , Guest Editor: R. De Nicola, D. Sangiorgi
GEO-RBAC: A spatially aware RBAC
ACM Transactions on Information and System Security (TISSEC)
Attributed graph transformation with node type inheritance
Theoretical Computer Science
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
We propose the use of annotations as a way to flexibly enrich a domain of interest with information concerning different contexts of use for its elements. We provide a formal model of annotation in the framework of typed graphs, in which the presence of annotations is reified through nodes and edges of specific types, relating nodes from different domains. This allows the flexible activation and de-activation of annotations, as well as the addition of several annotations from different domains on the same element. We show that annotations give rise to a category, where pushouts are the basic construct for the composition of annotation-related processes. We prove some properties of annotated graphs and discuss examples drawn from several fields.