Artifact-centric choreographies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 32-46

  Lohmann, Niels ^a   Wolf, Karsten ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; BUSINESS PROCESS MODEL; CONTROL FLOWS; DATA OBJECTS; INTERACTION MODEL;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 78650779712     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_3     Document Type: Conference Paper

References (24)

1. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A framework for lightweight interacting workflow processes. Int. J. Cooperative Inf. Syst. 10(4), 443-481 (2001)
2. van der Aalst, W.M.P., Basten, T.: Life-cycle inheritance: A Petri-net-based approach. In: Azéma, P., Balbo, G. (eds.) ICATPN1997. LNCS, vol. 1248, pp. 62-81. Springer, Heidelberg (1997)
3. van der Aalst,W.M.P., Basten, T.: Identifying commonalities and differences in object life cycles using behavioral inheritance. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 32-52. Springer, Heidelberg (2001)
4. van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty contracts: Agreeing and implementing interorganizational processes. Comput. J. 53(1), 90-106 (2010)
5. van der Aalst, W.M.P., Mans, R.S., Russell, N.C.: Workflow support using proclets: Divide, interact, and conquer. IEEE Data Eng. Bull. 32(3), 16-22 (2009)
6. Ball, T., Chaki, S., Rajamani, S.K.: Parameterized verification of multithreaded software libraries. In:Margaria, T., Yi,W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 158-173. Springer, Heidelberg (2001)
7. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing Web service protocols. Data Knowl. Eng. 58(3), 327-357 (2006)
8. Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifactcentric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
9. Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207-222. Springer, Heidelberg (2007)
10. Calvanese, D., Giacomo, G.D., 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)
11. Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181-185. IEEE Computer Society Press, Los Alamitos (2009)
12. Emerson, E.A., Kahlon, V.: Reducing model checking of the many to the few. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 236-254. Springer, Heidelberg (2000)
13. Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: ICDT 2009. International Conference Proceeding Series, vol. 361, pp. 225-238. ACM Press, New York (2009)
14. Gerede, C.E., Su, J.: Specification and verfication 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)
15. Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifactcentric hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 1-18. Springer, Heidelberg (2009)
16. König, D., Lohmann, N.,Moser, S., Stahl, C.,Wolf, K.: Extending the compatibility notion for abstract WS-BPEL processes. In: WWW2008, pp. 785-794. ACM, New York (April 2008)
17. Küster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007)
18. Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 271-287. Springer, Heidelberg (2007)
19. Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services. In: Lilius, J., Penczek, W. (eds.) Applications and Theory of Petri Nets. LNCS, vol. 6128, pp. 297-307. Springer, Heidelberg (2010)
20. Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C., Su, J. (eds.) Web Services and Formal Methods. LNCS, vol. 6194, pp. 110-127. Springer, Heidelberg (2010)
21. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3) (2003)
22. Stahl, C.: Service Substitution - A Behavioral Approach Based on Petri Nets. Ph.D. thesis, Humboldt-Universität zu Berlin,Mathematisch- Naturwissenschaftliche Fakultät II; Eindhoven University of Technology (2009)
23. Stahl, C.,Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol. 5460, pp. 172-191. Springer, Heidelberg (2009)
24. Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol. 5460, pp. 152-171. Springer, Heidelberg (2009)