[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Choreographing Complex Services"></meta><meta name="description" content="Publications, by type,Choreographing Complex Services, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Choreographing Complex Services: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/dk/">Data, Knowledge and Action</a></li><li><a href="/research/dk/projects.html">projects</a></li><li><a href="/projects/choreographing/">Choreographing Complex Services</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Choreographing Complex Services: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/choreographing.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/projects/publications/title/choreographing.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/choreographing.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/choreographing.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formalisations and Applications of BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 76.
        
                Pages 633&#x2212;650.
            2011.
        </p> <p
            class="publicationNote"> Special issue on FOCLASA 2008</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2861-abstract.html">
			Details <span class="sr-only" > about <em> Formalisations and Applications of BPMN  </em></span> </a> |
			<a href="/publications/publication2861.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalisations and Applications of BPMN  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2009.09.010">
		DOI (10.1016/j.scico.2009.09.010)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bpmn09.pdf"> Download (pdf)  <span class="sr-only" > of <em> Formalisations and Applications of BPMN  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Property Specifications for Workflow Modelling </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 7th International Conference on Integrated Formal Methods</em>.
        
            Vol. 5423
                of LNCS.
        February,
            2009.
        </p> <p
            class="publicationNote"> Invited for special issue in Science of Computer Programming. Technical report version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf</a></p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication70-abstract.html">
			Details <span class="sr-only" > about <em> Property Specifications for Workflow Modelling  </em></span> </a> |
			<a href="/publications/publication70.bib">
			BibTeX  <span class="sr-only" > data for <em> Property Specifications for Workflow Modelling  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-00255-7_5">
		DOI (10.1007/978-3-642-00255-7_5)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process Semantics for BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 10th International Conference on Formal Engineering Methods.</em>.
        
            Vol. 5256
                of LNCS.
        October,
            2008.
        </p> <p
            class="publicationNote"> Extended version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf</a>.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2135-abstract.html">
			Details <span class="sr-only" > about <em> A Process Semantics for BPMN  </em></span> </a> |
			<a href="/publications/publication2135.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process Semantics for BPMN  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-88194-0_22">
		DOI (10.1007/978-3-540-88194-0_22)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Relative Timed Semantics for BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.</em>.
        
            Vol. 229
                of ENTCS.
        July,
            2008.
        </p> <p
            class="publicationNote"> Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing&#x201a; London&#x201a; United Kingdom&#x201a; June 2008. Extended version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf</a>.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1095-abstract.html">
			Details <span class="sr-only" > about <em> A Relative Timed Semantics for BPMN  </em></span> </a> |
			<a href="/publications/publication1095.bib">
			BibTeX  <span class="sr-only" > data for <em> A Relative Timed Semantics for BPMN  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2009.06.029">
		DOI (10.1016/j.entcs.2009.06.029)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/relative.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Relative Timed Semantics for BPMN  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Specifying and Visualising Long&#x2212;Running Empirical Studies </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations)</em>.
        
            Vol. 5063
                of LNCS.
        July,
            2008.
        </p> <p
            class="publicationNote"> Extended version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf</a>.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1098-abstract.html">
			Details <span class="sr-only" > about <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span> </a> |
			<a href="/publications/publication1098.bib">
			BibTeX  <span class="sr-only" > data for <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-69927-9_6">
		DOI (10.1007/978-3-540-69927-9_6)
		</a> 
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/icmt2008.pdf"> Download (pdf)  <span class="sr-only" > of <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Verifying Business Process Compatibility </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 8th International Conference on Quality Software.</em>.
        
                Pages 126&#x2212;131.
            IEEE Computer Society.
        August,
            2008.
        </p> <p
            class="publicationNote"> Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent&#x201a; Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing&#x201a; June 2007</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication454-abstract.html">
			Details <span class="sr-only" > about <em> Verifying Business Process Compatibility  </em></span> </a> |
			<a href="/publications/publication454.bib">
			BibTeX  <span class="sr-only" > data for <em> Verifying Business Process Compatibility  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/QSIC.2008.6">
		DOI (10.1109/QSIC.2008.6)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/peter.wong/pub/qsic2008.pdf"> Download (pdf)  <span class="sr-only" > of <em> Verifying Business Process Compatibility  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y. H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 6th International Symposium on Software Composition</em>.
        
            Vol. 4829
                of LNCS.
        March,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2131-abstract.html">
			Details <span class="sr-only" > about <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span> </a> |
			<a href="/publications/publication2131.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-77351-1_5">
		DOI (10.1007/978-3-540-77351-1_5)
		</a> 
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards A Unified Model for Workflow Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y. H. Wong  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            1st Service&#x2212;Oriented Software Research Network (SOSoRNet) Workshop</em>.
        Manchester&#x201a; United Kingdom.
        June,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2133-abstract.html">
			Details <span class="sr-only" > about <em> Towards A Unified Model for Workflow Processes  </em></span> </a> |
			<a href="/publications/publication2133.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards A Unified Model for Workflow Processes  </em></span>   </a>
			
			
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/model_abstract.pdf"> Download (pdf)  <span class="sr-only" > of <em> Towards A Unified Model for Workflow Processes  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formalisations and Applications of Business Process Modelling Notation </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y. H. Wong  </em> </p>
	
	<p class="publicationDetails"> 2008.
        </p> <p
            class="publicationNote"> Confirmation of Status Report</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication72-abstract.html">
			Details <span class="sr-only" > about <em> Formalisations and Applications of Business Process Modelling Notation  </em></span> </a> |
			<a href="/publications/publication72.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalisations and Applications of Business Process Modelling Notation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards BPM&#x2212;based Support for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong  </em> </p>
	
	<p class="publicationDetails"> 2007.
        </p> <p
            class="publicationNote"> Transfer Dissertation.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1542-abstract.html">
			Details <span class="sr-only" > about <em> Towards BPM&#x2212;based Support for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication1542.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards BPM&#x2212;based Support for Clinical Trials  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]