Toward agility in Distributed Software Architecture based on Process Mining and Color Petri Net Model

This study aims to use process mining to discover factual software architecture from codes and represents software architecture model in Petri Net to evaluate model by linear temporal logic and process mining technique. The approach reduces documentation works of software architecture and significantly reflects the real software architecture and its drift from what is expected. It is also simple and graphical to understand by other stockholders. Besides, it is executable to simulate abstract indicating model behaviors in details. This approach saves time and budget as it can be applied during the project, unlike other approaches only applied once before start of project. The approach can be considered as agile software architecture method.