Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/5222
Título: | A reification calculus for model-oriented software specification |
Autor(es): | Oliveira, José Nuno Fonseca |
Palavras-chave: | Calculus Software Reification Algebraic specification Formal methods Software engineering Transformational design |
Data: | Abr-1990 |
Editora: | Springer Verlag |
Revista: | Formal Aspects of Computing |
Citação: | "Formal aspects of computing : the international journal of formal methods". ISSN 0934-5034. 2 (1990) 1-23. |
Resumo(s): | This paper presents a transformational approach to the derivation of implementations from model-oriented specifications of abstract data types. The purpose of this research is to reduce the number of formal proofs required in model refinement, which hinder software development. It is shown to be appli- cable to the transformation of models written in Meta-iv (the specification lan- guage of Vdm) towards their refinement into, for example, Pascal or relational DBMSs. The approach includes the automatic synthesis of retrieve functions between models, and data-type invariants. The underlying algebraic semantics is the so-called final semantics “`a la Wand”: a specification “is” a model (heterogeneous algebra) which is the final ob ject (up to isomorphism) in the category of all its implementations. The transformational calculus approached in this paper follows from exploring the properties of finite, recursively defined sets. This work extends the well-known strategy of program transformation to model transformation, adding to previous work on a transformational style for operation- decomposition in META-IV. The model-calculus is also useful for improving model-oriented specifications. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/5222 |
DOI: | 10.1007/BF01888215 |
ISSN: | 0934-5034 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
fac90.pdf | Documento principal | 260,37 kB | Adobe PDF | Ver/Abrir |