L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of "not Executable " Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....it is planned to add Z to the specification languages available in the environment. Z should help in defining complex data structures which cannot be represented in E hhf where only terms can be manipulated. For the implementation of a Z ECLiPSe translator the experience of the Pipedream project [15] will be fundamental. In this project a Z specification is compiled into the logic based language Mercury for animation purposes. Another important issue to consider is the integration of external software: by now it is possible to integrate C, Tcl Tk and the ECLiPSe Data and Knowledge Base but ....

L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of "not Executable " Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 1996.

.... and reasoning systems by means of mediators and or agents by the Department of Computer Science at the University of Maryland (USA) 2, 21] work on animation of specifications included in the Pipedream project at the Department of Computer Science at the University of Melbourne (Australia) [8, 20] and research on MAS and LP based software prototyping by the Logic Programming group of our Department [10, 11, 12, 4, 3] 1 3 Research goals and plan Following the thesis committee comments, the first effort was a better individuation of the principal goals of the thesis, on the base of the ....

....is integrating Z [19] At this regard, the collaboration with the Department of Computer Science at the University of Melbourne (Australia) can be very useful. In fact, they are researching about animation of Z specification by means of compilation into the logic programming language Mercury [18, 8, 20]. 3. Goal G 1:3:6 : the realization of a (semi)automatic compiler into an executable commercial logic programming language will be investigated. As target language for implementation we plan to move from ECLiPSe[1] no more supported by ECRC) to SICStus Prolog [7] 4. Goal G 1:3:7 : we are ....

L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of "not Executable" Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 1996.

....prototypes and executable specifications. Prototypes are mainly used to explore only part of the functionality of the system. On the other hand, executable specifications form the basis of the implementation [11] 3 Validating specifications by animation Fig. 1. Overall approach to animation [27] Figure 1 illustrates two approaches to animate formal specifications. The first approach consists of (automatically) translating specifications into a target language, which is immediately executable. In the second approach, one defines an operational semantics for the specification language, ....

L. Sterling, P. Ciancarini and T. Turnidge. On the animation of "not executable" specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63-87.

....formalism and experimentation. It is a high level language, amenable for formal reasoning. A logic program is an executable specification and this encourages rapid prototyping. A logical language can naturally be the target language for the animation of many not executable specification languages [27]. On the side of integration of heterogeneous systems, Logic Programming can profitably address semantic integration that is the process of specifying methods to resolve conflicts, pool information together and define new operations based on operations belonging to different domains [17] Further, ....

L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of "not Executable" Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 1996.

.... Analysis Sound EZ [Doma and Nicholl, 1991] 3 7 7 7 PiZA [Hewitt et al. 1997] 3 7 3 7 West [West, 1995] 7 7 7 3 Z into Haskell [Goodman, 1995] 7 7 7 3 zx [Breuer and Bowen, 1994] 7 7 7 3 Utting [Utting, 1994] 7 7 7 3 ZANS [Jia, 1995] 3 7 3 3 FunZ [Sherrell and Carver, 1995] 7 3 7 Tzc [Sterling et al. 1996] 3 7 7 7 Z Gamma Gamma [Valentine, 1995] 3 7 7 Fig. 5. Other Animation Proposals The animation method presented in this paper improves on previous work in a number of ways: It pays attention to process related issues i.e. how is the animation tool used In particular, the importance of ....

Sterling, Leon, Ciancarini, Paolo, and Turnidge, Todd (1996). On the animation of "not executable" specifications by Prolog.

....are quite useful in practice. While there are clear benefits to animating specifications, the analysis and verification of models using typical animation tools is not well understood. Previous papers in animating Z specifications have concentrated on describing tool architectures as in [16], outlining approaches to animating Z specifications as in 2 Exploration here is taken to mean both the verification and validation of the model as well as the exercising of the model by executing various scenarios or test cases which increase the developer s and the client s understanding of ....

Leon Sterling, Paolo Ciancarini, and Todd Turnidge. On the animation of "not executable" specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63-- 87, 1996.

....formalism and experimentation. It is a high level language, amenable for formal reasoning. A logic program is an executable specification and this encourages rapid prototyping. A logical language can naturally be the target language for the animation of many not executable specification languages [22]. On the side of integration of heterogeneous systems, Logic Programming can profitably address semantic integration that is the process of specifying methods to resolve conflicts, pool information together and define new operations based on operations belonging to different domains [12] Further, ....

....first time. They need execution and debugging which can go very quickly and productively. Furthermore understanding how the code will be run, i.e. the software design, influences the code, yet clear logical statements can be produced. Passing between good logic and good Prolog was investigated in [22]. The PipeDream (PrototypIng sPEcifcations, Design and REquirements At Melbourne) project of the Computer Science Department of the University of Melbourne, aims to improve the outcomes of requirements analysis by using formal methods, or more precisely mathematical modelling, to determine, ....

L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of "not Executable" Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 1996.

No context found.

TZC Leon Sterling, Paolo Ciancarini, and Todd Turnidge. On the animation of "not executable" specifications by Prolog. 22 International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 1996.

No context found.

TZC Leon Sterling, Paolo Ciancarini, and Todd Turnidge. On the animation of "not executable" specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63--87, 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