Developing Agent Interaction Protocols Using Graphical and Logical Methodologies

Paurobally, Shamimabi; Cunningham, Jim; Jennings, Nicholas R.

doi:10.1007/978-3-540-25936-7_8

Cited by 31 publications

(20 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although there are a variety of technologies that enable us to define interaction protocols (e.g. [11,1]), as well as a significant amount of work on describing appropriate policies [15], what we require is something that take a more integrated view of the situation. In this regard, EIs are able to address several of the concerns raised above.…”

Section: Electronic Institutionsmentioning

confidence: 99%

Using Electronic Institutions to Secure Grid Environments

Ashri

Payne

Lück

et al. 2006

Cooperative Information Agents X

View full text Add to dashboard Cite

Abstract.As the technical infrastructure to support Grid environments matures, attention must be focused on integrating such technical infrastructure with technologies to support more dynamic access to services, and ensuring that such access is appropriately monitored and secured. Such capabilities will be key in providing a safe environment that allow the creation of virtual organisations at runtime. This paper addresses this issue by analysing how work from within the field of Electronic Institutions (EIs) can be employed to provide security support for Grid environments, and introduces the notion of a Semantic Firewall (SFW) responsible for mediating interactions with protected services given a set of access policies. An overarching guideline is that such integration should be pragmatic, taking into account the real-life lessons learned whilst developing, deploying and using the GRIA infrastructure for Grid environments.

show abstract

Section: Electronic Institutionsmentioning

confidence: 99%

Using Electronic Institutions to Secure Grid Environments

Ashri

Payne

Lück

et al. 2006

Cooperative Information Agents X

View full text Add to dashboard Cite

show abstract

“…However, there are some limits in AUML [17]. These limits bring about extending or transforming the AUML to other model, e.g.…”

Section: Notations the Agent Umlmentioning

confidence: 99%

“…The graphical approach using diagrammatic notation for intuitive understanding includes: agent UML approach [10], statechart approach [17], message sequence chart approach [18], Petri net approach [19,20]. The textual approach using rules and declarations for consistency checking includes OMG IDL (Interface Description Language) [1] and logic-based approach [3,17,21]. Statecharts is a visual specification language for specifying discrete event system.…”

Section: Related Workmentioning

confidence: 99%

“…Many extensions had been proposed for improving their descriptive ability. In [23] they apply propositional dynamic logic (PDL) to extend the description capability of statecharts for presenting interaction protocol.…”

Section: Related Workmentioning

confidence: 99%

“…Applying PN to AUML modelling, the message is taken as a place; the xor-message is expressed by a conflicting place; and the agent role is represented by a transition [20]. The limits of IP in PN include: hard to read, limits in model transformation, the problems of scalability and reusability [23].…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Modelling Protocols for Multiagent Interaction by F-logic

Lai

Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

Abstract. This paper proposes a method to represent agent Unified Modelling Language (AUML) in logic form using F-logic that provides deductive capability and uniform knowledge integration base. The AUML is used to differentiate relevant interaction more precisely at the analysis phase of developing a multiagent system. However, the AUML lacks for foundation and logic semantics. Thus we aim at constructing sufficient formality to facilitate formal analysis and to explore the behaviour and message route of the AUML. The AUML is transformed into F-logic language first by transformation rules. Secondly, a logic interpretation of this agent structure is presented. The transformation processes and results are illustrated using an example of E-commerce system. Finally, the significance of this approach is discussed and summarized.

show abstract

Statecharts and Agent Technology: The Past and Future

Spanoudakis

2020

Multi-Agent Systems and Agreement Technologies

View full text Add to dashboard Cite

Developing Agent Interaction Protocols Using Graphical and Logical Methodologies

Cited by 31 publications

References 7 publications

Using Electronic Institutions to Secure Grid Environments

Using Electronic Institutions to Secure Grid Environments

Modelling Protocols for Multiagent Interaction by F-logic

Statecharts and Agent Technology: The Past and Future

Contact Info

Product

Resources

About