Sciweavers

2 search results - page 1 / 1
» eSPEM - A SPEM Extension for Enactable Behavior Modeling
Sort
View
ECMDAFA
2010
Springer
238views Hardware» more  ECMDAFA 2010»
13 years 9 months ago
eSPEM - A SPEM Extension for Enactable Behavior Modeling
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Ma...
VLDB
2007
ACM
161views Database» more  VLDB 2007»
13 years 11 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer