Artifact-centric business process models in UML

Lecture Notes in Business Information Processing

Volumn 132 LNBIP, Issue , 2013, Pages 292-303

  Estañol, Montserrat ^a   Queralt, Anna ^b   Sancho, Maria Ribera ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

Author keywords

BALSA framework; business artifacts; business process modeling; UML

Indexed keywords

FORMAL LANGUAGES; LIFE CYCLE; PROCESS ENGINEERING; SEMANTICS;

ARTIFACT-CENTRIC; BALSA FRAMEWORK; BUSINESS ARTIFACTS; BUSINESS PROCESS MODEL; PROCESS AWARENESS; RESEARCH CHALLENGES; SOFTWARE DEVELOPER; UML LANGUAGE;

ENTERPRISE RESOURCE MANAGEMENT;

EID: 84873114166     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-36285-9_34     Document Type: Conference Paper

References (21)

1. Damaggio, E., Deutsch, A., Hull, R., Vianu, V.: Automatic Verification of Data-Centric Business Processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 3-16. Springer, Heidelberg (2011)
2. Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428-445 (2003)
3. Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: lessons from customer engagements. IBM Syst. J. 46(4), 703-721 (2007)
4. Hull, R.: Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152-1163. Springer, Heidelberg (2008)
5. ISO: ISO/IEC 19505-2:2012-OMG UML superstructure 2.4.1 (2012), http://www.iso.org/iso/iso-catalogue/catalogue-tc/catalogue.detail.htm?csnumber= 52854
6. Bhattacharya, K., Hull, R., Su, J.: A Data-Centric Design Methodology for Business Processes. In: Handbook of Research on Business Process Management, pp. 1-28 (2009)
7. ISO: ISO/IEC 19507:2012-OMG OCL version 2.3.1 (2012), http://www.iso.org/iso/iso-catalogue/catalogue-tc/catalogue.detail.htm?csnumber= 57306
8. Estanol, M., Queralt, A., Sancho, M.R., Teniente, E.: EU-Rent as an artifact-centric business process model (2012), http://www.essi.upc.edu/~ estanyol/docs/artifacts-eu-rent.pdf
9. Olive, A.: Conceptual Modeling of Information Systems. Springer (2007)
10. Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13 (2012)
11. Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data & Knowledge Engineering 73, 1-22 (2012)
12. Queralt, A., Teniente, E.: Specifying the Semantics of Operation Contracts in Conceptual Modeling. In: Spaccapietra, S. (ed.) Journal on Data Semantics VII. LNCS, vol. 4244, pp. 33-56. Springer, Heidelberg (2006)
13. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P.: Foundations of Relational Artifacts Verification. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 379-395. Springer, Heidelberg (2011)
14. Cangialosi, P., De Giacomo, G., De Masellis, R., Rosati, R.: Conjunctive Artifact-Centric Services. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 318-333. Springer, Heidelberg (2010)
15. Bhattacharya, K., Gerede, CE., 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)
16. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of Deployed Artifact Systems via Data Abstraction. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 142-156. Springer, Heidelberg (2011)
17. Fritz, C, Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: Fagin, R. (ed.) ICDT 2009, vol. 361, pp. 225-238. ACM (2009)
18. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F(T.), Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 1-24. Springer, Heidelberg (2011)
19. Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Behavioral Conformance of Artifact-Centric Process Models. In: Abramowicz, W. (ed.) BIS 2011. LNBIP, vol. 87, pp. 37-49. Springer, Heidelberg (2011)
20. Lohmann, N., Wolf, K.: Artifact-Centric Choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 32-46. Springer, Heidelberg (2010)
21. Kucukoguz, E., Su, J.: On Lifecycle Constraints of Artifact-Centric Workflows. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 71-85. Springer, Heidelberg (2011)