Styles in Heterogeneous Modelling With UML


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

open access
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
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 250914