中文
相关论文

相关论文: A Method for Ontology-based Architecture Reconstru…

200 篇论文

We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and…

人工智能 · 计算机科学 2024-08-15 Tobias John , Patrick Koopmann

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalisms of system architectures for supporting model-based requirement elicitation,…

软件工程 · 计算机科学 2020-10-16 Lu Jinzhi , Ma Junda , Xiaochen Zheng , Guoxin Wang , Dimitris Kiritsis

Refactoring is a maintenance activity that aims to improve design quality while preserving the behavior of a system. Several (semi)automated approaches have been proposed to support developers in this maintenance activity, based on the…

软件工程 · 计算机科学 2019-05-20 Rodrigo Morales , Foutse Khomh , Giuliano Antoniol

Architecture optimization is the process of automatically generating design options, typically to enhance software's quantifiable quality attributes, such as performance and reliability. Multi-objective optimization approaches have been…

软件工程 · 计算机科学 2024-01-31 Daniele Di Pompeo , Michele Tucci

OWL (Web Ontology Language) ontologies which are able to formally represent complex knowledge and support semantic reasoning have been widely adopted across various domains such as healthcare and bioinformatics. Recently, ontology…

人工智能 · 计算机科学 2025-07-22 Hui Yang , Jiaoyan Chen , Yuan He , Yongsheng Gao , Ian Horrocks

Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only stated informally, which may cause problems such as…

软件工程 · 计算机科学 2015-03-18 Diego Marmsoler , Alexander Malkis , Jonas Eckhardt

Students of software engineering struggle to develop a systems perspective because most of the software engineering methodologies focus on developing a particular aspect of a system. Lack of unified coverage to the topic of systems…

软件工程 · 计算机科学 2019-10-18 Arvind W Kiwelekar

Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a designer first constructs a model, with mathematically precise…

系统与控制 · 计算机科学 2019-02-13 Luan Viet Nguyen , Gautam Mohan , James Weimer , Oleg Sokolsky , Insup Lee , Rajeev Alur

We describe a cognitive architecture intended to solve a wide range of problems based on the five identified principles of brain activity, with their implementation in three subsystems: logical-probabilistic inference, probabilistic formal…

人工智能 · 计算机科学 2022-06-22 Anton Kolonin , Andrey Kurpatov , Artem Molchanov , Gennadiy Averyanov

The methodological foundations of the construction of information technology, formalized models and tools for the implementation of the research-related design of smart systems based on the use of the concepts of transdisciplinarity and…

计算机与社会 · 计算机科学 2022-01-04 Oleksandr Palagin , Mykola Petrenko , Kyrylo Malakhov

In this paper, we present an ontology-based approach to compose applications while preserving their former look. Our composition process relies on the manipulation of User Interfaces (UI) and on several ontologies describing relationships…

人机交互 · 计算机科学 2016-04-18 Christian Brel , Philippe Renevier-Gonin

Centralized electrical/electronic architectures and High-Performance Computers (HPCs) are redefining automotive software development, challenging traditional microcontroller-based approaches. Ensuring real-time, safety, and scalability in…

软件工程 · 计算机科学 2025-06-09 Lucas Mauser , Eva Zimmermann , Pavel Nedvědický , Tobias Eisenreich , Moritz Wäschle , Stefan Wagner

The reconstruction of charged particle trajectories is a crucial challenge of particle physics experiments as it directly impacts particle reconstruction and physics performances. To reconstruct these trajectories, different reconstruction…

In the paper, combinatorial synthesis of structure for applied Web-based systems is described. The problem is considered as a combination of selected design alternatives for system parts/components into a resultant composite decision (i.e.,…

软件工程 · 计算机科学 2011-09-05 Mark Sh. Levin

Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large…

分布式、并行与集群计算 · 计算机科学 2017-11-23 Mirko Viroli , Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini

A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic interoperability issues, as well as monitoring and decision…

人工智能 · 计算机科学 2022-10-11 Massimo Carraturo , Andrea Mazzullo

The re-use of pre-designed blocks is a well-known concept of the software development. This technique has been applied to System-on-Chip (SoC) design whose complexity and heterogeneity are growing. The re-use is made thanks to high level…

硬件体系结构 · 计算机科学 2007-06-20 Cyrille Chavet , Philippe Coussy , Pascal Urard , Eric Martin

Data warehouses are nowadays an important component in every competitive system, it's one of the main components on which business intelligence is based. We can even say that many companies are climbing to the next level and use a set of…

数据库 · 计算机科学 2013-10-23 Naoual Mouhni , Abderrafiaa Elkalay

In operational technology (OT) contexts, containerised applications often require elevated privileges to access low-level network interfaces or perform administrative tasks such as application monitoring. These privileges reduce the default…

软件工程 · 计算机科学 2026-01-08 Yannick Landeck , Dian Balta , Martin Wimmer , Christian Knierim

We present an ontology for representing workflows over components with Read-Write Linked Data interfaces and give an operational semantics to the ontology via a rule language. Workflow languages have been successfully applied for modelling…

人工智能 · 计算机科学 2022-03-02 Tobias Käfer , Andreas Harth