1188 search results - page 5 / 238 » Testing Semantics: Connecting Processes and Process Logics |
RULEML
2010
Springer
14 years 7 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
103
click to vote
WCE
2007
14 years 10 months ago
2007
—Spatial query execution is an essential functionality of a sensor network. Redundancy within a sensor network can be exploited to reduce the communication cost incurred in execu...
IPL
1998
14 years 9 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
TKDE
2002
14 years 9 months ago
2002
Since WWW encourages hypertext and hypermedia document authoring (e.g. HTML or XML), Web authors tend to create documents that are composed of multiple pages connected with hyperl...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Business process modeling is an important corporate activity, but the understanding of what constitutes good process models is still rather limited. In this paper, we tur...