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.

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.

A report on 1st Software Engineering Research in India Update Meeting (SERI 2019)

2019 ◽  
Vol 44 (3) ◽  
pp. 41-42
Author(s):  
Sai Anirudh Karre ◽  
Lalit Mohan ◽  
Y. Raghu Raghu Reddy ◽  
K.V. Raghavan ◽  
R.D. Naik ◽  
...  
Keyword(s):  
Software Engineering ◽  
Engineering Research ◽  
Software Engineering Research

scholarly journals UML Diagrams in Software Engineering Research: A Systematic Literature Review

Proceedings ◽  
2021 ◽  
Vol 74 (1) ◽  
pp. 13
Author(s):  
Hatice Koç ◽  
Ali Mert Erdoğan ◽  
Yousef Barjakly ◽  
Serhat Peker
Keyword(s):  
Software Engineering ◽  
Object Oriented ◽  
Modelling Language ◽  
Design Models ◽  
Engineering Research ◽  
Object Oriented Design ◽  
Unified Modelling Language ◽  
Visual Models ◽  
Uml Diagrams ◽  
Software Engineering Research

Software engineering is a discipline utilizing Unified Modelling Language (UML) diagrams, which are accepted as a standard to depict object-oriented design models. UML diagrams make it easier to identify the requirements and scopes of systems and applications by providing visual models. In this manner, this study aims to systematically review the literature on UML diagram utilization in software engineering research. A comprehensive review was conducted over the last two decades, spanning from 2000 to 2019. Among several papers, 128 were selected and examined. The main findings showed that UML diagrams were mostly used for the purpose of design and modeling, and class diagrams were the most commonly used ones.

Sign in / Sign up

Export Citation Format

Share Document