Browse By Person: Ouyang, Chun
 | Up a level |
Group by: Item Type | Date
Number of items: 43.
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
Suriadi, Suriadi, Ouyang, Chun, van der Aalst, Wil M.P., & ter Hofstede, Arthur (2013) Root cause analysis with enriched process logs. Lecture Notes in Business Information Processing [Business Process Management Workshops: BPM 2012 International Workshops Revised Papers], 132, pp. 174-186.
188
188Suriadi, Suriadi, Ouyang, Chun, & Foo, Ernest (2012) Privacy compliance verification in cryptographic protocols. Transactions on Petri Nets and Other Models of Concurrency VI : Lecture Notes in Computer Science, 7400, pp. 251-276.
44
44Wynn, 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, 62(7), pp. 776-786.
320 
1
320 1Wang, Zhaoxia, Zhu, Xiaochen, Ouyang, Chun, Wynn, Moe, & Wen, Lijie (2011) Automated support for versioning compliance checking between workflow management and product lifecycle management (in Chinese). Jisuanji Jicheng Zhizao Xitong [Computer Integrated Manufacturing Systems, CIMS], 17(8), pp. 1660-1669.
1
1Lohmann, 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.
7
7Ouyang, 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.
18
18Ouyang, 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. .
625
625Court, 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. .
654 3
654 3Ouyang, 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.
642 121 63
642 121 63Wang, Kenneth W., Dumas, Marlon, & Ouyang, Chun (2007) Specification and Analysis of Adapters for Conversational Services. .
119
119Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2007) Formal Semantics and Automated Analysis of BPMN Process Models. .
1,163
1,163Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2007) Formal Semantics and Analysis of BPMN Process Models. .
4,102
4,102Dijkman, Remco M., Dumas, Marlon, & Ouyang, Chun (2007) Formal Semantics and Automated Analysis of BPMN Process Models. .
431
431Ouyang, 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.
942
942Ouyang, 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. .
4,258
4,258Ouyang, Chun, van der Aalst, Wil M.P., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2006) Translating BPMN to BPEL. .
1,283
1,283van 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. .
175
175Ouyang, Chun, Dumas, Marlon, Breutel, Stephan W., & ter Hofstede, Arthur H.M. (2005) Translating Standard Process Models to BPEL. .
2,403
2,403Ouyang, 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). .
768
768Ouyang, 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. Lecture Notes in Computer Science, 3826, pp. 484-489.
671 36 29
671 36 29Ouyang, 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
Russell, Kenley, Kanjanabootra, Sittimont, Ouyang, Chun, & Wynn, Moe T. (2012) Procuring OSM : base-line models of off-site manufacture business processes in Australia. In 16th Pacific Association of Quantity Surveyors Congress - Innovation and Sustaining : Challenges and Opportunities, Pacific Association of Quantity Surveyors, Darussalam, Brunei .
15
15Bandara, Wasana & Ouyang, Chun (2012) Analysing and improving a recruitment process : a teaching case for developing business process improvement capabilities. In Proceedings of The 16th Pacific Asia Conference on Information Systems 2012 (PACIS 2012), Caravelle Hotel, Ho Chi Minh City.
3
3Jalali, Amin, Wohed, Petia, & Ouyang, Chun (2012) Aspect oriented business process modeling with precedence. In Mendling, Jan & Weidlich, Matthias (Eds.) Business Process Model and Notation: 4th International Workshop Proceedings [Lecture Notes in Business Information Processing, Volume 125], Springer, Austria, pp. 23-37.
17
17Jalali, Amin, Wohed, Petia, & Ouyang, Chun (2012) Operational semantics of aspects in business process management. In Rinderle-Ma, Stefanie, Dadam, Peter, & Zhou, Xiaofang (Eds.) Lecture Notes in Computer Science [Proceedings of the 20th International Conference on Cooperative Information Systems (CoopIS 2012)], Springer, CNR, Rome, pp. 649-653.
62
62Kanjanabootra, Sittimont, Wynn, Moe T., Ouyang, Chun, Kenley, Russell, & Harfield, Toby (2012) Re-use of domain knowledge to provide confidence for adoption of off-site manufacturing for construction in Australia. In Kashiwagi, Dean & Sullivan, Kenneth (Eds.) Proceedings of the Construction, Building and Real Estate Conference 2012, Las Vegas, Nevada, pp. 1270-1277.
33
33Ouyang, 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.
104
104Ouyang, 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)
305
305Suriadi, 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.
1
1Wang, 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)
171 9 5
171 9 5Ouyang, 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.
526 53 17
526 53 17Ouyang, 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
Wei, Fuguo, Barros, Alistair P., & Ouyang, Chun (2013) Analysis of multilateral service conversations in global business networks. IEEE. (Submitted (not yet accepted for publication))
25
25Ouyang, Chun, ter Hofstede, Arthur H.M., La Rosa, Marcello, Song, Liang, Wang, Jianmin, & Polyvyanyy, Artem (2013) APQL: A process-model query language. (Unpublished)
54
54Polyvyanyy, Artem, La Rosa, Marcello, Ouyang, Chun, & ter Hofstede, Arthur H.M. (2013) Untangling Concurrent Systems for Analysis of Behavioral Properties.
42
42Suriadi, Suriadi, Wynn, Moe T., Ouyang, Chun, ter Hofstede, Arthur H.M., & van Dijk, Nienke (2012) Understanding process behaviours in a large insurance company in Australia : a case study.
105
105Suriadi, 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)
Jalali, Amin, Wohed, Petia, & Ouyang, Chun (2012) Dynamic weaving of aspects for business process management systems. (Unpublished)
80
80Song, 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))
32
32Suriadi, Suriadi, Ouyang, Chun, Smith, Jason, & Foo, Ernest (2009) Modeling and verification of privacy enhancing security protocols. (Submitted (not yet accepted for publication))
180
180