Styles in Heterogeneous Modelling With UML

Share/Save/Bookmark

Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. [Report]

[img]
Preview
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