We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
TOWARDS A CALCULUS FOR NONDETERMINISTIC SCHEMAS IN Z.
- Authors
HAGHIGHI, HASSAN; MIRIAN-HOSSEINABADI, SEYYED-HASSAN
- Abstract
In our previous work, we presented a Z-based formalism, called NZ, by which one can explicitly specify bounded, unbounded, erratic, angelic, demonic, loose, strict, singular, and plural nondeterminism. The NZ notation is mainly based on a new notion of operation schemas, called multi-schema. Since the operations of the Z schema calculus do not work on multi-schemas anymore, in this paper we augment NZ with a new set of schema calculus operations that can be applied on multi-schemas as well as ordinary operation schemas. To demonstrate the usability of the resulting formalism, we show how this formalism can assist to model game-like situations and concurrent systems as two well-known classes of nondeterministic systems.
- Subjects
CALCULUS; DEMONIAC possession; TYPE theory; CONCURRENT engineering; MATHEMATICAL analysis; FORMAL sociology
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2012, Vol 22, Issue 6, p839
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S0218194012500222