Verifying GSM-based business artifacts

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012

Volumn , Issue , 2012, Pages 25-32

  Gonzalez, Pavel ^a   Griesmayer, Andreas ^a   Lomuscio, Alessio ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Business Artifacts; Formal Verification; Model Checking

Indexed keywords

BUSINESS PROCESS; CONTROL FLOWS; DECLARATIVE DESCRIPTIONS; DESIGNING PROCESS; FORMAL VERIFICATIONS; GSM MODELS; HIERARCHICAL STRUCTURES; META MODEL; SYMBOLIC REPRESENTATION; VERIFICATION PROBLEMS; WORK-FLOWS;

MODEL CHECKING; WEB SERVICES;

WEBSITES;

EID: 84866344261     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2012.31     Document Type: Conference Paper

References (15)

1. D. Cohn and R. Hull, "Business artifacts: A data-centric approach to modeling business operations and processes," IEEE Data Eng. Bull., vol. 32/3, 2009.
2. N. Narendra, Y. Badr, P. Thiran, and Z. Maamar, "Towards a unified approach for business process modeling using context-based artifacts and web services," in SCC '09, 2009.
3. D. Cohn, P. Dhoolia, F. T. Heath, F. Pinel, and J. Vergo, "Siena: From PowerPoint to web app in 5 minutes," in ICSOC '08, ser. LNCS, vol. 5364, 2008.
4. R. Hull, E. Damaggio, F. Fournier, M. Gupta, F. T. Heath, S. Hobson, M. H. Linehan, S. Maradugu, A. Nigam, P. N. Sukaviriya, and R. Vaculin, "Introducing the Guard-Stage-Milestone approach for specifying business entity lifecycles," in WS-FM '10, ser. LNCS, vol. 6551, 2011.
5. R. Hull, E. Damaggio, R. D. Masellis, F. Fournier, M. Gupta, F. T. Heath, S. Hobson, M. H. Linehan, S. Maradugu, A. Nigam, P. N. Sukaviriya, and R. Vaculin, "Business artifacts with Guard-Stage-Milestone lifecycles: Managing artifact interactions with conditions and events," in DEBS '11, 2011.
6. E. Damaggio, R. Hull, and R. Vaculin, "On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles," in BPM '11, 2011.
7. A. Lomuscio, H. Qu, and M. Solanki, "Towards verifying contract regulated service composition," in ICWS '09, 2008.
8. W. Pacharoen, T. Aoki, A. Surarerks, and P.Bhattarakosol, "Conformance verification between web service choreography and implementation using learning and model checking," in ICWS '11, 2011.
9. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu, "Automatic verification of data-centric business processes," in ICDT '09, 2009.
10. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, Massachusetts: The MIT Press, 1999.
11. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, "Symbolic model checking: 1020 states and beyond," Inform. and Comput., vol. 98/2, 1990.
12. E. Emerson and J. Y. Halpern, "Decision procedures and expressiveness in the temporal logic of branching time," JCSS, vol. 30/1, 1985.
13. F. Somenzi, CUDD: CU Decision Diagram Package - Release 2.5.0, 2012. [Online]. Available: http://vlsi.colorado.edu/-fabio/CUDD/
14. F. Belardinelli, A. Lomuscio, and F. Patrizi, "An abstraction technique for the verification of artifact-centric systems," in KR '12, 2012, (To Appear).
15. A. Lomuscio, H. Qu, and F. Raimondi, "MCMAS: A model checker for the verification of multi-agent systems," in CAV '09, ser. LNCS, vol. 5643, 2009.