Loading...
Please wait, while we are loading the content...
On Formal Speciications Parameterised by Diagrams
| Content Provider | Semantic Scholar |
|---|---|
| Author | Dimitrakos, Theodosis |
| Copyright Year | 2007 |
| Abstract | This paper presents an extension of previous work on the parameterisation of logical and algebraic speciications that leads to a novel formalisation of parameterisation which is (i) general enough to be independent of the speciicities of the underlying formalism, and (ii) exible enough to accommodate the manipulation of complex parameterised spec-iications where the parameter is presented by means of a diagram of speciications and where parameterisations are instantiated along morphisms of speciication diagrams. In addition, a unifying formalisation of parameterisation by means of a generic categorial encapsulation of the \is a part of" relation is obtained and a study of a mixed variance reenement of speciication parameterised by diagrams is initiated. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www-tfm.doc.ic.ac.uk/~td/ParamRVS/paranew.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
