Membership(s) and compliance(s) with class-based graphs

TL;DR

This paper introduces class-based graphs as a new way to specify requirements for object-based graphs, defining local membership relations and global compliance variants to enhance network modeling and analysis.

Contribution

It proposes a formal framework for class-based graphs with novel membership and compliance relations, improving network requirement specification.

Findings

Defines local membership relations between class-based and object-based graphs.

Introduces global compliance variants for class-based graphs.

Provides a formal model to specify network requirements.

Abstract

Besides the need for a better understanding of networks, there is a need for prescriptive models and tools to specify requirements concerning networks and their associated graph representations. We propose class-based graphs as a means to specify requirements concerning object-based graphs. Various variants of membership are proposed as special relations between class-based and object-based graphs at the local level, while various variants of compliance are proposed at the global level.