PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E. Modelling design methods for quality. Technical report, 2002.
 
 
Abstract
(English)
A metamethod for modelling design methods that meet quality requirements is proposed and an example is described. The chosen example is MetaASSO, the approach employed to define a modular design of a methodology of conceptual database design, named ASSO. MetaASSO consists of a sequence of method proposals. The motivations which supports the proposals are described and the following modules, called methodological tools, are introduced: Structured Database Schema, conceptual model designed to specify information with flexibility while guaranteeing consistency; Revisited Partitioning, method designed to refine the Structured Database Schema towards correct and efficient implementations; Relations between ASSO and B, approach of translation proposed to link a methodology designed at conceptual level with a formal method designed at a lower abstraction level. This approach makes it easy to deal with ASSO and the methodological tools. Features of ASSO can therefore be reused to design an ASSO-toolkit based on the B-toolkit that performs the proof process at a low cost.
Subject Formal languages
H.2.1 Conceptual Design. Data Models
H.2.3 Languages
D.2.10 Design: Methodologies
D.2.2 Tools and Techniques
F.4.3 Formal languages
H.2.1 Conceptual Design. Schema and Subschema


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional