[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by title, Booster: Model-driven software development"></meta><meta name="description" content="Publications, by title,Booster: Model-driven software development, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Model-driven software development: 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/Booster/">Model-driven software development</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>Model-driven software development: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/Booster.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/Booster.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/Booster.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/Booster.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><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>
            A Guarded Workflow Language and Its Formal Semantics </strong> </p>
	    <p class="publicationAuthors"> <em> Chen&#x2212;Wei Wang&#x201a; Jim Davies and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 25&#x2212;34.
            Los Alamitos&#x201a; CA&#x201a; USA.
        2010.
        IEEE Computer Society.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3965-abstract.html">
			Details <span class="sr-only" > about <em> A Guarded Workflow Language and Its Formal Semantics  </em></span> </a> |
			<a href="/publications/publication3965.bib">
			BibTeX  <span class="sr-only" > data for <em> A Guarded Workflow Language and Its Formal Semantics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/TASE.2010.21">
		DOI (10.1109/TASE.2010.21)
		</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>
            Automatic Maintenance of Association Invariants </strong> </p>
	    <p class="publicationAuthors"> <em> James Welch&#x201a; David Faitelson and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Software and Systems Modeling</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1022-abstract.html">
			Details <span class="sr-only" > about <em> Automatic Maintenance of Association Invariants  </em></span> </a> |
			<a href="/publications/publication1022.bib">
			BibTeX  <span class="sr-only" > data for <em> Automatic Maintenance of Association Invariants  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s10270-008-0085-0">
		DOI (10.1007/s10270-008-0085-0)
		</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>
            Automatic Maintenance of Association Invariants </strong> </p>
	    <p class="publicationAuthors"> <em> James Welch&#x201a; David Faitelson and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Software Engineering and Formal Methods (SEFM) 2005</em>.
        IEEE Computer Society Press.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2248-abstract.html">
			Details <span class="sr-only" > about <em> Automatic Maintenance of Association Invariants  </em></span> </a> |
			<a href="/publications/publication2248.bib">
			BibTeX  <span class="sr-only" > data for <em> Automatic Maintenance of Association Invariants  </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>
            Checking Model Consistency using Data&#x2212;Flow Testing </strong> </p>
	    <p class="publicationAuthors"> <em> Chen&#x2212;Wei Wang and Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of APSEC'09: 16th Asia&#x2212;Pacific Software Engineering Conference</em>.
        IEEE.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3384-abstract.html">
			Details <span class="sr-only" > about <em> Checking Model Consistency using Data&#x2212;Flow Testing  </em></span> </a> |
			<a href="/publications/publication3384.bib">
			BibTeX  <span class="sr-only" > data for <em> Checking Model Consistency using Data&#x2212;Flow Testing  </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>
            Compositionality and Refinement in Model&#x2212;Driven Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; David Milward and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In Rohit Gheyi and David A. Naumann, editors,
             
            <em>
            Formal Methods: Foundations and Applications &#x2212; 15th Brazilian Symposium&#x201a; SBMF 2012. Proceedings</em>.
        
            Vol. 7498
                of Lecture Notes in Computer Science.
        
                Pages 99&#x2212;114.
            Springer.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6296-abstract.html">
			Details <span class="sr-only" > about <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span> </a> |
			<a href="/publications/publication6296.bib">
			BibTeX  <span class="sr-only" > data for <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/4939/sbmf2012_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-33296-8_9">
		DOI (10.1007/978-3-642-33296-8_9)
		</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>
            Domain&#x2212;Specific Semantics and Data Refinement of Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Faitelson and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Brazilian Symposium on Formal Methods (SBMF)</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2230-abstract.html">
			Details <span class="sr-only" > about <em> Domain&#x2212;Specific Semantics and Data Refinement of Object Models  </em></span> </a> |
			<a href="/publications/publication2230.bib">
			BibTeX  <span class="sr-only" > data for <em> Domain&#x2212;Specific Semantics and Data Refinement of Object Models  </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>
            Domain&#x2212;specific Semantics and Data Refinement of Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Faitelson and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 195.
        
                Pages 151&#x2013;170.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1060-abstract.html">
			Details <span class="sr-only" > about <em> Domain&#x2212;specific Semantics and Data Refinement of Object Models  </em></span> </a> |
			<a href="/publications/publication1060.bib">
			BibTeX  <span class="sr-only" > data for <em> Domain&#x2212;specific Semantics and Data Refinement of Object Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2007.08.031">
		DOI (10.1016/j.entcs.2007.08.031)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Engineering Agile Big&#x2212;Data Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Kevin Feeney&#x201a; Jim Davies&#x201a; James Welch&#x201a; Sebastian Hellmann&#x201a; Christian Dirschl&#x201a; Andreas Koller&#x201a; Pieter Francois and Arkadiusz Marciniak  </em> </p>
	
	<p class="publicationDetails"> 2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12215-abstract.html">
			Details <span class="sr-only" > about <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a> |
			<a href="/publications/publication12215.bib">
			BibTeX  <span class="sr-only" > data for <em> Engineering Agile Big&#x2212;Data Systems  </em></span>   </a>
			
			
					| <a href="https://www.riverpublishers.com/research_details.php?book_id=659"> Link <span class="sr-only" > to <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal model&#x2212;driven engineering of critical information systems </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; David Milward&#x201a; Chen&#x2212;Wei Wang and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 103.
        
                Pages 88 &#x2212; 113.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11989-abstract.html">
			Details <span class="sr-only" > about <em> Formal model&#x2212;driven engineering of critical information systems  </em></span> </a> |
			<a href="/publications/publication11989.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal model&#x2212;driven engineering of critical information systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2014.11.004">
		DOI (10.1016/j.scico.2014.11.004)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formality&#x201a; Evolution&#x201a; and Model&#x2212;driven Software Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Charles Crichton&#x201a; Edward Crichton&#x201a; David Neilson and Ib Holm S&#xf8;rensen  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 130.
        
                Pages 39&#x2212;55.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2229-abstract.html">
			Details <span class="sr-only" > about <em> Formality&#x201a; Evolution&#x201a; and Model&#x2212;driven Software Engineering  </em></span> </a> |
			<a href="/publications/publication2229.bib">
			BibTeX  <span class="sr-only" > data for <em> Formality&#x201a; Evolution&#x201a; and Model&#x2212;driven Software Engineering  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2005.03.004">
		DOI (10.1016/j.entcs.2005.03.004)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            From Predicates to Programs: The Semantics of a Method Language </strong> </p>
	    <p class="publicationAuthors"> <em> David Faitelson&#x201a; James Welch and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SBMF 2005</em>.
        
            Vol. 184.
        
                Pages 171&#x2013;187.
            Electronic Notes in Theoretical Computer Science.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2241-abstract.html">
			Details <span class="sr-only" > about <em> From Predicates to Programs: The Semantics of a Method Language  </em></span> </a> |
			<a href="/publications/publication2241.bib">
			BibTeX  <span class="sr-only" > data for <em> From Predicates to Programs: The Semantics of a Method Language  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2007.03.021">
		DOI (10.1016/j.entcs.2007.03.021)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Data Migration </strong> </p>
	    <p class="publicationAuthors"> <em> Mohammed A. Aboulsamh&#x201a; Edward Crichton&#x201a; Jim Davies and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Advances in Conceptual Modeling &#x2212; Applications and Challenges&#x201a; ER 2010 Workshops ACM&#x2212;L&#x201a; CMLSA&#x201a; CMS&#x201a; DE@ER&#x201a; FP&#x2212;UML&#x201a; SeCoGIS&#x201a; WISM&#x201a; Vancouver&#x201a; BC&#x201a; Canada&#x201a; November 1&#x2212;4&#x201a; 2010.</em>.
        
            Vol. 6413
                of Lecture Notes in Computer Science.
        
                Pages 285&#x2013;294.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3964-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Data Migration  </em></span> </a> |
			<a href="/publications/publication3964.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Data Migration  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-16385-2_35">
		DOI (10.1007/978-3-642-16385-2_35)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; James Welch and Edward Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 88&#x2212;104.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6508-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span> </a> |
			<a href="/publications/publication6508.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.002">
		DOI (10.1016/j.scico.2013.02.002)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Generation of Object Databases using Booster </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; James Welch&#x201a; Alessandra Cavarra and Edward Crichton  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006)</em>.
        IEEE Computer Society.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2240-abstract.html">
			Details <span class="sr-only" > about <em> On the Generation of Object Databases using Booster  </em></span> </a> |
			<a href="/publications/publication2240.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Generation of Object Databases using Booster  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/ICECCS.2006.1690374">
		DOI (10.1109/ICECCS.2006.1690374)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Software Project Management for Combined Software and Data Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Seyyed M. Shah&#x201a; James Welch&#x201a; Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Zaigham Mahmood, editor,
             
            <em>
            Software Project Management for Distributed Computing: Life&#x2212;Cycle Methods for Developing Scalable and Reliable Tools</em>.
        
                Pages 367&#x2212;385.
            Springer International Publishing.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10977-abstract.html">
			Details <span class="sr-only" > about <em> Software Project Management for Combined Software and Data Engineering  </em></span> </a> |
			<a href="/publications/publication10977.bib">
			BibTeX  <span class="sr-only" > data for <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-54325-3_15">
		DOI (10.1007/978-3-319-54325-3_15)
		</a> 
					| <a href="https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf"> Download (pdf)  <span class="sr-only" > of <em> Software Project Management for Combined Software and Data Engineering  </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]