Towards CASE tools for prototyping Z specifications

Siddiqi, Jawed I. A.; Morrey, Ian; Buckberry, G.; Hibberd, R.

doi:10.1109/case.1993.634817

Cited by 4 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Most of the research has focused on the Z specification language [44], or subsets of Z. Examples ~ of work that focused on Z are the Surrey Z Animator (SuZAn) [30], the animator described in [50], the work of Goodman [14], ZAL [43], the work of Utting [47], Z Animation System (ZANS) [51], Prolog Z Animator (PiZA) [24], and Possum [23].…”

Section: Related Workmentioning

confidence: 99%

Constraint animation using an object-oriented declarative language

Gray

Schach

2000

Proceedings of the 38th Annual on Southeast Regional Conference

View full text Add to dashboard Cite

Prototypes can be an effective way of interacting with an end-user to validate that the user's requirements have been correctly captured. In the formal methods community, specification animation has been investigated as a way of creating a kind of prototype that is generated from a formal specification. Enriching UML diagrams with OCL constraints can provide the formality that is needed to animate the diagrams without the need for a more rigorous formal specification language. This paper provides an overview of issues concerning specification animation and describes an initial attempt at an animation environment for UML/OCL. We translate the UML/OCL into an objectoriented declarative language, Prolog++, and utilize a primitive animation environment that allows both a developer and client to explore the validity of the specification. In particular, in this paper we focus on animating the effect of constraints.

show abstract