Abstract:Behaviors of many engineering systems are described by lumped parameter models that encapsulate the spatially distributed nature of the system into networks of lumped elements; the dynamics of such a network is governed by a system of ordinary differential and algebraic equations. Languages and simulation tools for modeling such systems differ in syntax, informal semantics, and in the methods by which such systems of equations are generated and simulated, leading to numerous interoperability challenges. Logical extensions of SysML aim specially at unifying a subset of the underlying concepts in such languages. We propose to unify semantics of all such systems using standard notions from algebraic topology. In particular, Tonti diagrams classify all physical theories in terms of physical laws (topological and constitutive) defined over a pair of dual cochain complexes and may be used to describe different types of lumped parameter systems. We show that all possible methods for generating the corresponding state equations within each physical domain correspond to paths over Tonti diagrams. We further propose a generalization of Tonti diagram that captures the behavior and supports canonical generation of state equations for multi-domain lumped parameter systems. The unified semantics provides a basis for greater interoperability in systems modeling, supporting automated translation, integration, reuse, and numerical simulation of models created in different authoring systems and applications. Notably, the proposed algebraic topological semantics is also compatible with spatially and temporally distributed models that are at the core of modern CAD and CAE systems.

Method of Dynamical Systems to Research Component Reference Semantics

Research on Component Composition with Formal Semantics

Research on Formal Semantics of Component Integration

A Modeling Method for Process Systems and Studies on the Dynamical Behavior

On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.

On the Formalized Semantics of Static Modeling Elements in UML

Topological Semantics for Lumped Parameter Systems Modeling

Conceptual Structure Modelling Method Based on Coupling Semantics

A Coalgebraic Semantic Framework for Component-based Development in UML

Semantic Representation and Composition of Business Components Based on Domain Feature Ontology

On refinement of software architectures

A Game Perspective of Refinement of Component Models

XML-based Multi-tiered Distributed Component System Model and Its Semantics Computation

Research of Heuristic Component Functional Retrieval Based on Description Logics and Sampling Sequence Pattern Mining

On Refinement of Generic Software Components

Re-investigation into Componential Analysis in Semantics

Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles

Semantics-Based Component Repository: Current State of Arts and a Calculation Rating Factor-Based Framework

The destiny of constant structure discrete time closed semantic systems

An Interactive Query Generation Method for Semantics-based Component Retrieval

An Integrated Software Component Description Framework