An EMOF-Compliant Abstract Syntax for Bigraphs

Kehrer, Timo; Tsigkanos, Christos; Ghezzi, Carlo

doi:10.4204/eptcs.231.2

Cited by 4 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We refer to our target models as analyzable, since they enjoy well-defined semantics and can be used for automatic verification of desired properties of the overall design of the system in a formal and systematic way, as is typical in software engineering. The bigraphical representation we utilize can be integrated [31] with mainstream technologies for model-driven engineering (MDE) [15,57], typically based on the EMOF standard [27]. In the following, we identify three major classes of analyses that may be bootstrapped by our target models.…”

Section: Cyber-physical Spaces As Target Modelsmentioning

confidence: 99%

Model-driven engineering city spaces via bidirectional model transformations

Visconti

Tsigkanos

et al. 2021

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

Engineering cyber-physical systems inhabiting contemporary urban spatial environments demands software engineering facilities to support design and operation. Tools and approaches in civil engineering and architectural informatics produce artifacts that are geometrical or geographical representations describing physical spaces. The models we consider conform to the CityGML standard; although relying on international standards and accessible in machine-readable formats, such physical space descriptions often lack semantic information that can be used to support analyses. In our context, analysis as commonly understood in software engineering refers to reasoning on properties of an abstracted model—in this case a city design. We support model-based development, firstly by providing a way to derive analyzable models from CityGML descriptions, and secondly, we ensure that changes performed are propagated correctly. Essentially, a digital twin of a city is kept synchronized, in both directions, with the information from the actual city. Specifically, our formal programming technique and accompanying technical framework assure that relevant information added, or changes applied to the domain (resp. analyzable) model are reflected back in the analyzable (resp. domain) model automatically and coherently. The technique developed is rooted in the theory of bidirectional transformations, which guarantees that synchronization between models is consistent and well behaved. Produced models can bootstrap graph-theoretic, spatial or dynamic analyses. We demonstrate that bidirectional transformations can be achieved in practice on real city models.

show abstract

Section: Cyber-physical Spaces As Target Modelsmentioning

confidence: 99%

Model-driven engineering city spaces via bidirectional model transformations

Visconti

Tsigkanos

et al. 2021

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

show abstract

“…With regard to BiGGer, bigraphs are specified using a meta-modeling approach (Grzelak, 2023;Kehrer et al, 2016) that is based on the EMOF standard (ISO/IEC 19508:2014, which is common in the software engineering sciences, where this library is most useful. Grounding bigraphs on metamodels facilitate its construction via a universal and platform-agnostic language.…”

mentioning

confidence: 99%