Pattern‐based software process modeling for dependability

Abstract

Traditional process modeling focuses on modeling activities for functional requirements. For dependability requirements, a knowledge‐based aspect‐oriented software process modeling approach is proposed. First, we extend the pattern and context to the knowledge graph triplet structure to describe dependability‐oriented knowledge patterns. By applying the patterns, dependability requirements can be organized into dependability‐related activities that are integrated into the software process. Then, aspect‐oriented modeling patterns based on Petri nets are introduced to support the integration of these dependability‐related activities and model dependability‐oriented software processes. Finally, the modeling performance and the subjective usability of the patterns are evaluated by 110 students with different degrees. The results indicate that these two indexes are on the positive track. Hence, the patterns may be the backbone of dependability‐oriented software process modeling.

POEML: a Process Orchestration, Execution, and Modeling Language

“…To develop top quality software, the development process must be well‐organized and efficient 3 . The improvement of software engineering in the industry is principally concerned with the improvement of software life cycles 4 . Indeed, recommendations and norms suggest that organizations should formally administrate their processes 5 …”