Styles in Heterogeneous Modelling With UML
Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. [Report]
| PDF 531Kb |
| Abstract: | Software development is becoming increasingly heterogeneous, and therefore the formal approaches to heterogeneity are geting very important but, unacceptable extremely complex. We propose a type theoretic approach based on the concept of style, as an attempt to simplify the complex interaction of different formal aspects of system specification. We use category theory to investigate three major semantic styles - algebraic, coalgebraic and relational - and specification methodologies like viewpoints and precise metamodeling. |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/64688 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page
Metis ID: 250914
Show download statistics for this publication
Show download statistics for this publication