期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols ——An Investigation in Electronic Commerce
1
作者 Wei Jun 1,2 , Cheung Shing Chi 1, Wang Xu 1 1. Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China 2. Institute of Software, Chinese Academy of Science, Beijing 100080, Ch 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期126-139,共14页
Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led i... Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example. 展开更多
关键词 agent UML interaction protocol software agent model checking formal specification electronic commerce protocol
下载PDF
Information perception and feedback mechanism and key techniques of multi-modality human-robot interaction for service robots 被引量:1
2
作者 赵其杰 《Journal of Shanghai University(English Edition)》 CAS 2006年第3期281-281,共1页
With the increasing of the elderly population and the growing hearth care cost, the role of service robots in aiding the disabled and the elderly is becoming important. Many researchers in the world have paid much att... With the increasing of the elderly population and the growing hearth care cost, the role of service robots in aiding the disabled and the elderly is becoming important. Many researchers in the world have paid much attention to heaRthcare robots and rehabilitation robots. To get natural and harmonious communication between the user and a service robot, the information perception/feedback ability, and interaction ability for service robots become more important in many key issues. 展开更多
关键词 service robot MULTI-MODALITY human-robot interaction user model interaction protocol information perception and feedback.
下载PDF
Visual Specification and Analysis of Contract-Based SoftwareArchitectures
3
作者 Mert Ozkaya 《Journal of Computer Science & Technology》 SCIE EI CSCD 2017年第5期1025-1043,共19页
XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produ... XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produces formal models in SPIN’s ProMeLa formal verification language, which can then be formally analysed using SPIN’s model checker. XCD is extended with a visual notation set called VXCD. VXCD extends UML’s component diagram and adapts it to XCD’s structure, contractual behaviour, and interaction protocol specifications. Visual VXCD specifications can be translated into textual XCD specifications for formal analysis. To illustrate VXCD, the well-known gas station system is used. The gas system is specified contractually using VXCD’s visual notation set and then formally analysed using SPIN’s model checker for a number of properties including deadlock and race-condition. 展开更多
关键词 architectural language design-by-contract visual modelling language interaction protocol formal analysis
原文传递
A Construction Way of MAS Based on Organization Theory
4
作者 GAO Bo, FEI Qi, CHEN Xue-guang Huazhong University of Science and Technology, Wuhan 430074, China 《Systems Science and Systems Engineering》 CSCD 2002年第1期111-117,共7页
With emphasizing that the integration of autonomy and coordination is the basis for constructing multi-agent systems (MAS), we analyze the organizational characters inherent with MAS and point out that it′s a natural... With emphasizing that the integration of autonomy and coordination is the basis for constructing multi-agent systems (MAS), we analyze the organizational characters inherent with MAS and point out that it′s a natural and essential way to construct MAS based on organization theory. We consider that the emphasis of the theory is the process of system analyzing. Then we present an analysis frame to expound the process, which includes the process of organization definition, the process of role definition, the process of organizational structure definition and the process of interaction protocol definition. Lastly, we discuss some issues associated with the processes of system design and implementation. 展开更多
关键词 multi-agent systems (MAS) ORGANIZATION ROLE organizational structure interaction protocol (IP)
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部