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»
14 years 3 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»
14 years 5 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