Role Work Sheet Quick Reference


Example Worksheet


Role Schema: EA Locator

Description: This role returns the returns the location of the agent specified in x.y,z coordinates.

Protocols and Activities: Get Location

Permissions: Read Location

Responsibilities

Liveness:FindAgentLoc = (Get Location, Return Coordinates)

Safety:

Agent is active

Return coordinates specified in x,y,z


Field Descriptions


Field

Description

 

Role Schema

Name of role

Description

General description of Role

Protocols and Activities

Protocol – how the agent interacts with other agents

Activity – how the agent interacts with itself

Permissions

“rights” associated with the role

Liveness

Actions agent must take given certain environmental conditions

Safety

safety properties are invariants (constraints)