PDF | The structuring of the specification and development of distributed systems according to viewpoints, as advocated by the Reference Model for Open.
People also ask
What is consistency of specification?
How do you measure consistency of a process?
Jan 15, 1999 · In this paper, we analyse the notion of consistency in the context of formal process specification. It turns out that different notions of ...
Category theory is considered to be a suitable means for verifying consistency of process communications between design and implementation of concurrent systems ...
In this paper, we analyse the notion of consistency in the context of formal process specification. It turns out that different notions of correctness give rise ...
In this paper, we analyse the notion of consistency in the context of formal process specification. It turns out that different notions of correctness give rise ...
This paper addresses how consistency between partial specifications in Z can be checked, by constructing unifications, i.e. least common refinements, of ...
Missing: Process | Show results with:Process
Mar 21, 2014 · School of Computing. Consistency of partial process specifications. Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman.
Examining how such partial specifications might be unified raises broader issues of refinement and mutual consistency of partial specifications in Object-Z.
This paper discusses theoretical background for the use of Z as a language for partial specification, in particular techniques for checking consistency ...
This paper addresses how the consistency between partial specifications in Z can be checked, by constructing uniÿcations, i.e. least com- mon refinements, of ...