660 search results - page 1 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
WOA
2003
13 years 6 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
AAMAS
2004
Springer
13 years 4 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
KBSE
1994
IEEE
13 years 9 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...