A Tool for Defining Agent Protocols in HAPN: (Demonstration)
نویسندگان
چکیده
This demonstration is exhibiting an interactive tool for defining agent protocols using a new notation “HAPN” which we have developed to overcome issues we have experienced with commonly used agent protocol notations such as AUML. The notation has a formal semantics which facilitates back end support within the tool for checking desirable or undesirable properties of a specification. The notation is an extension of hierarchical finite state machines and the tool is implemented in HTML5 and Javascript.
منابع مشابه
Normalized Interactions between Autonomous Agents: a Case Study in Inter-organizational Project Management
The CEC Project GOAL (Esprit 6283) aims to develop generic software tools to support a new project management paradigm, in which projects are collaborative, decentralised and inter-organizational. To support inter-organizational interaction, communication and cooperation, we are developing a design framework for formalizing the flow of information between organizations, specifying access to and...
متن کاملInvolvement of aminopeptidase N (CD13) in infection of human neural cells by human coronavirus 229E.
Attachment to a cell surface receptor can be a major determinant of virus tropism. Previous studies have shown that human respiratory coronavirus HCV-229E uses human aminopeptidase N (hAPN [CD13]) as its cellular receptor for infection of lung fibroblasts. Although human coronaviruses are recognized respiratory pathogens, occasional reports have suggested their possible neurotropism. We have pr...
متن کاملIdentification of a receptor-binding domain of the spike glycoprotein of human coronavirus HCoV-229E.
Human coronavirus HCoV-229E uses human aminopeptidase N (hAPN) as its receptor (C. L. Yeager et al., Nature 357:420-422, 1992). To identify the receptor-binding domain of the viral spike glycoprotein (S), we expressed soluble truncated histidine-tagged S glycoproteins by using baculovirus expression vectors. Truncated S proteins purified by nickel affinity chromatography were shown to be glycos...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملPViz: Visualising P2P Multi-Agent Simulations (Demonstration)
Simulators are an inseparable part of the design and evaluation of distributed multi-agent protocols. In this work we put forward PViz, a novel visualisation tool built for one of the most prominent, publicly available P2P simulators, PeerSim. Our tool provides network visualisation for different overlays, interaction with the simulation through scenario re-playability and stepwise execution, a...
متن کامل