A categorical approach towards metamodeling

نویسنده

  • K. SMARSLY
چکیده

Cyber-physical systems, orchestrating computing, networking, and physical processes, are coupled, hybrid systems characterized by heterogeneous, interconnected subsystems. In civil engineering, the most common applications of cyber-physical systems are associated with structural health monitoring (SHM) and structural control. Given the complexity and heterogeneity of cyber-physical systems designed for structural health monitoring and control applications, it is hardly possible to reliably assess the quality of a cyber-physical system (CPS), which is needed for increased availability and for identifying potential sources of faults in a CPS. This conceptual paper proposes a metamodeling approach that can be used as a basis to model cyber-physical systems in order to assess the CPS quality based on category theory. Category theory is a mathematical theory that allows formalizing concepts of high-level abstractions on a meta level. Using the CPS metamodeling approach presented in this paper, each subsystem of a CPS can be modeled and assessed individually, entailing a holistic quality assessment of a CPS and its subsystems. However, since this paper is conceptual, it is intended to devote additional future research efforts to metamodeling and assessing cyber-physical systems, achieving a complete conceptual modeling framework for cyber-physical systems applied in structural health monitoring and control.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formalization of the UML Metamodel: An Approach Based Upon the Four-Layer Metamodeling Architecture

Modeling tools move towards more and more abstract approaches such as metamodels and the four-layer metamodeling architecture. We address modeling tools using the UML metamodel as a core. We propose a fourlayer metamodeling architecture based upon a two-fold structure of metametamodel and metamodel layers. The meta-metamodel layer is populated with a lattice of modeling paradigms that are insta...

متن کامل

UML-Metamodeling: Towards Formal Approach to Interoperability

We believe that information systems, in order to avoid obsolescence, need to become web-enabled. We have proposed an integrated framework for both Analysis & Design and interoperability of information systems. This framework uses metamodeling in order to propose a new approach to integration of formal methods into modeling processes. We emphasize a systematic use of formal methods –in order to ...

متن کامل

Towards Architectural Modeling with UML Subsystems

This paper presents an extension of the UML 1.4 metamodel that facilitates the description of software architectures. To this end, concepts like views, ports, connectors, and protocols are introduced, and the UML’s subsystem concept is adapted. The approach is inspired by ROOM and IEEE P1471, using an explicit metamodeling approach for clarity. This paper should be seen as input for the discuss...

متن کامل

Intuitive Visualization-Oriented Metamodeling

In this article we present a metamodeling tool that is strictly oriented towards the needs of the working domain expert. The working domain expert longs for intuitive metamodeling features. In particular this concerns rich capabilities for specifying the visual appearance of models. In these efforts we have identified an important design rationale for metamodeling tools that we call visual reif...

متن کامل

Integration of Business Rules and Model Driven Development

To help bridge the gap between Information system (IS) analysts and stakeholders, a Model-Driven Development (MDD) approach is proposed. A MDD approach uses models as primary development artifacts. Models increase the abstraction level of IS development and help to improve migration between various development phases. A MDD approach provides considerable benefits in the IS development domain, n...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017