Styles in Heterogeneous Modelling With UML

M.C. Bujorianu, L.M. Bujorianu

    Research output: Book/ReportReportProfessional

    38 Downloads (Pure)


    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages25
    Publication statusPublished - 18 Mar 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1381-3625


    • MSC-16W30
    • EWI-12120
    • IR-64688
    • METIS-250914

    Cite this