Styles in Heterogeneous Modelling With UML

M.C. Bujorianu, L.M. Bujorianu

    Research output: Book/ReportReportProfessional

    22 Downloads (Pure)

    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.
    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
    No.TR-CTIT-08-29
    ISSN (Print)1381-3625

    Keywords

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

    Cite this

    Bujorianu, M. C., & Bujorianu, L. M. (2008). Styles in Heterogeneous Modelling With UML. (CTIT Technical Report Series; No. TR-CTIT-08-29). Enschede: Centre for Telematics and Information Technology (CTIT).
    Bujorianu, M.C. ; Bujorianu, L.M. / Styles in Heterogeneous Modelling With UML. Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 25 p. (CTIT Technical Report Series; TR-CTIT-08-29).
    @book{516cb8bb2a254a14bd073a110ab1a2a1,
    title = "Styles in Heterogeneous Modelling With UML",
    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.",
    keywords = "MSC-16W30, EWI-12120, IR-64688, METIS-250914",
    author = "M.C. Bujorianu and L.M. Bujorianu",
    year = "2008",
    month = "3",
    day = "18",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "TR-CTIT-08-29",
    address = "Netherlands",

    }

    Bujorianu, MC & Bujorianu, LM 2008, Styles in Heterogeneous Modelling With UML. CTIT Technical Report Series, no. TR-CTIT-08-29, Centre for Telematics and Information Technology (CTIT), Enschede.

    Styles in Heterogeneous Modelling With UML. / Bujorianu, M.C.; Bujorianu, L.M.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 25 p. (CTIT Technical Report Series; No. TR-CTIT-08-29).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Styles in Heterogeneous Modelling With UML

    AU - Bujorianu, M.C.

    AU - Bujorianu, L.M.

    PY - 2008/3/18

    Y1 - 2008/3/18

    N2 - 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.

    AB - 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.

    KW - MSC-16W30

    KW - EWI-12120

    KW - IR-64688

    KW - METIS-250914

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - Styles in Heterogeneous Modelling With UML

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

    Bujorianu MC, Bujorianu LM. Styles in Heterogeneous Modelling With UML. Enschede: Centre for Telematics and Information Technology (CTIT), 2008. 25 p. (CTIT Technical Report Series; TR-CTIT-08-29).