1375 search results - page 101 / 275 » SDL-2000: A Language with a Formal Semantics |
133
click to vote
BPM
2005
Springer
15 years 12 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...
157
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
163
click to vote
AAAI
2006
15 years 7 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
189
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
168
click to vote
WPES
2005
ACM
15 years 12 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...