In [11] M. Jackson introduces the concept of problem frame to describe specific classes of problems, to help in the specification and design of systems, and also to provide a framework for reusability. He thus identifies some particular frames, such as the translation frame (e.g., a compiler), the information system frame, the control frame (or reactive system frame), . . . . Each frame is described along three viewpoints that are application domains, requirements, and design. Our aim is to use Casl (or possibly a sublanguage or an extension of Casl if and when appropriate) to formally specify the requirements and the design of particular classes of problems (“problem frames”). This goal is related to methodology issues for Casl, that are here addressed in a more specific way, having in mind some particular problem frame, i.e., a class of systems. It is hoped that this will provide both a help in using, in a really effective way, Casl for system specifications, a link with approaches that are currently used in the industry, and a framework for the reusability. This approach is illustrated with some case studies, e.g., the information system frame is illustrated with the invoice system.

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach

REGGIO, GIANNA
1999

Abstract

In [11] M. Jackson introduces the concept of problem frame to describe specific classes of problems, to help in the specification and design of systems, and also to provide a framework for reusability. He thus identifies some particular frames, such as the translation frame (e.g., a compiler), the information system frame, the control frame (or reactive system frame), . . . . Each frame is described along three viewpoints that are application domains, requirements, and design. Our aim is to use Casl (or possibly a sublanguage or an extension of Casl if and when appropriate) to formally specify the requirements and the design of particular classes of problems (“problem frames”). This goal is related to methodology issues for Casl, that are here addressed in a more specific way, having in mind some particular problem frame, i.e., a class of systems. It is hoped that this will provide both a help in using, in a really effective way, Casl for system specifications, a link with approaches that are currently used in the industry, and a framework for the reusability. This approach is illustrated with some case studies, e.g., the information system frame is illustrated with the invoice system.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11567/517519
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact