Agent-Based Software Engineering for Robotics

2020 ◽  
pp. 1-11
Author(s):  
Noury Bouraqadi
Keyword(s):  
Software Engineering ◽  
Agent Based

Formal Development of Reactive Agent-Based Systems

2005 ◽  
pp. 1201-1204
Author(s):  
P. Kefalas ◽  
M. Holcombe ◽  
G. Eleftherakis ◽  
M. Gheorghe
Keyword(s):  
Software Engineering ◽  
Modelling Technique ◽  
Automated Verification ◽  
Formal Specifications ◽  
Formal Models ◽  
Agent Based ◽  
Engineering Research ◽  
Testing Techniques ◽  
Software Engineering Research ◽  
Careful Design

Recent advances in both the testing and verification of software based on formal specifications have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modelling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioural properties of the system; and the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way.

The agent hell: a scenario of worst-practices in agent-based software engineering

2005 ◽  
Vol 24 (2) ◽  
pp. 23-26
Author(s):  
F. Zambonelli ◽  
M. Luck
Keyword(s):  
Software Engineering ◽  
Agent Based

scholarly journals Agent-Oriented Software Engineering Methodologies: Analysis and Future Directions

Complexity ◽  
2021 ◽  
Vol 2021 ◽  
pp. 1-21
Author(s):  
Reem Abdalla ◽  
Alok Mishra
Keyword(s):  
Software Engineering ◽  
Evaluation Method ◽  
Unified Modeling Language ◽  
Agent Based ◽  
Unified Modeling ◽  
Analysis And Design ◽  
Agent Oriented Software Engineering ◽  
Study Evaluation ◽  
Simulation Paradigm

The Internet of Things (IoT) facilitates in building cyber-physical systems, which are significant for Industry 4.0. Agent-based computing represents effective modeling, programming, and simulation paradigm to develop IoT systems. Agent concepts, techniques, methods, and tools are being used in evolving IoT systems. Over the last years, in particular, there has been an increasing number of agent approaches proposed along with an ever-growing interest in their various implementations. Yet a comprehensive and full-fledged agent approach for developing related projects is still lacking despite the presence of agent-oriented software engineering (AOSE) methodologies. One of the moves towards compensating for this issue is to compile various available methodologies, ones that are comparable to the evolution of the unified modeling language (UML) in the domain of object-oriented analysis and design. These have become de facto standards in software development. In line with this objective, the present research attempts to comprehend the relationship among seven main AOSE methodologies. More specifically, we intend to assess and compare these seven approaches by conducting a feature analysis through examining the advantages and limitations of each competing process, structural analysis, and a case study evaluation method. This effort is made to address the significant characteristics of AOSE approaches. The main objective of this study is to conduct a comprehensive analysis of selected AOSE methodologies and provide a proposal of a draft unified approach that drives strengths (best) of these methodologies towards advancement in this area.

A Formal Method for the Development of Agent-Based Systems

2011 ◽  
pp. 68-98 ◽  
Author(s):  
P. Kefalas ◽  
M. Holcombe ◽  
G. Eleftherakis ◽  
M. Gheorghe
Keyword(s):  
Software Engineering ◽  
Formal Method ◽  
Software Systems ◽  
Formal Specifications ◽  
Modular Construction ◽  
Machine Method ◽  
Agent Based ◽  
Agent Model ◽  
Engineering Research ◽  
Software Engineering Research

Recent advances in testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modeling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioral properties of the system; and the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way. This chapter presents a detailed and comprehensive account of the ways in which some modern software engineering research can be applied to the construction of effective and reliable agent-based software systems. More specifically, we intend to show how simple agents motivated from biology can be modeled as X-machines. Such modeling will facilitate verification and testing of an agent model, because appropriate strategies for model checking and testing are already developed around the X-machine method. In addition, modular construction of agent models is feasible, because X-machines are provided with communicating features, which allow simple models to interact.

Sign in / Sign up

Export Citation Format

Share Document