搜索结果: 1-2 共查到“计算机科学技术其他学科 Z Specification”相关记录2条 . 查询时间(0.015 秒)
The Specification of Agent Interaction in Multi-Agent Systems
interaction protocol temporal logic parallel algorithm
2013/1/29
The problem of the description of interaction between agents in a multi-agent system (MAS) in the form of dialogues of negotiations is considered. For formalization of the description of interaction a...
A Constraint Specification Approach to Building Flexible Workflows
workflow flexible tertiary domain constraint specification
2014/3/12
Process support systems, such as workflows, are being used in a variety of domains.However, most areas of application have focused on traditional production-style processes, which are characterised by...