Towards a logical reconstruction of structured modeling

Structured modeling (SM) is a notation-independent modeling framework designed to represent a wide variety of models. The authors introduce a graph-based view of SM and develop a logic-based executable modeling language called LSM to represent the elements and structures of SM. The authors treat SM elements and structures as individual objects in LSM, and demonstrate how a modeler can represent structured models and predicate a variety of information about them. Finally, they embed LSM in a generic model management language and explore its viability in the model management context