CoAuto: A Formal Model for Cooperative Processes

9 years 7 months ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separates data from control states and thus, can describe various cooperation scenarios (e.g. synchronous and asynchronous) by composition in a uniform yet flexible way. The composition can be done at two different levels (i.e. data sharing and action/control sharing) and thus, more complex cooperative process can be depicted. The paper details the structural elements of CoAuto and shows how to model cooperative processes in real world and analyze some basic properties (e.g. safety and liveness).
Jinlei Jiang, Meilin Shi
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where GCC
Authors Jinlei Jiang, Meilin Shi
Comments (0)