Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

Model-driven engineering (MDE), implicitly based upon meta-model principles, is gaining
more and more attention in software systems due to its inherent benefits. Its use normally …

The power system is presently experiencing vital changes: it is advancing from a centralized
structure to a decentralized one, primarily because of the enormous advancement of …

In modern manufacturing systems with computational complexities, decision-making with
respect to dynamic rescheduling and reconfiguration in case of internal disturbances is an …

Recently, associated with the increasing acceptance of agent-based computing as a novel
computing paradigm a lot of research has been addressed to develop mechanisms and …

Debugging is hard, and debugging cognitive agent programs is particularly hard, since they
involve concurrency, a dynamic environment, and a complex execution model that includes …

Abstract Model-driven engineering provides abstractions and notations to improve the
understanding and to support modeling, coding, and verification of applications for specific …

This paper introduces a multi-agent system (MAS) approach using the detailed process
provided by Prometheus methodology for the design of a moving robot application for the …

Maritime safety is an ongoing process in shipping that is constantly being improved by the
modernization of equipment and constant improvements in operators' safety procedures and …

面向Agent 程序设计(agent-oriented programming, 简称AOP) 基于多Agent 系统的抽象和思想,
借助于Agent 理论和技术来支持软件系统的构造与实现, 其程序设计思想, 软件模型 …