809 search results - page 66 / 162 » Formal Semantics for the Java Modeling Language |
FM
2005
Springer
15 years 8 months ago
2005
Springer
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...
102
click to vote
AI
2004
Springer
15 years 2 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
162
Voted
ISOLA
2010
Springer
15 years 29 days ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
119
click to vote
WWW
2006
ACM
15 years 8 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
86
Voted
BPM
2005
Springer
15 years 8 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...