As the complexity and heterogeneity of a system grows, the challenge of specifying,
documenting and synthesizing correct, machine-readable designs increases dramatically …

The Internet, which has spanned several networks in a broad range of domains, is having a
significant impact on every aspect of our lives. The next generation of networks will utilize a …

Abstract Categorical Query Language is an open-source query and data integration
scripting language that can be applied to common challenges in the field of computational …

With the increase of personalized customization and collaborative production requirements,
more and more manufacturing enterprises virtualize and publish their resources and …

In this paper, we argue that category theory (CT), the mathematical theory of abstract
processes, could provide a concrete formal foundation for the study and practice of systems …

A mathematical framework based on category theory is proposed to formally describe and
explore procedures of modeling engineering products and processes that comprise …

Развивается предложенный ранее математический аппарат на базе теории категорий,
предназначенный для формального описания и строгого исследования процедур …

Recent advances in companies are characterized by highly dynamic, knowledge-intensive
and collaborative process. This has become primary concern for mechatronic systems since …

Automated scientific discovery, a topic in artificial intelligence has mainly been used to
generate scientific insight from data. Our work follows the knowledge-driven discovery …

During an engineering design process, designers create sequences of product models by
switching between product models with different purposes. To enable an efficient use of …