Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language
Different participants in system development often hold partial specifications of the knowledge relating to the system being developed. To reflect this, the system may be developed through ‘perspectives’ to make such information more manageable. The ViewPoints framework  offers a way of dealing with the partitioning and the organization of perspectives entailed in system development. ViewPoints represent “agents” having “roles-in” and “views-of” a problem domain. We are using conceptual graphs (CGs) as a meta-representation language to describe ViewPoints in order to facilitate reasoning about the partitioned knowledge that each ViewPoint represents. The established notations and operations of CGs provide a strong foundation for this purpose. This paper presents the applicability of ViewPoints together with a CG meta-representation language for the knowledge acquisition activities of the Sisyphus-I room allocation task. The paper provides an illustrative case study of our ongoing work on CG application to the area of software engineering . Although the Sisyphus-I room allocation task is not a natural fit with the ViewPoints framework which aims at different tasks, we have made an attempt to apply it and believe that there are some interesting lessons.
Unable to display preview. Download preview PDF.
- 2.Thanitsukkarn T., Finkelstein A.: A Conceptual Graph Approach to Support Multiperspective Development Environments, In: Gaines B. R., Musen M. (eds.), Proceedings of the 11th Knowledge Acquisition For Knowledge-based Systems Workshop, Vol. 1, Banff, Canada (1998).Google Scholar
- 4.Nuseibeh B.: A Multi-Perspective Framework for Method Integration, Department of Computing, Imperial College, University of London, London, PhD. Thesis (1994).Google Scholar
- 5.Gaines B. R.: A Situated Classification Solution of a Resource Allocation Task Represented in a Visual Language, Int. J. Human-Computer Studies, Vol. 40(2), http://ksi.cpsc.ucalgary.ca/KAW/Sisyphus/Sis1/ (1994).
- 6.Thanitsukkarn T.: Multiperspective Development Environment for Configurable Distributed Applications, Department of Computing, Imperial College, University of London, PhD Thesis, February (1998).Google Scholar
- 7.Petermann H., Möller J.-U., Wiese D.: CG-Editor User’s Guide, University of Hamburg (1995).Google Scholar
- 8.Wermelinger M.: Conceptual Graphs and First-Order Logic, In: Conceptual Structures: Applications, Implementation and Theory, Lecture Notes in Artificial Intelligence, Vol. 954, Springer-Verlag (1995) 323–337.Google Scholar
- 9.Nuseibeh, B., Kramer, J., Finkelstein, A: Expressing the Relationships Between Multiple Views in Requirements Specification, Proceedings of the 15th International Conference on Software Engineering, IEEE CS Press, Baltimore, USA, May (1993).Google Scholar
- 11.Hunter, A., and Nuseibeh, B.: Managing Inconsistent Specifications: Reasoning, Analysis and Action, Technical Report Number 95/15, Department of Computing, Imperial College, London, UK, October (1995).Google Scholar
- 12.Bowman H., Derrick J., Steen M.: Some Results on Cross Viewpoint Consistency Checking, In: IFIP TC6 International Conference on Open Distributed Processing, Brisbane, Australia, Chapman and Hall (1995) 399–412.Google Scholar
- 13.Boiten E., Bowman H., Derrick J., Steen M.: Viewpoint Consistency in Z and LOTOS: A Case Study, In: Proceedings of the 4th Int. Symposium of Formal Methods Europe, FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, Lecture Notes in Computer Science 1313, Graz, Austria, September, Springer-Verlag (1997) 644–664.Google Scholar
- 14.Delugach H. S.: Analysing Multiple Views of Software Requirements, In Nagle T. E., Nagle J. A., Gerholz L. L., and Eklund P. W. (eds.), Conceptual Structures: Current Research and Practice, Ellis Horwood (1992).Google Scholar
- 16.Delugach H. S.: An Approach to Conceptual Feedback in Multiple Viewed Software Engineering Models, Int. Workshop on Multiple Perspectives in Software Development, SIGSOFT’96 Workshops, San Francisco, USA, Vidal L., Finkelstein A., Spanoudakis G., and Wolf A. L. (Eds.), ACM Press (1996) 242–246.Google Scholar
- 17.Lukose D., Mineau, G. W.: A Comparative Study of Dynamic Conceptual Graphs, Proceedings of the 11th Knowledge Acquisition For Knowledge-based Systems Workshop, Gaines B. R., Musen M. (eds.), Vol. 1, Banff, Canada (1998).Google Scholar
- 19.Yourdon E., Constantine L. L.: Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, Englewood Cliffs (1979).Google Scholar