Categorical concept of constraints for algebraic specifications
Categorical methods in computer science with aspects from topology
Handbook of theoretical computer science (vol. B)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Applying use cases: a practical guide
Applying use cases: a practical guide
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
When defining the requirements of a system, specification units typically are partial or incomplete descriptions of a system component. In this context, providing a complete description of a component means integrating all the existing partial views for that component. However, in many cases defining the semantics of this integration operation is not an easy task. In particular, this is the case when the framework used at the specification level is, in some sense, an "operational" one (e.g. a Petri net or a statechart). Moreover, this problem may also apply to the definition of compositional semantics for modular constructs for this kind of frameworks. In this paper, we study this problem, at a general level. First, we define a general notion of framework whose semantics is defined in terms of transformations over states represented as algebras and characterize axiomatically the standard tight semantics. Then, inspired in the double-pullback approach defined for graph transformation, we axiomatically present a loose semantics for this class of transformation systems, exploring their compositional properties. In addition, we see how this approach may be applied to a number of formalisms.