Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specifica...Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).展开更多
团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for inte...团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for intelligent physical Agent) ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义.展开更多
Understanding the relation between multiple agents is very important in developing a multi agent system. Two concepts, multi agent system architecture and multi agent system architecture prototype are brought forward,...Understanding the relation between multiple agents is very important in developing a multi agent system. Two concepts, multi agent system architecture and multi agent system architecture prototype are brought forward, and the method of descrbing the relation between agents using the concepts is explored. The structure and components are designed. Based on the fact that cooperation between distributed agents is erratic, a controlled natural language communication function is designed and realized. Applying the offered interfaces, the user′s workload consumed in agent communication and management is reduced, and at the same time, robustness of the multi agent system is improved.展开更多
Abstract In this thesis, multiagent system specifications, multiagent system architectures, agent communication languages and agent communication protocols, automatic abstracting based on multiagent technologies are ...Abstract In this thesis, multiagent system specifications, multiagent system architectures, agent communication languages and agent communication protocols, automatic abstracting based on multiagent technologies are studied. Some concerned problems of designs and realization of automatic abstracting systems based on multiagent technologies are studied, too. Chapter 1 shows the significance and objectives of the thesis, its main contents are summarized, and innovations of the thesis are showed. Some basic concepts of agents and multiagent systems are studied in Chapter 2. The definitions of agents and multiagent systems are given, and the theory, technologies and applications of multiagent systems are summarized. Furthermore, some important studying trends of multiagent systems are set forward. Multiagent system specifications are studied in Chapter 3. MAS/KIB—a multiagent system specification is built using mental states such as K (Know), B (Belief), and I (Intention), its grammar and semanteme are discussed, axioms and inference rules are given, and some properties are researched. We also compare MAS/KIB with other existing specifications. MAS/KIB has the following characteristics: (1) each agent has its own world outlook; (2) no global data in the system; (3) processes of state changes are used as indexes to systems; (4) it has the characteristics of not only time series logic but also dynamic logic; and (5) interactive actions are included. The architectures of multiagent systems are studied in Chapter 4. First, we review some typical architecture of multiagent systems, agent network architecture, agent federated architecture, agent blackboard architecture, and Foundation of Intelligent Physical Agent(FIPA) architecture. For the first time, we set forward and study the layering and partitioning models of the architectures of multiagent systems, organizing architecture models, and interoperability architecture model of multiagent systems. Chapter 5 studies agent communication languages. We study FIPA Agent Communication Language(ACL) message grammar, Communicative Act(CA) types, ACL semantics and Agent Communication Protocols. The string grammar of ACL messages and SL grammar represented by EBNF are given, and a new ACL semantic model is set forward. We study automatic abstracting based on multiagent technologies in Chapter 6. For the first time, the idea of constructing automatic abstracting systems based on multiagent technologies is set forward, and the necessity and feasibility of constructing such systems are set forth. The architecture of automatic abstracting systems based on multiagent technologies is provided, and the basic elements and mutual relations are studied. We set forth the working principle of the automatic abstracting systems based on multiagent technologies and how the contradiction of domain currency and abstract quality of automatic abstracting systems is resolved. Studies, simulation analysis and design of the automatic abstracting experimental system based on multiagent technologies(ABES/MAT) are made in Chapter 7. We study the architecture of ABES/MAT, and set forth its basic elements and mutual relations. The user model and mathematics descriptions of ABES/MAT in the Internet environment are provided. Three coordination algorithms that synthetically use environment information, system information and history information are set forward. Then, we analyze the performance of ABES/MAT based on the simulations, and get suitable number fo abstracting agents for each domain in a given load. Finally, we compare the three coordination algorithms. The realization of ABES/MAT is introduced in Chapter 8. Firstly, we study the problem of the agentification of legacy systems, and show how to realize the agentification of glanc, ladies and news. Then, the architectures and functions of Coordination Management Agent(CMA) and Information Agent(IA) are set forth. The agent naming grammar represented by EBNF is given., In the following, we explain the designed agent communicative acts and management展开更多
Traditional research in automated negotiation is focused on negotiation protocol and strategy.This paper studies automated negotiation from a new point of view, proposes a novel concept, namely negotiating agent, and ...Traditional research in automated negotiation is focused on negotiation protocol and strategy.This paper studies automated negotiation from a new point of view, proposes a novel concept, namely negotiating agent, and discusses its significance in construction of automated negotiation system, with an abstract model formally described and the architecture designed, which supports both goal-directed reasoning and reactive response. A communication model was proposed to construct interaction mechanism used by negotiating agents, in which the negotiation language used by agents is defined.The communication model and the language are defined in a way general enough to support a wide variety of market mechanisms, thus being particularly suitable for flexible applications such as electronic business. The design and expression of the negotiation ontology is also discussed. On the base of the theoretical model of negotiating agent, negotiating agent architecture and negotiating agent communication model (NACM) are explicit and formal specifications for the agents negotiating in an E-business environment; especially, NACM defines the negotiation language template shared among all agents formally and explicitly. The novelty of the communication model is twofold.展开更多
文摘Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).
文摘团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for intelligent physical Agent) ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义.
基金TheNationalNaturalScienceFoundationofChina (No .5 9835 170 )
文摘Understanding the relation between multiple agents is very important in developing a multi agent system. Two concepts, multi agent system architecture and multi agent system architecture prototype are brought forward, and the method of descrbing the relation between agents using the concepts is explored. The structure and components are designed. Based on the fact that cooperation between distributed agents is erratic, a controlled natural language communication function is designed and realized. Applying the offered interfaces, the user′s workload consumed in agent communication and management is reduced, and at the same time, robustness of the multi agent system is improved.
文摘Abstract In this thesis, multiagent system specifications, multiagent system architectures, agent communication languages and agent communication protocols, automatic abstracting based on multiagent technologies are studied. Some concerned problems of designs and realization of automatic abstracting systems based on multiagent technologies are studied, too. Chapter 1 shows the significance and objectives of the thesis, its main contents are summarized, and innovations of the thesis are showed. Some basic concepts of agents and multiagent systems are studied in Chapter 2. The definitions of agents and multiagent systems are given, and the theory, technologies and applications of multiagent systems are summarized. Furthermore, some important studying trends of multiagent systems are set forward. Multiagent system specifications are studied in Chapter 3. MAS/KIB—a multiagent system specification is built using mental states such as K (Know), B (Belief), and I (Intention), its grammar and semanteme are discussed, axioms and inference rules are given, and some properties are researched. We also compare MAS/KIB with other existing specifications. MAS/KIB has the following characteristics: (1) each agent has its own world outlook; (2) no global data in the system; (3) processes of state changes are used as indexes to systems; (4) it has the characteristics of not only time series logic but also dynamic logic; and (5) interactive actions are included. The architectures of multiagent systems are studied in Chapter 4. First, we review some typical architecture of multiagent systems, agent network architecture, agent federated architecture, agent blackboard architecture, and Foundation of Intelligent Physical Agent(FIPA) architecture. For the first time, we set forward and study the layering and partitioning models of the architectures of multiagent systems, organizing architecture models, and interoperability architecture model of multiagent systems. Chapter 5 studies agent communication languages. We study FIPA Agent Communication Language(ACL) message grammar, Communicative Act(CA) types, ACL semantics and Agent Communication Protocols. The string grammar of ACL messages and SL grammar represented by EBNF are given, and a new ACL semantic model is set forward. We study automatic abstracting based on multiagent technologies in Chapter 6. For the first time, the idea of constructing automatic abstracting systems based on multiagent technologies is set forward, and the necessity and feasibility of constructing such systems are set forth. The architecture of automatic abstracting systems based on multiagent technologies is provided, and the basic elements and mutual relations are studied. We set forth the working principle of the automatic abstracting systems based on multiagent technologies and how the contradiction of domain currency and abstract quality of automatic abstracting systems is resolved. Studies, simulation analysis and design of the automatic abstracting experimental system based on multiagent technologies(ABES/MAT) are made in Chapter 7. We study the architecture of ABES/MAT, and set forth its basic elements and mutual relations. The user model and mathematics descriptions of ABES/MAT in the Internet environment are provided. Three coordination algorithms that synthetically use environment information, system information and history information are set forward. Then, we analyze the performance of ABES/MAT based on the simulations, and get suitable number fo abstracting agents for each domain in a given load. Finally, we compare the three coordination algorithms. The realization of ABES/MAT is introduced in Chapter 8. Firstly, we study the problem of the agentification of legacy systems, and show how to realize the agentification of glanc, ladies and news. Then, the architectures and functions of Coordination Management Agent(CMA) and Information Agent(IA) are set forth. The agent naming grammar represented by EBNF is given., In the following, we explain the designed agent communicative acts and management
基金Supported by the National Natural Science Foundation of China ( Nos. 70471027 and 70171011 )
文摘Traditional research in automated negotiation is focused on negotiation protocol and strategy.This paper studies automated negotiation from a new point of view, proposes a novel concept, namely negotiating agent, and discusses its significance in construction of automated negotiation system, with an abstract model formally described and the architecture designed, which supports both goal-directed reasoning and reactive response. A communication model was proposed to construct interaction mechanism used by negotiating agents, in which the negotiation language used by agents is defined.The communication model and the language are defined in a way general enough to support a wide variety of market mechanisms, thus being particularly suitable for flexible applications such as electronic business. The design and expression of the negotiation ontology is also discussed. On the base of the theoretical model of negotiating agent, negotiating agent architecture and negotiating agent communication model (NACM) are explicit and formal specifications for the agents negotiating in an E-business environment; especially, NACM defines the negotiation language template shared among all agents formally and explicitly. The novelty of the communication model is twofold.
