110 search results - page 9 / 22 » A Hierarchy of Communication Models for Message Sequence Cha... |
105
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
FORTE
2007
15 years 1 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
117
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we introduce a model for direct communication in situated multi-agent systems. Direct communication is typically associated with cognitive agents, where the informat...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...