| Abstract [eng] |
Research area – applying formal methods in describing and modeling of the complex systems functionalities together with verification and validation of designed specifications. The research is based on the use of Piece-Linear Aggregates, which allows creating modules for analyses of the system functionality and system correctness. The purpose of this work is transformation of UML activity model into PLA model in order to assess the characteristics of system functionality. These characteristics can show how system is operating and which parts of the system can be improved. PLA – Piece-Linear Aggregates formalism is used for modeling various systems. PLA is universal formal modeling language. In this specification process models are expressed in textual and mathematical expressions. The main idea of this approach - divide the system into piece linear aggregates each of which describe the use of control sequences. Using this method the formalized business processes are displayed as a set of interacting aggregates. The aggregate is an object, defined by a set of states Z, incoming signals X and outgoing signals Y. The final result of the research is the assessment the National Business Registration System in the Vietnam. Assessment allows to evaluate characteristics of the system functionality using PLA modeling method and identify the weakest point in the system in order to propose possible improvement and optimization methods. |
