ISModeler combines data and process models. It takes a process model in the form of a CPN model, a Data model in the form of a TPTP specification, and a specification that defines how the transitions in the Petri net
HUSACCT
Software Architecture Compliance Checking (ACC) focuses on analyzing whether the actual implemented source code adheres to the intended architecture. HUSACCT, developed and maintained by Leo Pruijt (HU), is a static ACC tool that adds extensive support for semantically rich modular
MicADO
In a microservice architecture, each service is designed to be independent of other microservices. The size of a microservice, defined by the features it provides, directly impacts performance and availability of the microservice. However, none of the currently available approaches