Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. JCSS 61(2), 236-269 (2000), Extended abstract in PODS 1998.

Digital Library

Google Scholar

[3]

Hariri, B.B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P.: Foundations of relational artifacts verification. In: Rinderle, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896. Springer, Heidelberg (2011).

Digital Library

Google Scholar

[4]

Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from customer engagements. IBMSystems Journal 46(4), 703-721 (2007).

Digital Library

Google Scholar

[5]

Bhattacharya, K., et al.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145-162 (2005).

Digital Library

Google Scholar

[6]

Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007).

Digital Library

Google Scholar

[7]

Bojanczyk, M., Muscholl, A., Schwentick, T., Segoufin, L., David, C.: Two-variable logic on words with data. In: LICS, pp. 7-16 (2006).

Digital Library

Google Scholar

[8]

Bouajjani, A., Habermehl, P., Jurski, Y., Sighireanu, M.: Rewriting systems with data. In: Csuhaj-Varjú, E., Ésik, Z. (eds.) FCT 2007. LNCS, vol. 4639, pp. 1-22. Springer, Heidelberg (2007).

Digital Library

Google Scholar

[9]

Bouajjani, A., Habermehl, P., Mayr, R.: Automatic verification of recursive procedures with one integer parameter. Theoretical Computer Science 295, 85-106 (2003).

Digital Library

Google Scholar

[10]

Bouajjani, A., Jurski, Y., Sighireanu, M.: A generic framework for reasoning about dynamic networks of infinite-state processes. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 690-705. Springer, Heidelberg (2007).

Digital Library

Google Scholar

[11]

Bouyer, P.: A logical characterization of data languages. Information Processing Letters 84(2), 75-85 (2002).

Digital Library

Google Scholar

[12]

Bouyer, P., Petit, A., Thérien, D.: An algebraic approach to data languages and timed languages. Information and Computation 182(2), 137-162 (2003).

Digital Library

Google Scholar

[13]

Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification of infinite structures. In: Handbook of Process Algebra, pp. 545-623. Elsevier Science, Amsterdam (2001).

Crossref

Google Scholar

[14]

Calvanese, D., De Giacomo, G., Hull, R., Su, J.: Artifact-centric workflow dominance. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 130-143. Springer, Heidelberg (2009).

Digital Library

Google Scholar

[15]

Chao, T., et al.: Artifact-based transformation of IBM Global Financing: A case study. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 261-277. Springer, Heidelberg (2009).

Digital Library

Google Scholar

[16]

Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. In: Int'l. Conf. on Database Theory, ICDT (2011).

Digital Library

Google Scholar

[17]

Damaggio, E., Hull, R., Vaculin, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. In: Rinderle, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896. Springer, Heidelberg (2011).

Digital Library

Google Scholar

[18]

de Man, H.: Case management: Cordys approach. BP Trends (February 2009), http://www.bptrends.com

Google Scholar

[19]

Demri, S., Lazic, R.: LTL with the Freeze Quantifier and Register Automata. In: LICS, pp. 17-26 (2006).

Digital Library

Google Scholar

[20]

Demri, S., Lazic, R., Sangnier, A.: Model checking freeze LTL over one-counter automata. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 490-504. Springer, Heidelberg (2008).

Digital Library

Google Scholar

[21]

Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: ICDT, pp. 252-267 (2009).

Digital Library

Google Scholar

[22]

Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. JCSS 73(3), 442-474 (2007).

Digital Library

Google Scholar

[23]

Deutsch, A., Sui, L., Vianu, V., Zhou, D.: A system for specification and verification of interactive, data-driven web applications. In: SIGMOD Conference (2006).

Digital Library

Google Scholar

[24]

Dong, G., Hull, R., Kumar, B., Su, J., Zhou, G.: A framework for optimizing distributed workflow executions. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol. 1949, pp. 152-167. Springer, Heidelberg (2000).

Digital Library

Google Scholar

[25]

Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Proc. of 7th Intl. Workshop on Web Services and Formal Methods, WS-FM, pp. 1-24 (2010).

Digital Library

Google Scholar

[26]

Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE International Conference on Service-Oriented Computing and Applications (2007).

Digital Library

Google Scholar

[27]

Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181-192. Springer, Heidelberg (2007), http://www.springerlink.com/content/c371144007878627

Digital Library

Google Scholar

[28]

Glushko, R.J., McGrath, T.: Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services. MIT Press, Cmabridge (2005).

Digital Library

Google Scholar

[29]

Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III, F., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculín, R.: Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. In: ACM Intl. Conf. on Distributed Event-based Systems, DEBS (2011).

Digital Library

Google Scholar

[30]

Hull, R., Llirbat, F., Kumar, B., Zhou, G., Dong, G., Su, J.: Optimization techniques for data-intensive decision flows. In: Proc. IEEE Intl. Conf. on Data Engineering (ICDE), pp. 281-292 (2000).

Digital Library

Google Scholar

[31]

Hull, R., Llirbat, F., Simon, E., Su, J., Dong, G., Kumar, B., Zhou, G.: Declarative workflows that support easy modification and dynamic browsing. In: Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration (1999).

Digital Library

Google Scholar

[32]

Jurdzinski, M., Lazic, R.: Alternation-free modal mu-calculus for data trees. In: LICS, pp. 131-140 (2007).

Digital Library

Google Scholar

[33]

Kumaran, S., Liu, R., Wu, F.Y.: On the duality of information-centric and activity-centric models of business processes. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 32-47. Springer, Heidelberg (2008).

Digital Library

Google Scholar

[34]

Kumaran, S., Nandi, P., Heath, T., Bhaskaran, K., Das, R.: ADoc-oriented programming. In: Symp. on Applications and the Internet (SAINT), pp. 334-343 (2003).

Digital Library

Google Scholar

[35]

Küster, J., Ryndina, K., Gall, H.: Generation of BPM for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007).

Digital Library

Google Scholar

[36]

Lazic, R., Newcomb, T., Ouaknine, J., Roscoe, A., Worrell, J.: Nets with tokens which carry data. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 301-320. Springer, Heidelberg (2007).

Digital Library

Google Scholar

[37]

Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004).

Digital Library

Google Scholar

[38]

Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 324-339. Springer, Heidelberg (2007).

Digital Library

Google Scholar

[39]

Martin, D., et al.: OWL-S: Semantic markup for web services, W3C Member Submission (November 2003).

Google Scholar

[40]

McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46-53 (2001).

Digital Library

Google Scholar

[41]

Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Inc., Upper Saddle River (1967).

Digital Library

Google Scholar

[42]

Nandi, P., et al.: Data4BPM, Part 1: Introducing Business Entities and the Business Entity Definition Language (BEDL) (April 2010), http://www.ibm.com/developerworks/websphere/library/ techarticles/1004_nandi/1004_nandi.html

Google Scholar

[43]

Nandi, P., Kumaran, S.: Adaptive business objects - a new component model for business integration. In: Proc. Intl. Conf. on Enterprise Information Systems, pp. 179-188 (2005).

Google Scholar

[44]

Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Intl. World Wide Web Conf, (WWW 2002) (2002).

Digital Library

Google Scholar

[45]

Neven, F., Schwentick, T., Vianu, V.: Finite State Machines for Strings Over Infinite Alphabets. ACM Transactions on Computational Logic 5(3), 403-435 (2004).

Digital Library

Google Scholar

[46]

Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003).

Digital Library

Google Scholar

[47]

Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46-57 (1977).

Digital Library

Google Scholar

[48]

Segoufin, L., Torunczyk, S.: Automata based verification over linearly ordered data domains. In: Int'l. Symp. on Theoretical Aspects of Computer Science, STACS (2011).

Google Scholar

[49]

Spielmann, M.: Verification of relational transducers for electronic commerce. JCSS 66(1), 40-65 (2003), Extended abstract in PODS 2000.

Digital Library

Google Scholar

[50]

Wang, J., Kumar, A.: A framework for document-driven workflow systems. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 285-301. Springer, Heidelberg (2005).

Digital Library

Google Scholar

[51]

Zhao, X., Su, J., Yang, H., Qiu, Z.: Enforcing constraints on life cycles of business artifacts. In: TASE, pp. 111-118 (2009).

Digital Library

Google Scholar

[52]

Zhu, W.-D., et al.: Advanced Case Management with IBM Case Manager. Published by IBM, http://www.redbooks.ibm.com/redpieces/abstracts/sg247929.html?Open

Google Scholar

Cited By

View all

Tang YCui WSu J(2021)A Query Language for Workflow LogsACM Transactions on Management Information Systems10.1145/348296813:2(1-28)Online publication date: 14-Dec-2021
https://dl.acm.org/doi/10.1145/3482968
Amiri MAgrawal DHung CPapadopoulos G(2019)VIEWProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297291(85-93)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297291
Estaol MSancho MTeniente E(2018)Ensuring the semantic correctness of a BAUML artifact-centric BPMInformation and Software Technology10.1016/j.infsof.2017.09.00393:C(147-162)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.infsof.2017.09.003
Show More Cited By

Index Terms

Automatic verification of data-centric business processes
1. Software and its engineering
  1. Software organization and properties
    1. Software functional properties
      1. Formal methods
        Model checking
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning
      1. Program verification

Recommendations

Automatic verification of data-centric business processes
ICDT '09: Proceedings of the 12th International Conference on Database Theory

We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". Artifacts are used to represent (real or conceptual) key business entities, including both their data schema and lifecycles. The ...
Automating correctness verification of artifact-centric business process models

Artifact-centric business process models are fully automatically verified.Two correctness notions are verified: reachability and weak termination.The models integrate pre and postconditions defining the behavior of the services.Verification of numerical ...
Conceptual framework for business processes compositional verification

Context: To guarantee the success of Business Process Modelling (BPM) it is necessary to check whether the activities and tasks described by Business Processes (BPs) are sound and well coordinated. Objective: This article describes and validates a ...

Comments

Information & Contributors

Information

Published In

BPM'11: Proceedings of the 9th international conference on Business process management

August 2011

430 pages

ISBN:9783642230585

Editors:
Stefanie Rinderle-Ma
University of Vienna, Faculty of Computer Science, Workflow Systems and Technology, Vienna, Austria
,
Farouk Toumani
Blaise Pascal University, Laboratoire LIMOS, CNRS, Clermont-Ferrand, France
,
Karsten Wolf
University of Rostock, Institute of Computer Science, Rostock, Germany

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 August 2011

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tang YCui WSu J(2021)A Query Language for Workflow LogsACM Transactions on Management Information Systems10.1145/348296813:2(1-28)Online publication date: 14-Dec-2021
https://dl.acm.org/doi/10.1145/3482968
Amiri MAgrawal DHung CPapadopoulos G(2019)VIEWProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297291(85-93)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297291
Estaol MSancho MTeniente E(2018)Ensuring the semantic correctness of a BAUML artifact-centric BPMInformation and Software Technology10.1016/j.infsof.2017.09.00393:C(147-162)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.infsof.2017.09.003
Song FWu Z(2016)On temporal logics with data variable quantificationsInformation and Computation10.1016/j.ic.2016.08.002251:C(104-139)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.ic.2016.08.002
Yongchareon Sliu CYu JZhao X(2015)A view framework for modeling and change validation of artifact-centric inter-organizational business processesInformation Systems10.1016/j.is.2014.07.00447:C(51-81)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1016/j.is.2014.07.004
De Masellis RMaggi FMontali MZhang HHuang LRichardson I(2014)Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process10.1145/2600821.2600835(134-143)Online publication date: 26-May-2014
https://dl.acm.org/doi/10.1145/2600821.2600835
Calvanese DDe Giacomo GMontali MHull RFan W(2013)Foundations of data-aware process analysisProceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems10.1145/2463664.2467796(1-12)Online publication date: 22-Jun-2013
https://dl.acm.org/doi/10.1145/2463664.2467796
Masellis RSu J(2013)Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesProceedings of the 11th International Conference on Service-Oriented Computing - Volume 827410.1007/978-3-642-45005-1_5(54-68)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1007/978-3-642-45005-1_5
Razniewski SMontali MNutt W(2013)Verification of query completeness over processesProceedings of the 11th international conference on Business Process Management10.1007/978-3-642-40176-3_13(155-170)Online publication date: 26-Aug-2013
https://dl.acm.org/doi/10.1007/978-3-642-40176-3_13
Maggi FBose Rvan der Aalst W(2012)Efficient discovery of understandable declarative process models from event logsProceedings of the 24th international conference on Advanced Information Systems Engineering10.1007/978-3-642-31095-9_18(270-285)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-31095-9_18

Abstract

References

Cited By

Index Terms

Recommendations

Automatic verification of data-centric business processes

Automating correctness verification of artifact-centric business process models

Conceptual framework for business processes compositional verification

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations