• DocumentCode
    3295700
  • Title

    Reconciling a Component and Process View

  • Author

    Spichkova, Maria ; Schmidt, Heinz

  • Author_Institution
    RMIT Univ., Melbourne, VIC, Australia
  • fYear
    2015
  • fDate
    16-17 May 2015
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to understand. We suggest a solution how to cover this gap and to reconcile component and process views on system representation: a formal framework that gives the advantage of solving design problems for large-scale component systems.
  • Keywords
    object-oriented programming; abstraction level; component reconciling; large-scale component systems; process view; system components; system representation; Connectors; Delays; IEC standards; Petri nets; Process control; Unified modeling language; Component View; Formal Analysis; Modelling; Process View; Specification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on
  • Conference_Location
    Florence
  • Type

    conf

  • DOI
    10.1109/MiSE.2015.8
  • Filename
    7167394