منابع مشابه
Parallel High - Level Replacement
High-level replacement systems are an axiomatic categorical framework based on double-pushouts in order to unify replacement systems like grammars for diierent kinds of graphs and relational structures or other types of structures like algebraic speciications. Parallel high-level replacement systems are introduced to formalize parallel rewriting of these high-level structures. On one hand this ...
متن کاملAdhesive High-Level Replacement Categories and Systems
Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept of HLR systems with the new concept of adhesive categories introduced by Lack and Sobociński. In this paper we show that most of the HLR properties, which had been introduced ad hoc to generalize some basic re...
متن کاملConnector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primitive channels with welldefined behavior. These channels are mobile, i.e. can be dynamically created and reconfigured at run-time. Based on these language features, we introduce a high-level transformation system for Re...
متن کاملRedundancy and Subsumption in High-Level Replacement Systems
System verification in the broadest sense deals with those semantic properties that can be decided or deduced by analyzing a syntactical description of the system. Hence, one may consider the notions of redundancy and subsumption in this context as they are known from the area of rule-based systems. A rule is redundant if it can be removed without affecting the semantics of the system; it is su...
متن کاملA Component Framework Based on High-Level Replacement Systems
This paper is based on two general concepts. The first one is a generic component framework for system modeling presented at FASE 2002, which is especially useful for graphand net-based modeling techniques. The second one is the concept of high-level replacement systems, which has been studied within the last decade as an abstraction of the DPO-approach for graph transformation systems in a cat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00215-0