252 search results - page 4 / 51 » Checking Properties of Business Process Models with Logic Pr... |
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
SOCA
2007
IEEE
14 years 1 days ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
ENTCS
2006
13 years 5 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...