490 search results - page 29 / 98 » Formal Action Semantics for a UML Action Language |
179
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
152
click to vote
ICEBE
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
159
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
181
click to vote
ATAL
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
204
click to vote
LOGCOM
1998
15 years 5 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...