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
Link To Document :
بازگشت