L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of Not Executable Specifications by Prolog. Int. Journal on Software Engineering and Knowledge Engineering, 6(1):(to appear), 1996. 40 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Analyzing and Animating Declarative Specifications - Cimato, Mascolo (Correct)
....to declare not computable entities, like infinite sets or non computable functions, and to express properties and operations on them. A number of approaches have been used to transform a Z specification into an executable form, using different programming languages and different methodologies [14]. There are several problems that must be faced according to the chosen method of translation and the target language. In general, most problems derive from trying to match different abstraction levels, namely the one of the Z specification with that one of a particular programming language. Any ....
....the specification [2] A straightforward way to animate Z documents, seems to be the mapping of Z specifications into Prolog programs. Practice shows that most predicates found in Z documents have an easy implementation in terms of Prolog clauses and many attempts have been made in this direction [14]. The main novelty of our approach is that the target language is a coordination language based on multiset rewriting, namely Shared Prolog [5] it can be considered as an extension of Prolog with support for explicit parallelism. We have built a compiler which produces a formally correct ....
L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of Not Executable Specifications by Prolog. Int. Journal on Software Engineering and Knowledge Engineering, 6(1):(to appear), 1996.
Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) Self-citation (Ciancarini) (Correct)
.... using Prolog [40] This is the case of the systems that implement specifications written with the Entity Relationship model [104] algebraic notations based on abstract data types [83, 22, 75] Petri Nets [9] DeMarco s Structured Analysis Dataflow Diagrams, 112, 111, 72, 147, 56, 189] Z [177, 53, 97, 95, 54, 57, 197, 125, 179], CSP LOTOS [99] VDM [17] CCS SMoLCS [71] and domain specific specification languages [47, 139, 114, 148, 188] Animation gives a way of querying or at least executing the specification, increasing the software engineer s confidence in the document he develops. We describe one example for ....
....This amounts to manipulating the specifications to obtain a prototype of the specification. Signatures are not translated in Prolog, and the goal is only to obtain a program that implements the specification. In this way an operational semantics written in Prolog is given to the Z specification [179]. The specifier must be aware of the declarative and procedural semantics of both Z and Prolog, because a poorly chosen order of predicates or an unconstrained i o usage of variables can produce programs which loop forever. Moreover, not all Z predicates have a Prolog counterpart, for instance ....
[Article contains additional citation context not shown here]
L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of Not Executable Specifications by Prolog. Int. Journal on Software Engineering and Knowledge Engineering, 6(1):(to appear), 1996. 40
Using Formal Methods for Teaching Software Engineering: A.. - Ciancarini, Mascolo (1998) Self-citation (Ciancarini) (Correct)
....properties [Bowen and Gordon 1994; Garland and Guttag 1989] ffl Animators, to refine and execute specification documents written in non executable formal languages. Animators of formal specifications support rapid prototyping, but also help in proving that a specification is really implementable [Sterling et al. 1996]. ffl Test case generators, namely tools able to generate test suites directly from specifications, that can then be used by programmers to test and debug the real implementation [Richardson et al. 1992] ffl Metricators, to analyze some internal qualities of the design documents. In our course ....
Sterling, L., P. Ciancarini, and T. Turnidge (1996), "On the Animation of Not Executable Specifications by Prolog," Int. Journal on Software Engineering and Knowledge Engineering 6 , 1, 63--88.
Engineering Formal Requirements: Analysis and Testing - Ciancarini Cimato And (1997) (1 citation) Self-citation (Ciancarini) (Correct)
....technique of animation has been introduced in order to overcome the difficulty of obtaining a prototype from a non executable specification language like Z. Several approaches have been used to animate a Z specification, using different methodologies and languages; a short review can be found in [15]. All the proposed solutions have to balance declarativeness versus efficiency in the sense that we want not only an executable form of a very high level specification, but also a reasonably efficient execution to test the specification [3] We propose here a method for the distributed animation ....
L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of Not Executable Specifications by Prolog. Int. Journal on Software Engineering and Knowledge Engineering, 6(1):(to appear), 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC