Cyber-Physical Systems (CPSs) are systems that connect the physical world with the virtual world of information processing. They consist of various components that work together to create some global behaviour. These components include software systems, communication technologies and sensors, executive mechanisms that interact with the real world, often including embedded technologies. One CPS may include a variety of components from different manufacturers or service providers, often without even knowing that their products and services are integrated with others as a result of CPS. This paper systematises information about CPS modelling methods and domains and presents the CPS modelling cycle – from abstraction to architecture and from concept to realisation.
BPMN (Business Process Model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. Verification of BPMN models is important since graphical fragmentary presentation could be a source of errors such as incompleteness, deadlocks, livelocks, incorrect terminations etc. We consider verification of model completeness. The model is transformed to the topological functioning model (TFM) in order to check completeness of inputs, outputs and functioning cycles of the entire specified system. The proposed approach is dedicated to the verification of the model at the beginning of analysis, and it could be supplemented by other methods at the design stage. This approach is more dedicated to analysis of the whole system, than to the verification of the concrete fragment work.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.