论文信息 - Issues in multiparadigm viewpoint specification

Issues in multiparadigm viewpoint specification

This paper discusses the issues of specification style and refinement that arise in connection with viewpoint modelling. In particular, we consider the support needed in order to deal with viewpoints at different levels of abstraction. The motivation for this work arises from the use of viewpoints in distributed systems design, in particular the Open Distributed Processing standard. Full proceedings of the workshop it was presented at can be found on WWW: A. Finkelstein and G. Spanoudakis (eds.): http://web.soi.city.ac.uk/homes/gespan/VP F SE.html, ACM SIGSOFT Foundations of Software Engineering 4, 1996.

Howard Bowman | John Derrick | Maarten Steen | Eerke Boiten

[1] Howard Bowman,et al. Consistency and Refinement for Partial Specification in Z , 1996, FME.

[2] Howard Bowman,et al. Maintaining Cross Viewpoint Consistency using Z , 1995 .

[3] Howard Bowman,et al. Comparing LOTOS and Z Refinement Relations , 1996, FORTE.

[4] Mike Ainsworth,et al. Viewpoint specification and Z , 1994, Inf. Softw. Technol..

[5] Howard Bowman,et al. Viewpoint consistency in ODP, a general interpretation , 1997 .

[6] Howard Bowman,et al. Strategies for Consistency Checking, the Choice of Unification , 1996 .

[7] J. Derrick,et al. Consistency and Reenement for Partial Speciication in Z , 1996 .

[8] Rob J. van Glabbeek. The Refinement Theorem for ST-bisimulation Semantics , 1990, Programming Concepts and Methods.

[9] Howard Bowman,et al. Viewpoints and Objects , 1995, ZUM.

[10] Bashar Nuseibeh,et al. Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[11] Howard Bowman,et al. FDTs for ODP , 1995 .

[12] Howard Bowman,et al. Supporting ODP - Translating LOTOS to Z , 1997 .

[13] Daniel Jackson,et al. Structuring Z specifications with views , 1995, TSEM.

[14] Howard Bowman,et al. Composition of LOTOS specifications , 1995, PSTV.