SOLID-M Instantiation Example

SOLID-M is a quality framework for conceptual models learned from data. his dataset provides a SOLID-M instantiation example for analyzing the quality of agent-based Petri net models discovered from data by the Agent Miner algorithm. In this example, we specify the six SOLID-M modeling artifact sets and propose possible characteristics and measures for each of the eight SOLID-M quality aspects calculated over the specified sets.