The development of contemporary systems is an extremely complex process. One approach
to modeling system behavior uses activity diagrams from Unified Modeling Language …

UML is a proven and simple modeling language to capture all the functional requirements of
the system. Petri net is a powerful tool to analyze structural and behavioral properties of the …

The reliability prediction of an engineering system/process is one of the most important
design considerations. Reliability modelling should be applied at the earliest stages of the …

Ballerina is a new language for solving integration problems. It is based on insights and best
practices derived from languages like BPEL, BPMN, Go, and Java, but also cloud …

The increasing growth of threats to Industrial Control Systems (ICS) in the energy sector puts
this critical infrastructure at high risk. Consequently, holistic approaches are needed to …

Modern software systems have increasingly higher expectations on their reliability, in
particular if the systems are critical and real-time. The development of these complex …

面向对象所具有的类, 封装, 继承, 动态连接等特性, 使得面向对象测试步骤的划分以及测试策略
的选择有别于传统的测试思想. 本文针对面向对象软件的特点, 采用基于模型的软件测试方法 …

The healthcare market demands more advanced and flexible solutions to provide better care
for patients. Moving medical services closer to patients improves the quality of healthcare …

A new interaction diagram, called Interaction Overview Diagram or IOD, was introduced in
the second generation of UML. It defines interactions through a variant of activity diagrams in …

Traditional software systems were developed as a single unit responsible for multiple
operations and containing all the business logic. However, as the system grows and is …