Qualitative Action Systems

摘要: An extension to action systems is presented facilitating the modeling of continuous behavior in discrete domain. The original system formalism has been developed by Back et al. order describe parallel and distributed computations systems, i.e. with state space control. In cope hybrid evolution control, two extensions have proposed: . Both use differential equations (relations) evolution. Our version takes an alternative approach adding a level abstraction: modeled Qualitative Differential Equations that are preferred choice when it comes specifying abstract possibly non-deterministic requirements behavior. Because their solutions transition all evolutions our qualitative discrete. Based on we develop new theory discuss how applied such models context automated test-case generation for systems.