A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL

2018 ◽  
pp. 251-269 ◽  
Author(s):  
Diego Marmsoler
Keyword(s):  
Design Patterns ◽  
Architectural Design

Modelling and Designing of IoT Systems Using UML Diagrams

2019 ◽  
pp. 36-61
Author(s):  
K. Sridhar Patnaik ◽  
Itu Snigdh
Keyword(s):  
Software Engineering ◽  
Design Patterns ◽  
Architectural Design ◽  
Intelligent System ◽  
Patient Health ◽  
Systematic Development ◽  
Uml Diagrams ◽  
Robotic Devices ◽  
Remote Patient

Despite the rapid growth in IoT research, a general principled software engineering approach for the systematic development of IoT systems and applications is still missing. Software engineering as a discipline provides the necessary platform to carry on the underlying design, coding, implementation, as well as maintenance of such systems. UML diagrams present a visually comprehensible outlay of the construction of IoT systems. The chapter covers the modelling of IoT systems using UML diagrams. Starting with the architectural design of any IoT system to behavioral aspects is covered in this chapter using a case study of IoT-based remote patient health monitoring system. The diagrams shown in this chapter are the sample diagrams for understanding IoT-based complex systems. The chapter focuses on the work carried out by Franco Zambonelli in context of developing abstract model of an IoT system using software engineering concepts. The chapter also focus on the pioneer work carried by J. F. Peters in intelligent system design patterns for robotic devices using pattern classification.

Design Patterns for Social Intelligent Agent Architectures Implementation

2021 ◽  
pp. 294-319
Author(s):  
Manuel Kolp ◽  
Yves Wautelet ◽  
Samedi Heng
Keyword(s):  
Design Patterns ◽  
Architectural Design ◽  
Autonomous Agents ◽  
Knowledge Bases ◽  
Multi Agent Systems ◽  
Business Systems ◽  
Agent Architectures ◽  
Social Patterns ◽  
Agent Oriented Software Engineering ◽  
Multi Agent

Multi-agent systems (MAS) architectures are popular for building open, distributed, and evolving software required by today's business IT applications such as e-business systems, web services, or enterprise knowledge bases. Since the fundamental concepts of MAS are social and intentional rather than object, functional, or implementation-oriented, the design of MAS architectures can be eased by using social patterns. They are detailed agent-oriented design idioms to describe MAS architectures as composed of autonomous agents that interact and coordinate to achieve their intentions like actors in human organizations. This chapter presents social patterns and focuses on a framework aimed to gain insight into these patterns. The framework can be integrated into agent-oriented software engineering methodologies used to build MAS. The authors consider the broker social pattern to illustrate the framework. The mapping from system architectural design (through organizational architectural styles), to system detailed design (through social patterns), is overviewed with a data integration case study.

The Object-Oriented Design Knowledge

2011 ◽  
pp. 1-7
Author(s):  
Javier Garzas ◽  
Mario Piattini
Keyword(s):  
Software Engineering ◽  
Best Practices ◽  
Design Patterns ◽  
Architectural Design ◽  
Large Body ◽  
Object Oriented ◽  
Design Knowledge ◽  
Object Oriented Design ◽  
Body Of Knowledge

In order to establish itself as a branch of engineering, a profession must understand its accumulated knowledge. In this regard, software engineering has advanced greatly in recent years, but it still suffers from the lack of a structured classification of its knowledge. In this sense, in the field of object-oriented micro-architectural design designers have accumulated a large body of knowledge and it is still have not organized or unified. Therefore, items such as design patterns are the most popular example of accumulated knowledge, but other elements of knowledge exist such as principles, heuristics, best practices, bad smells, refactorings, and so on, which are not clearly differentiated; indeed, many are synonymous and others are just vague concepts.

scholarly journals A Review of Performance-Oriented Architectural Design and Optimization in the Context of Sustainability: Dividends and Challenges

2020 ◽  
Vol 12 (4) ◽  
pp. 1427 ◽  
Author(s):  
Shaoxiong Li ◽  
Le Liu ◽  
Changhai Peng
Keyword(s):  
Sustainable Development ◽  
Design Patterns ◽  
Architectural Design ◽  
Public Attention ◽  
The Sustainable Development ◽  
Design Elements ◽  
Design And Optimization ◽  
Industry Performance ◽  
Calibration Models ◽  
Novel Design

As most countries have widespread and growing concerns about the sustainable development of society, the requirement to continuously reduce energy consumption poses challenges for the architecture, engineering and construction (AEC) industry. Performance-oriented architectural design and optimization, as a novel design philosophy and comprehensive evolution technology, has been accepted by architects, engineers, and stakeholders for a period of time. Performance in the context of architecture is a widely discussed definition that has long shown a correlation with visual and cultural attributes. Shifting the paradigm of sustainable development while ensuring that the function and aesthetics of the building are not overlooked has been the focus of public attention. Considering the core design elements that affect energy conservation and style performance, the design and optimization of building envelopes, form, and shading systems were selected as research materials. From the perspective of epistemology and methodology, a systematic review of 99 papers was conducted to promulgate the latest development status of energy-efficiency design. This paper manifests a detailed analysis of the design patterns, research features, optimization objectives, and techniques of current approaches. The review found that performance-oriented design optimization can benefit the entire industry from the heuristic knowledge base and the expansion of the design space while maintaining sustainability. In contrast, challenges such as tools, skills, collaboration frameworks, and calibration models are highlighted.

scholarly journals Guiding assurance of architectural design patterns for critical applications

2020 ◽  
Vol 110 ◽  
pp. 101765 ◽  
Author(s):  
Irfan Šljivo ◽  
Garazi Juez Uriagereka ◽  
Stefano Puri ◽  
Barbara Gallina
Keyword(s):  
Design Patterns ◽  
Architectural Design

Design Patterns for Social Intelligent Agent Architectures Implementation

2018 ◽  
pp. 258-283 ◽  
Author(s):  
Manuel Kolp ◽  
Yves Wautelet ◽  
Samedi Heng
Keyword(s):  
Design Patterns ◽  
Architectural Design ◽  
Autonomous Agents ◽  
Knowledge Bases ◽  
Multi Agent Systems ◽  
Business Systems ◽  
Agent Architectures ◽  
Social Patterns ◽  
Agent Oriented Software Engineering ◽  
Multi Agent

Multi-agent systems (MAS) architectures are popular for building open, distributed, and evolving software required by today's business IT applications such as e-business systems, web services, or enterprise knowledge bases. Since the fundamental concepts of MAS are social and intentional rather than object, functional, or implementation-oriented, the design of MAS architectures can be eased by using social patterns. They are detailed agent-oriented design idioms to describe MAS architectures as composed of autonomous agents that interact and coordinate to achieve their intentions like actors in human organizations. This chapter presents social patterns and focuses on a framework aimed to gain insight into these patterns. The framework can be integrated into agent-oriented software engineering methodologies used to build MAS. The authors consider the broker social pattern to illustrate the framework. The mapping from system architectural design (through organizational architectural styles), to system detailed design (through social patterns), is overviewed with a data integration case study.

Sign in / Sign up

Export Citation Format

Share Document