ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
International Journal of Human-Computer Studies
Volume 49, Issue 4, October 1998, Pages 471-495
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (409 K)

  E-mail Article   
  Add to my Quick Links   
Bookmark and share in 2collab (opens in new window)
Request permission to reuse this article
  Cited By in Scopus (0)
 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1006/ijhc.1998.0215    How to Cite or Link Using DOI (Opens New Window)
Copyright © 1998 Academic Press. All rights reserved.

Regular Article

Supporting organization and use of problem-solving methods libraries by a formal approach

CHRISTINE PIERRET-GOLBREICH1

Laboratoire de Recherche en Informatique de Rennes 2, UFR Sciences Sociales, University Rennes 2, 35043, Rennes Cedex, Francef1

Available online 8 April 2002.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

Different libraries of problem-solving methods have been described in the past few years. But they have mostly been defined at an informal or operational level and rarely at the formal level. Since their components lack a clear definition and rigorous structuration, it is difficult to ensure that a method selected from a library is correctly reused in the development of an application. This is the reason why we have chosen a formal approach to support problem-solving methods libraries organisation and use. Our approach is based on algebraic specifications. Our first contribution presents how such formal techniques can provide reusable PSMs with a precise and unambiguous semantics and with a mathematically well-defined hierarchical structuration. Second, we show how reusing and adapting such PSMs to develop particular applications can be rigorously formalized. A library fragment of assignment methods is used to illustrate how to structure a PSM library. Sisyphus I example is used to describe how to derive a formal specification of an application by reusing components of this library. The paper focuses on the competence of PSMs regardless of their dynamic aspects.

1 A main part of this work was done during the author's position at Laboratoire de Recherche en Informatique, CNRS URA 410, University Paris-Sud, 91405 ORSAY Cedex, France.

f1 Christine.Golbreich@uhb.fr.


 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.