Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Structures

ICCS 1999: Conceptual Structures: Standards and Practices pp 272–296Cite as

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

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Article  Google Scholar 

  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. Sowa J. F.: Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA (1984).

    MATH  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 

  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.

    Article  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 

  15. Delugach H. S.: Specifying Multiple-Viewed Software Requirements with Conceptual Graphs, J. System Software, Vol. 19 (1992) 207–224.

    Article  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 

  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.

    Article  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 

Download references

Author information

Authors and Affiliations

  1. Mahidol University Computing Center, Faculty of Science, Mahidol University, Rama 6 Road, Bangkok, 10400, Thailand

    Thanwadee Thanitsukkarn

  2. Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, England

    Anthony Finkelstein

Authors
  1. Thanwadee Thanitsukkarn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anthony Finkelstein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Department, Monmouth University, West Long Branch, NJ, 07764-1898, USA

    William M. Tepfenhart

  2. The Bradley Department of Electrical and Computer Engineering, Virginia Tech, Automatic Design Research Group, Blacksburg, VA, 24061, USA

    Walling Cyre

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thanitsukkarn, T., Finkelstein, A. (1999). Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language. In: Tepfenhart, W.M., Cyre, W. (eds) Conceptual Structures: Standards and Practices. ICCS 1999. Lecture Notes in Computer Science(), vol 1640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48659-3_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-48659-3_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66223-5

  • Online ISBN: 978-3-540-48659-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation