[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Alessandra Cavarra"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Alessandra Cavarra"></meta><title>Department of Computer Science, University of Oxford: Alessandra Cavarra : 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="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Alessandra.Cavarra"><span itemprop="name">Alessandra Cavarra</span></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>Alessandra Cavarra : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Alessandra.Cavarra.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Alessandra.Cavarra.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Alessandra.Cavarra.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Alessandra.Cavarra.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><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>
            A data&#x2212;flow approach to test multi&#x2212;agent ASMs </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Asp. Comput.</em>.
        
            Vol. 23.
        
            No. 1.
        
                Pages 21&#x2212;41.
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7718-abstract.html">
			Details <span class="sr-only" > about <em> A data&#x2212;flow approach to test multi&#x2212;agent ASMs  </em></span> </a> |
			<a href="/publications/publication7718.bib">
			BibTeX  <span class="sr-only" > data for <em> A data&#x2212;flow approach to test multi&#x2212;agent ASMs  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s00165-009-0134-7">
		DOI (10.1007/s00165-009-0134-7)
		</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>
            Combining Sequence Diagrams and OCL for Liveness </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra and Juliana K&#xfc;ster Filipe  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 115.
        
                Pages 19&#x2212;38.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2308-abstract.html">
			Details <span class="sr-only" > about <em> Combining Sequence Diagrams and OCL for Liveness  </em></span> </a> |
			<a href="/publications/publication2308.bib">
			BibTeX  <span class="sr-only" > data for <em> Combining Sequence Diagrams and OCL for Liveness  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2004.09.025">
		DOI (10.1016/j.entcs.2004.09.025)
		</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>
            Mapping UML into Abstract State Machines: A Framework to Simulate UML Models </strong> </p>
	    <p class="publicationAuthors"> <em> A. Cavarra&#x201a; E. Riccobene and P. Scandurra  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Studia Informatica Universalis</em>.
        2005.
        </p> <p
            class="publicationNote"> To appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2307-abstract.html">
			Details <span class="sr-only" > about <em> Mapping UML into Abstract State Machines: A Framework to Simulate UML Models  </em></span> </a> |
			<a href="/publications/publication2307.bib">
			BibTeX  <span class="sr-only" > data for <em> Mapping UML into Abstract State Machines: A Framework to Simulate UML Models  </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>
            A Method for the Automatic Generation of Test Suites from Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra&#x201a; Charles Crichton and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information & Software Technology</em>.
        
            Vol. 46.
        
            No. 5.
        
                Pages 309&#x2212;314.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2303-abstract.html">
			Details <span class="sr-only" > about <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span> </a> |
			<a href="/publications/publication2303.bib">
			BibTeX  <span class="sr-only" > data for <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.infsof.2003.09.004">
		DOI (10.1016/j.infsof.2003.09.004)
		</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>
            On Formalizing UML State Machines using ASM </strong> </p>
	    <p class="publicationAuthors"> <em> Egon B&#xf6;rger&#x201a; Alessandra Cavarra and Elvinia Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information & Software Technology</em>.
        
            Vol. 46.
        
            No. 5.
        
                Pages 287&#x2212;292.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2304-abstract.html">
			Details <span class="sr-only" > about <em> On Formalizing UML State Machines using ASM  </em></span> </a> |
			<a href="/publications/publication2304.bib">
			BibTeX  <span class="sr-only" > data for <em> On Formalizing UML State Machines using ASM  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.infsof.2003.09.009">
		DOI (10.1016/j.infsof.2003.09.009)
		</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>
            Formal and Model&#x2212;Based Testing of Concurrent Workflows </strong> </p>
	    <p class="publicationAuthors"> <em> Chen&#x2212;Wei Wang&#x201a; Alessandra Cavarra and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In Manuel N&#xfa;&#xf1;ez&#x201a; Robert M. Hierons and Mercedes G. Merayo, editors,
             
            <em>
            Proceedings of the 11th International Conference on Quality Software&#x201a; QSIC 2011&#x201a; Madrid&#x201a; Spain&#x201a; July 13&#x2212;14&#x201a; 2011</em>.
        
                Pages 252&#x2212;259.
            IEEE Computer Society.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7716-abstract.html">
			Details <span class="sr-only" > about <em> Formal and Model&#x2212;Based Testing of Concurrent Workflows  </em></span> </a> |
			<a href="/publications/publication7716.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal and Model&#x2212;Based Testing of Concurrent Workflows  </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>
            Inter&#x2212;agent Data Flow Analysis of Abstract State Machines </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            20th Australian Software Engineering Conference (ASWEC 2009)&#x201a; 14&#x2212;17 April 2009&#x201a; Gold Cost&#x201a; Australia</em>.
        
                Pages 237&#x2212;245.
            IEEE Computer Society.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7714-abstract.html">
			Details <span class="sr-only" > about <em> Inter&#x2212;agent Data Flow Analysis of Abstract State Machines  </em></span> </a> |
			<a href="/publications/publication7714.bib">
			BibTeX  <span class="sr-only" > data for <em> Inter&#x2212;agent Data Flow Analysis of Abstract State Machines  </em></span>   </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>
            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 Shahida Sulaiman and Noor Maizura Mohamad Noor, editors,
             
            <em>
            16th Asia&#x2212;Pacific Software Engineering Conference&#x201a; APSEC 2009&#x201a; 1&#x2212;3 December 2009&#x201a; Batu Ferringhi&#x201a; Penang&#x201a; Malaysia</em>.
        
                Pages 414&#x2212;421.
            IEEE Computer Society.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7712-abstract.html">
			Details <span class="sr-only" > about <em> Checking Model Consistency Using Data&#x2212;Flow Testing  </em></span> </a> |
			<a href="/publications/publication7712.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">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Data Flow Analysis and Testing of Abstract State Machines </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In Egon B&#xf6;rger&#x201a; Michael J. Butler&#x201a; Jonathan P. Bowen and Paul Boca, editors,
             
            <em>
            Abstract State Machines&#x201a; B and Z&#x201a; First International Conference&#x201a; ABZ 2008&#x201a; London&#x201a; UK&#x201a; September 16&#x2212;18&#x201a; 2008. Proceedings</em>.
        
            Vol. 5238
                of Lecture Notes in Computer Science.
        
                Pages 85&#x2212;97.
            Springer.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7710-abstract.html">
			Details <span class="sr-only" > about <em> Data Flow Analysis and Testing of Abstract State Machines  </em></span> </a> |
			<a href="/publications/publication7710.bib">
			BibTeX  <span class="sr-only" > data for <em> Data Flow Analysis and Testing of Abstract State Machines  </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>
            Behavioural Specifications from Class Models </strong> </p>
	    <p class="publicationAuthors"> <em> A. Cavarra and J. Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007)</em>.
        
                Pages 118&#x2212;137.
            Springer Berlin / Heidelberg.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1104-abstract.html">
			Details <span class="sr-only" > about <em> Behavioural Specifications from Class Models  </em></span> </a> |
			<a href="/publications/publication1104.bib">
			BibTeX  <span class="sr-only" > data for <em> Behavioural Specifications from Class Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-73210-5_7">
		DOI (10.1007/978-3-540-73210-5_7)
		</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>
            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">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Editorial Message: Special Track on Software Engineering: Methods&#x201a; Practices&#x201a; and Tools </strong> </p>
	    <p class="publicationAuthors"> <em> Stefan Gruner&#x201a; Alessandra Cavarra and Sung Shin  </em> </p>
	
	<p class="publicationDetails"> 
            In Hisham Haddad&#x201a; Lorie M. Liebrock&#x201a; Andrea Omicini and Roger L. Wainwright, editors,
             
            <em>
            Proceedings of the 2005 ACM Symposium on Applied Computing (SAC)&#x201a; Santa Fe&#x201a; New Mexico&#x201a; USA&#x201a; March 13&#x2212;17&#x201a; 2005</em>.
        
                Pages 1454&#x2212;1455.
            ACM.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2313-abstract.html">
			Details <span class="sr-only" > about <em> Editorial Message: Special Track on Software Engineering: Methods&#x201a; Practices&#x201a; and Tools  </em></span> </a> |
			<a href="/publications/publication2313.bib">
			BibTeX  <span class="sr-only" > data for <em> Editorial Message: Special Track on Software Engineering: Methods&#x201a; Practices&#x201a; and Tools  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1067009">
		DOI (10.1145/1067009)
		</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>
            A Framework to Simulate UML Models: Moving from a Semi&#x2212;Formal to a Formal Environment </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra&#x201a; Elvinia Riccobene and Patrizia Scandurra  </em> </p>
	
	<p class="publicationDetails"> 
            In Hisham Haddad&#x201a; Andrea Omicini&#x201a; Roger L. Wainwright and Lorie M. Liebrock, editors,
             
            <em>
            Proceedings of the 2004 ACM Symposium on Applied Computing (SAC)&#x201a; Nicosia&#x201a; Cyprus&#x201a; March 14&#x2212;17&#x201a; 2004</em>.
        
                Pages 1519&#x2212;1523.
            ACM.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2319-abstract.html">
			Details <span class="sr-only" > about <em> A Framework to Simulate UML Models: Moving from a Semi&#x2212;Formal to a Formal Environment  </em></span> </a> |
			<a href="/publications/publication2319.bib">
			BibTeX  <span class="sr-only" > data for <em> A Framework to Simulate UML Models: Moving from a Semi&#x2212;Formal to a Formal Environment  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/968204">
		DOI (10.1145/968204)
		</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>
            Formalizing Liveness&#x2212;Enriched Sequence Diagrams Using ASMs </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra and Juliana K&#xfc;ster Filipe  </em> </p>
	
	<p class="publicationDetails"> 
            In Wolf Zimmermann and Bernhard Thalheim, editors,
             
            <em>
            Abstract State Machines 2004. Advances in Theory and Practice&#x201a; 11th International Workshop&#x201a; ASM 2004&#x201a; Lutherstadt Wittenberg&#x201a; Germany&#x201a; May 24&#x2212;28&#x201a; 2004. Proceedings</em>.
        
            Vol. 3052
                of Lecture Notes in Computer Science.
        
                Pages 62&#x2212;77.
            Springer.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2320-abstract.html">
			Details <span class="sr-only" > about <em> Formalizing Liveness&#x2212;Enriched Sequence Diagrams Using ASMs  </em></span> </a> |
			<a href="/publications/publication2320.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalizing Liveness&#x2212;Enriched Sequence Diagrams Using ASMs  </em></span>   </a>
			
			
					| <a href="http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3052{\&}spage=62"> Link <span class="sr-only" > to <em> Formalizing Liveness&#x2212;Enriched Sequence Diagrams Using ASMs  </em></span> </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>
            Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines </strong> </p>
	    <p class="publicationAuthors"> <em> Egon B&#xf6;rger&#x201a; Elvinia Riccobene and Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)&#x201a; March 9&#x2212;12&#x201a; 2003&#x201a; Melbourne&#x201a; FL&#x201a; USA</em>.
        
                Pages 1086&#x2212;1091.
            ACM.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2309-abstract.html">
			Details <span class="sr-only" > about <em> Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines  </em></span> </a> |
			<a href="/publications/publication2309.bib">
			BibTeX  <span class="sr-only" > data for <em> Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines  </em></span>   </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>
            Specifying and Verifying the Parlay Call&#x2212;Control Using ASMs </strong> </p>
	    <p class="publicationAuthors"> <em> Paolo Falcarin and Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In Egon B&#xf6;rger&#x201a; Angelo Gargantini and Elvinia Riccobene, editors,
             
            <em>
            Abstract State Machines&#x201a; Advances in Theory and Practice&#x201a; 10th International Workshop&#x201a; ASM 2003&#x201a; Taormina&#x201a; Italy&#x201a; March 3&#x2212;7&#x201a; 2003&#x201a; Proceedings</em>.
        
            Vol. 2589
                of Lecture Notes in Computer Science.
        
                Pages 411&#x2212;412.
            Springer.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2305-abstract.html">
			Details <span class="sr-only" > about <em> Specifying and Verifying the Parlay Call&#x2212;Control Using ASMs  </em></span> </a> |
			<a href="/publications/publication2305.bib">
			BibTeX  <span class="sr-only" > data for <em> Specifying and Verifying the Parlay Call&#x2212;Control Using ASMs  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/2589/25890411.htm"> Link <span class="sr-only" > to <em> Specifying and Verifying the Parlay Call&#x2212;Control Using ASMs  </em></span> </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>
            Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra&#x201a; Elvinia Riccobene and Patrizia Scandurra  </em> </p>
	
	<p class="publicationDetails"> 
            In Egon B&#xf6;rger&#x201a; Angelo Gargantini and Elvinia Riccobene, editors,
             
            <em>
            Abstract State Machines&#x201a; Advances in Theory and Practice&#x201a; 10th International Workshop&#x201a; ASM 2003&#x201a; Taormina&#x201a; Italy&#x201a; March 3&#x2212;7&#x201a; 2003&#x201a; Proceedings</em>.
        
            Vol. 2589
                of Lecture Notes in Computer Science.
        
                Pages 229&#x2212;243.
            Springer.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2310-abstract.html">
			Details <span class="sr-only" > about <em> Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines  </em></span> </a> |
			<a href="/publications/publication2310.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/2589/25890229.htm"> Link <span class="sr-only" > to <em> Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines  </em></span> </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>
            A Method for the Automatic Generation of Test Suites from Object Models </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Charles Crichton and Alessandra Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)&#x201a; March 9&#x2212;12&#x201a; 2003&#x201a; Melbourne&#x201a; FL&#x201a; USA</em>.
        
                Pages 1104&#x2212;1109.
            ACM.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2228-abstract.html">
			Details <span class="sr-only" > about <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span> </a> |
			<a href="/publications/publication2228.bib">
			BibTeX  <span class="sr-only" > data for <em> A Method for the Automatic Generation of Test Suites from Object Models  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/952532.952748">
		DOI (10.1145/952532.952748)
		</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>
            A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit </strong> </p>
	    <p class="publicationAuthors"> <em> E. Boerger&#x201a; A. Cavarra and E. Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL) &#x2212; ETAPS</em>.
        Grenoble.
        April,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2302-abstract.html">
			Details <span class="sr-only" > about <em> A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit  </em></span> </a> |
			<a href="/publications/publication2302.bib">
			BibTeX  <span class="sr-only" > data for <em> A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit  </em></span>   </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>
            Simulating Statecharts </strong> </p>
	    <p class="publicationAuthors"> <em> A. Cavarra and E. Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In R. Moreno&#x2212;Diaz and A. Quesada&#x2212;Arencibia, editors,
             
            <em>
            ASM 2001 Workshop&#x201a; EUROCAST 2001</em>.
        Canary Islands&#x201a; Spain.
        February,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2318-abstract.html">
			Details <span class="sr-only" > about <em> Simulating Statecharts  </em></span> </a> |
			<a href="/publications/publication2318.bib">
			BibTeX  <span class="sr-only" > data for <em> Simulating Statecharts  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Solving Conflicts in UML State Machines Concurrent States </strong> </p>
	    <p class="publicationAuthors"> <em> E. Boerger&#x201a; A. Cavarra and E. Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            UML 2001&#x201a; Workshop on Concurrency Issues in UML</em>.
        Toronto&#x201a; Canada.
        October,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2314-abstract.html">
			Details <span class="sr-only" > about <em> Solving Conflicts in UML State Machines Concurrent States  </em></span> </a> |
			<a href="/publications/publication2314.bib">
			BibTeX  <span class="sr-only" > data for <em> Solving Conflicts in UML State Machines Concurrent States  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Formal Semantics of UML: The ASM Approach </strong> </p>
	    <p class="publicationAuthors"> <em> A. Cavarra  </em> </p>
	
	<p class="publicationDetails"> 
            In F. Cassez&#x201a; C. Jard&#x201a; B. Rozoy and M. Ryan, editors,
             
            <em>
            Modelling and Verification of Parallel Processes (MOVEP'2k)</em>.
        Ecole Centrale de Nantes&#x201a; France.
        June,
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication456-abstract.html">
			Details <span class="sr-only" > about <em> A Formal Semantics of UML: The ASM Approach  </em></span> </a> |
			<a href="/publications/publication456.bib">
			BibTeX  <span class="sr-only" > data for <em> A Formal Semantics of UML: The ASM Approach  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Formal Model for the Parallel Semantics of P3L </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandra Cavarra&#x201a; Elvinia Riccobene and Andrea Zavanella  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2000 ACM Symposium on Applied Computing</em>.
        
                Pages 804&#x2212;812.
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication457-abstract.html">
			Details <span class="sr-only" > about <em> A Formal Model for the Parallel Semantics of P3L  </em></span> </a> |
			<a href="/publications/publication457.bib">
			BibTeX  <span class="sr-only" > data for <em> A Formal Model for the Parallel Semantics of P3L  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Modeling the Dynamics of UML Behavioral Diagrams </strong> </p>
	    <p class="publicationAuthors"> <em> A. Cavarra and E. Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            FORTE/PSTV 2000</em>.
        Pisa.
        October,
            2000.
        </p> <p
            class="publicationNote"> Poster</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2315-abstract.html">
			Details <span class="sr-only" > about <em> Modeling the Dynamics of UML Behavioral Diagrams  </em></span> </a> |
			<a href="/publications/publication2315.bib">
			BibTeX  <span class="sr-only" > data for <em> Modeling the Dynamics of UML Behavioral Diagrams  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Modeling the Dynamics of UML State Machines </strong> </p>
	    <p class="publicationAuthors"> <em> Egon B&#xf6;rger&#x201a; Alessandra Cavarra and Elvinia Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In Yuri Gurevich&#x201a; Philipp W. Kutter&#x201a; Martin Odersky and Lothar Thiele, editors,
             
            <em>
            Abstract State Machines&#x201a; Theory and Applications&#x201a; International Workshop&#x201a; ASM 2000&#x201a; Monte Verit&#xe0;&#x201a; Switzerland&#x201a; March 19&#x2212;24&#x201a; 2000&#x201a; Proceedings</em>.
        
            Vol. 1912
                of Lecture Notes in Computer Science.
        
                Pages 223&#x2212;241.
            Springer.
        2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2317-abstract.html">
			Details <span class="sr-only" > about <em> Modeling the Dynamics of UML State Machines  </em></span> </a> |
			<a href="/publications/publication2317.bib">
			BibTeX  <span class="sr-only" > data for <em> Modeling the Dynamics of UML State Machines  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/1912/19120223.htm"> Link <span class="sr-only" > to <em> Modeling the Dynamics of UML State Machines  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An ASM Semantics for UML Activity Diagrams and UML State Machines </strong> </p>
	    <p class="publicationAuthors"> <em> E. Boerger&#x201a; A. Cavarra and E. Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ASM2000 Workshop</em>.
        March,
            2000.
        </p> <p
            class="publicationNote"> TIK Report Nr. 87&#x201a; Computer Engineering and Networks Lab (TIK)&#x201a; Swiss Federal Institute of Technology (ETH) Zurich</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2306-abstract.html">
			Details <span class="sr-only" > about <em> An ASM Semantics for UML Activity Diagrams and UML State Machines  </em></span> </a> |
			<a href="/publications/publication2306.bib">
			BibTeX  <span class="sr-only" > data for <em> An ASM Semantics for UML Activity Diagrams and UML State Machines  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An ASM Semantics for UML Activity Diagrams </strong> </p>
	    <p class="publicationAuthors"> <em> Egon B&#xf6;rger&#x201a; Alessandra Cavarra and Elvinia Riccobene  </em> </p>
	
	<p class="publicationDetails"> 
            In Teodor Rus, editor,
             
            <em>
            Algebraic Methodology and Software Technology. 8th International Conference&#x201a; AMAST 2000&#x201a; Iowa City&#x201a; Iowa&#x201a; USA&#x201a; May 20&#x2212;27&#x201a; 2000&#x201a; Proceedings</em>.
        
            Vol. 1816
                of Lecture Notes in Computer Science.
        
                Pages 293&#x2212;308.
            Springer.
        2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2312-abstract.html">
			Details <span class="sr-only" > about <em> An ASM Semantics for UML Activity Diagrams  </em></span> </a> |
			<a href="/publications/publication2312.bib">
			BibTeX  <span class="sr-only" > data for <em> An ASM Semantics for UML Activity Diagrams  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/1816/18160293.htm"> Link <span class="sr-only" > to <em> An ASM Semantics for UML Activity Diagrams  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Existentially Quantified Conjunctions of Atomic Formulae of L+ </strong> </p>
	    <p class="publicationAuthors"> <em> D. Cantone&#x201a; A. Cavarra and E. Omodeo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            FTP97: International Workshop on First Order Theorem Proving</em>.
        November,
            1997.
        </p> <p
            class="publicationNote"> RISC&#x2212;Linz Report Series&#x201a; No. 97&#x2212;50&#x201a; Johannes Kepler Universitaet Linz</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication455-abstract.html">
			Details <span class="sr-only" > about <em> On Existentially Quantified Conjunctions of Atomic Formulae of L+  </em></span> </a> |
			<a href="/publications/publication455.bib">
			BibTeX  <span class="sr-only" > data for <em> On Existentially Quantified Conjunctions of Atomic Formulae of L+  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]