StPowla: SOA, policies and workflows

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

Volumn 4907 LNCS, Issue , 2009, Pages 351-362

  Gorton, S ^a   Montangero, C ^b   Reiff Marganiec, S ^a   Semini, L ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODELLING; BUSINESS PROCESSES; CORE BUSINESS; GRAPHICAL NOTATIONS; POLICY LANGUAGES; SERVICE-ORIENTED ARCHITECTURES; WORK-FLOWS;

INFORMATION SERVICES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 60349104948     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93851-4_35     Document Type: Conference Paper

References (25)

1. Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 291-308. Springer, Heidelberg (2006)
2. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architecture and Applications. Springer, Heidelberg (2004)
3. Boley, H., Tabet, S., Wagner, G.: Design rationale for ruleml: A markup language for semantic web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381-401 (2001)
4. Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.: Constraint-based policy negotiation and enforcement for telco services (2007)
5. Buscemi, M.G., Montanari, U.:Cc-pi: A constraint-based language for specifying service level agreements, pp. 18-32 (2007)
6. Schlimmer, J. (ed.): Web services policy 1.2 - framework (WS-Policy). W3C (April 2006), http://www.w3.org/Submission/WS-Policy/
7. Fu, X., Bultan, T., Su, J.: Formal verification of e-services and workflows. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 188-202. Springer, Heidelberg (2002)
8. Gorton, S., Reiff-Marganiec, S.: Policy support for business-oriented web service management. In: Proceedings of the Fourth Latin American Web Congress (LA-WEB 2006), Washington, DC, USA, pp. 199-202. IEEE Computer Society Press, Los Alamitos (2006)
9. Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 465-470. Springer, Heidelberg (2006)
10. Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: 16th IEEE Computer Security Foundations Workshop (CSFW 2003), p. 187. IEEE Computer Society Press, Los Alamitos (2003)
11. Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Schewe, K.-D., Zhou, X. (eds.) ADC. CRPIT, vol. 17, pp. 191-200. Australian Computer Society (2003)
12. Jordan, D., Evdemon, J., et al.: Web services business process execution language version 2.0. W3C (August 2006), http://docs.oasis-open.org/wsbpel/2.0/ wsbpel-specification-draft.pdf
13. Kamoun, F.: A roadmap towards the convergence of business process management and service oriented architecture. Ubiquity 8(14) (2007)
14. Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems, SENSORIA EU-IST 016004 Deliverable D1.4.a (2007), http://www.pst.ifi.lmu.de/projekte/Sensoria/del 24/D1.4.a.pdf
15. Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 257-271. Springer, Heidelberg (2007)
16. Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: IPM-FSEN. LNCS. Springer, Heidelberg (2007)
17. Müller, R., Greiner, U., Rahm, E.: Agent work: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223-256 (2004)
18. OMG. Business Process Modeling Notation (BPMN) Specification (February 2006)
19. O'Sullivan, J., Edmond, D., ter Hofstede, A.H.M.: Formal description of non-functional service properties. Technical Report FIT-TR-2005-01, Queensland University of Technology, Brisbane (February 2005)
20. Reichert, M., Dadam, P.: Adeptflex-supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10(2), 93-129 (1998)
21. Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: The accent project policy environment/language. Technical Report TR-161, University of Stirling (December 2005)
22. Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: Proceedings of the 2003 ACM workshop on Formal Methods in Security Engineering, pp. 32-42. ACM Press, New York (2003)
23. Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces 28(6), 635-649 (2006)
24. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245-275 (2005)
25. Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur. 8(4), 351-387 (2005)