Constructive consistency checking for partial specification in Z
1999; Elsevier BV; Volume: 35; Issue: 1 Linguagem: Inglês
10.1016/s0167-6423(99)00006-4
ISSN1872-7964
AutoresEerke Boiten, John Derrick, Howard Bowman, Maarten Steen,
Tópico(s)Software Testing and Debugging Techniques
ResumoPartial specification is a method of specifying complex systems in which the system is described by a collection of specifications, each approaching the system from a different viewpoint. The specification notation Z is often advocated as a suitable language for this style of specification. For collections of partial specifications to be meaningful, they need to be consistent, i.e. they should not impose contradictory requirements. This paper addresses how consistency between partial specifications in Z can be checked, by constructing unifications, i.e. least common refinements, of viewpoint specifications.
Referência(s)