Browse By Person: Ouyang, Chun
 | Up a level |
Group by: Item Type | Date
Number of items: 31.
Book Chapter
Ouyang, Chun, van der Aalst, Wil M. P., Dumas, Marlon, ter Hofstede, Arthur H.M., & La Rosa, Marcello (2007) Service-oriented processes : an introduction to BPEL. In Cardoso, Jorge (Ed.) Semantic Web services : theory, tools, and applications. Information Science Reference (IGI Global), Hershey, PA, pp. 155-188.
Journal Article
Wynn, Moe T., Ouyang, Chun, ter Hofstede, Arthur H.M., & Fidge, Colin J. (2011) Data and process requirements for product recall coordination. Data and Process Requirements for Product. (In Press)
93
93Lohmann, Niels, Verbeek, Eric, Ouyang, Chun, & Stahl, Christian (2009) Comparing and evaluating Petri net semantics for BPEL. International Journal of Business Process Integration and Management, 4(1), pp. 60-73.
5
5Ouyang, Chun, Dumas Menjivar, Marlon, Van Der Aalst, Wil, ter Hofstede, Arthur, & Mendling, Jan (2009) From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology (TOSEM), 19(1), pp. 1-37.
11
11Ouyang, Chun, ter Hofstede, Arthur H.M., La Rosa, Marcello, Rosemann, Michael, Shortland, Katherine, & Court, David (2008) Camera, Set, Action: Automating Film Production via Business Process Management. .
531
531Court, David, La Rosa, Marcello, Ouyang, Chun, Rosemann, Michael, ter Hofstede, Arthur, & Wang, Kenneth (2008) Camera, Set, Action: Process Innovation for Film and TV Production. Cultural Science, 1(2), pp. 1-12.
Ouyang, Chun, La Rosa, Marcello, ter Hofstede, Arthur H.M., Dumas, Marlon, & Shortland, Katherine (2008) Towards Web-Scale Workflows for Film Production. .
607 2
607 2Ouyang, Chun, Verbeek, Eric, van der Aalst, Wil M.P., Breutel, Stephan, Dumas, Marlon, & ter Hofstede, Arthur H.M. (2007) Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming, 67(2/3), pp. 162-198.
484 107 53
484 107 53Wang, Kenneth W., Dumas, Marlon, & Ouyang, Chun (2007) Specification and Analysis of Adapters for Conversational Services. .
107
107Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2007) Formal Semantics and Automated Analysis of BPMN Process Models. .
1,000
1,000Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2007) Formal Semantics and Analysis of BPMN Process Models. .
3,353
3,353Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2007) Formal Semantics and Automated Analysis of BPMN Process Models. .
351
351Ouyang, Chun, Dumas, Marlon, ter Hofstede, Arthur H.M., & van der Aalst, Wil M.P. (2007) Pattern-based translation of BPMN process models to BPEL web services. International Journal of Web Services Research (JWSR), 5(1), pp. 42-62.
Ouyang, Chun, Dumas, Marlon, ter Hofstede, Arthur H.M., & van der Aalst, Wil M.P. (2007) Pattern-based translation of BPMN process models to BPEL web services. International Journal of Web Services Research (JWSR), 5(1), pp. 42-62.
795
795Ouyang, Chun, van der Aalst, Wil M.P., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2006) From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way. .
3,971
3,971Ouyang, Chun, van der Aalst, Wil M.P., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2006) Translating BPMN to BPEL. .
1,123
1,123van der Aalst, Wil M.P., Dumas, Marlon, Ouyang, Chun, Rozinat, Anne, & Verbeek, H.M.W. (2005) Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. .
116
116Ouyang, Chun, Dumas, Marlon, Breutel, Stephan W., & ter Hofstede, Arthur H.M. (2005) Translating Standard Process Models to BPEL. .
2,167
2,167Ouyang, Chun, Verbeek, H.M.W., van der Aalst, Wil M.P., Breutel, Stephan W., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2005) Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised Version). .
574
574Ouyang, Chun & Billington, Jonathan (2004) Formal Analysis of the Internet Open Trading Protocol. Applying Formal Methods: Testing, Performance, and M/E-Commerce, 3236, pp. 1-15.
2
2Conference Paper
Ouyang, Chun, Wynn, Moe T., Kuhr, Jan-Christian, Adams, Michael J., Becker, Thomas, ter Hofstede, Arthur H.M., et al. (2011) Workflow support for scheduling in surgical care processes. In The 19th European Conference on Information Systems : ICT and Sustainable Service Development (ECIS 2011), 9-11 June 2011, Aalto University School of Economics, Helsinki.
54
54Ouyang, Chun, Wynn, Moe Thandar, Fidge, Colin, ter Hofstede, Arthur H.M., & Kuhr, Jan-Christian (2010) Modelling complex resource requirements in Business Process Management Systems. In Rosemann, Michael, Green, Peter, & Rohde, Fiona (Eds.) ACIS 2010 Proceedings, ACIS, Queensland University of Technology, Brisbane. (In Press)
196
196Suriadi, Suriadi, Ouyang, Chun, Smith, Jason, & Foo, Ernest (2009) Modeling and Verification of Privacy Enhancing Protocols. In Breitman, Karin & Cavalcanti, Ana (Eds.) Modeling and Verification of Privacy Enhancing Protocols, Springer Berlin / Heidelberg, Rio de Janeiro, Brazil, pp. 127-146.
Wang, Kenneth W., Dumas, Marlon, Ouyang, Chun, & Vayssiere, Julien (2008) The Service Adaptation Machine. In European Conference on Web Services, November 2008, Dublin, Ireland. (In Press)
144 6 4
144 6 4Ouyang, Chun, Dumas, Marlon, ter Hofstede, Arthur H.M., & van der Aalst, Wil M.P. (2006) From BPMN Process Models to BPEL Web Services. In 2006 IEEE International Conference on Web Services (ICWS'06), 18 - 22 September, Chicago, USA.
335 42 16
335 42 16Ouyang, Chun, Verbeek, Eric, van der Aalst, Wil M.P., Breutel, Stephan W., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2005) WofBPEL: A Tool for Automated Analysis of BPEL Processes. In Benatallah, Boualem, Casati, Fabio, & Traverso, Paolo (Eds.) Third International Conference on Service Oriented Computing (ICSOC 2005), December 12-15, 2005, Amsterdam, The Netherlands.
571 32 23
571 32 23Ouyang, Chun, Kristensen, Lars Michael, & Billington, Jonathan (2002) A Formal Service Specification for the Internet Open Trading Protocol. In 23rd International Conference on Applications and Theory of Petri Nets, Springer, pp. 77-108.
3
3Report
Suriadi, Suriadi, Weiss, Burkhard, Winkelmann, Axel, ter Hofstede, Arthur H.M., Adams, Michael, Conforti, Raffaele, et al. (2012) Current research in risk-aware business process management - overview, comparison, and cap analysis. (Unpublished)
2
2Suriadi, Suriadi, Ouyang, Chun, & Foo, Ernest (2012) Privacy compliance verification in cryptographic protocols. (Submitted (not yet accepted for publication))
17
17Song, Liang, Jianmin, Wang, ter Hofstede, Arthur H.M., La Rosa, Marcello, Ouyang, Chun, & Wen, Lijie (2011) A semantics-based approach to querying process model repositories. (Submitted (not yet accepted for publication))
18
18Suriadi, Suriadi, Ouyang, Chun, Smith, Jason, & Foo, Ernest (2009) Modeling and verification of privacy enhancing security protocols. (Submitted (not yet accepted for publication))
132
132