Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets

2015/11/03 by Tony Modica, Modica, Tony, Kathrin Hoffmann +1 · 3 citations
Computer Science · #Model-Driven Software Engineering Techniques #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services

paper · doi:10.14279/tuj.eceasst.30.426

openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01

Abstract

Communication nowadays is based on communication platforms like Skype, Facebook, or SecondLife. The formal modeling and analysis of communication platforms poses considerable challenges, namely highly dynamic structures and complex behavior. Since most of the well-known formal modeling approaches are adequate only for specific aspects of communication platforms, in this paper we introduce the approach of reconfigurable algebraic high-level nets with individual tokens and show in our case study Skype that this approach is adequate for modeling the main aspects and features of communication platforms.

Cited by

• Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors
• Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms
• On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Related

• On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
• Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms
• Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks
• Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
• A Dynamic Algebraic Specification for Social Networks