Hierarchical Models for Service-Oriented Systems

Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lafuente, Alberto Lluch; Montanari, Ugo

doi:10.1007/978-3-642-20401-2_16

Cited by 1 publication

(2 citation statements)

References 15 publications

(23 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In fact, hierarchical graphs have also been formalized in category theory to model hierarchical structures [15] (where coupling of hyper-graphs and forests yields bigraphs) [2] (graphs inside graphs). Although hierarchical graphs encapsulate the hierarchy of nodes (here, boxes) and the communication links between nodes, the nature and structure of nodes and node containment (nesting) and links between nodes do not have the same meaning as described in Section 2.…”

Section: Other Workmentioning

confidence: 99%

“…The source and target of a link are ports at the same level of hierarchy of a box. We do not use two separate structures to define boxes (objects) and as a basis for composite boxes (arrows), and in this our approach contrasts with the two-structure approaches of [15] (place graph and linking graph ) and [2] (graph layer and hierarchical graph).…”

Section: Other Workmentioning

confidence: 99%

See 1 more Smart Citation

On a federated architecture for utilizing domain-specific descriptive models. (Poster)

Simo¹,

Ernadote²,

Lenné³

2022

Preprint

View full text Add to dashboard Cite

In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -called descriptive models -which we shall describe, we argue that, while the clarity and precision of models are essential for their exchange and reuse, the way in which the data of these models are defined and the information conveyed is also essential for their (re) utilization -e.g., for analysis or synthesis purposes. Category Theory has made it possible to link seemingly separate fields or domains, so that anything that can be rewritten in this framework benefits from a level of abstraction and a relational viewpoint -essential to address complexity. We therefore take advantage of this framework to define a federated architecture for projecting and conveying these models without sacrificing clarity and precision. A federated architecture has two important advantages. On the one hand, it unifies these models from their structure; on the other hand, it allows a specific usage (instantiation or interpretation) of this structure within a business domain. We define the structure of these models as a symmetric multicategory. In particular, we rely on matrices over a semiring to define morphisms and their composition. The choice of matrices is intended to facilitate the application in practice.

show abstract

Section: Other Workmentioning

confidence: 99%

Section: Other Workmentioning

confidence: 99%