Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language

  • Thanwadee Thanitsukkarn
  • Anthony Finkelstein
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1640)

Abstract

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 [1] 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 [2]. 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Finkelstein A., Kramer J., Nuseibeh B., Finkelstein L., Goedicke M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development, Int. J. Software Engineering and Knowledge Engineering, Vol. 2(1). World Scientific Publishing Co. (1992) 31–58.CrossRefGoogle Scholar
  2. 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
  3. 3.
    Sowa J. F.: Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA (1984).MATHGoogle Scholar
  4. 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. 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. 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. 7.
    Petermann H., Möller J.-U., Wiese D.: CG-Editor User’s Guide, University of Hamburg (1995).Google Scholar
  8. 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. 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
  10. 10.
    Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multi-Perspective Specifications, IEEE Transactions on Software Engineering, Vol. 20(8), December (1994) 569–578.CrossRefGoogle Scholar
  11. 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. 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. 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. 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
  15. 15.
    Delugach H. S.: Specifying Multiple-Viewed Software Requirements with Conceptual Graphs, J. System Software, Vol. 19 (1992) 207–224.CrossRefGoogle Scholar
  16. 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. 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
  18. 18.
    Clarke E. M., Wing J. M.: Formal Methods: State of the Art and Future Directions, ACM Computing Surveys, Vol. 28(4) (1996) 626–643.CrossRefGoogle Scholar
  19. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Thanwadee Thanitsukkarn
    • 1
  • Anthony Finkelstein
    • 2
  1. 1.Mahidol University Computing Center, Faculty of ScienceMahidol UniversityBangkokThailand
  2. 2.Department of Computer ScienceUniversity College LondonLondonEngland

Personalised recommendations