Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Object-Oriented Database Systems: Concepts and Architectures
Object-Oriented Database Systems: Concepts and Architectures
Views, Mappings and Functions: Essential Definitions to The Conceptual Graph Theory
ICCS '94 Proceedings of the Second International Conference on Conceptual Structures: Current Practices
Contexts: A Formal Definition of Worlds of Assertions
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
The Representation of Semantic Constraints in Conceptual Graph Systems
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Using CG Formal Contexts to Support Business System Interoperations (Research Note)
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Handling Specification Knowledge Evolution Using Context Lattices
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Constraints and Goals under the Conceptual Graph Formalism: One Way to Solve the SCG-1 Problem
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
An Application of the Process Mechanism to a Room Allocation Problem Using the pCG Language
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Another Reason Why Conceptual Graphs Need Actors
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Hi-index | 0.00 |
A process is often described as a sequence of actions that changes the state of a system. To make sure that it is semantically valid, it must abide by semantic constraints defining its proper behavior. These constraints are called behavioral constraints. In the past, [1] presented how to describe and structure constraints on conceptual graphs in a declarative yet operational way; and [2] presented a framework to describe and execute processes using conceptual graphs. This paper combines these two approaches to show how processes can be constrained. It also gives two examples showing why constrained processes are needed in real applications. The first example is a database application where migration constraints must be enforced; the second example shows how agent systems must use behavioral constraints in their interaction. By adding behavioral constraints to conceptual graphs based tools, this paper proposes the CG theory as a powerful modeling language not only for data but also for process modeling.