Electronic Notes in Theoretical Computer Science, Volume 101

Volume 101, November 2004

• Frank S. de Boer, Marcello M. Bonsangue:
  Preface. 1-2
  
• Günter Graw, Peter Herrmann:
  Transformation and Verification of Executable UML Models. 3-24
  
• Joost Jacob:
  The OMEGA Component Model. 25-49
  
• Katerina Pokozy-Korenblat, Corrado Priami:
  Toward Extracting ?-calculus from UML Sequence and State Diagrams. 51-72
  
• Marcel Kyas, Frank S. de Boer:
  On Message Specifications in OCL. 73-93
  
• Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li:
  Unifying Views of UML. 95-127
  
• Vladimir Mencl:
  Specifying Component Behavior with Port State Machines. 129-153
  
• Martijn J. Wiering, Marcello M. Bonsangue, René van Buuren, Luuk Groenewegen, Henk Jonkers, Marc M. Lankhorst:
  Investigating the mapping of an Enterprise Description Language into UML 2.0. 155-179