Sökning: "message sequence chart MSC"

Hittade 2 uppsatser innehållade orden message sequence chart MSC.

  1. 1. A Transformation of Controlled Natural Language Behavioural Requirements into Modal Sequence Diagram Simulation Models for Requirement Conflict Detection

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Alexander Styre; [2017-06-21]
    Nyckelord :model-driven engineering MDE ; requirements engineering RE ; model-driven requirements engineering MDRE ; ScenarioTools; scenario markup language SML ; scenario description language SDL ; modal sequence diagram MSD ; message sequence chart MSC ; live sequence chart LSC ; controlled natural language CNL ; deterministic transformation;

    Sammanfattning : PURPOSE: Specifying requirements in a semi-formal notation, such as a controlled natural language (CNL), allows reduction of ambiguity and underspecification in requirement specifications, as the notation uses well defined semantics and enforces consistency and conformance to syntactical rules. Contradicting requirements can be problematic to detect in practice depending on the size and complexity of the requirement specification. LÄS MER

  3. 2. Adding Extra Dimensions to Message Sequence Charts : Visualizing Component and Date Variability

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Ignatius Aries Kurniawan; [2015]
    Nyckelord :;

    Sammanfattning : Message Sequence Charts (MSC) are now widely used to describe communication between system components. The diagrams have been formalized, recommended, and even extended. The extensions of the MSCs typically handle additional complexities, e.g. LÄS MER