Sciweavers

1318 search results - page 86 / 264
» The formal semantics of the timeER model
Sort
View
ARGMAS
2005
Springer
15 years 12 months ago
Argumentation Based Modelling of Embedded Agent Dialogues
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
Yannis Dimopoulos, Antonis C. Kakas, Pavlos Morait...
UML
1998
Springer
15 years 10 months ago
Supporting Disciplined Reuse and Evolution of UML Models
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
Tom Mens, Carine Lucas, Patrick Steyaert
WSC
2004
15 years 7 months ago
Developing Federation Object Models Using Ontologies
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
Tarun Rathnam, Christiaan J. J. Paredis
FM
2005
Springer
99views Formal Methods» more  FM 2005»
15 years 11 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
ECOWS
2006
Springer
15 years 8 months ago
Semantic Web Service Composition through a Matchmaking of Domain
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
Freddy Lécué, Alain Léger