Members

• Alexander Knapp (Project Leader, LMU)
• Hubert Baumeister (DTU)
  
• Allan Clark (Edinburgh)
  
• Stephen Gilmore (Edinburgh)
  
• Florian Hacklinger (LMU)
  
• Rolf Hennicker (LMU)
• Stephan Janisch (LMU)
• Martin Wirsing (LMU)

Approach

• UML, State Machines, Java/A
• Rolf Hennicker, Stephan Janisch, Alexander Knapp. On the Compositional Analysis of Hierarchical Components with Explicit Ports. 2007. Submitted. [pdf]
  

Model

• CoCoME book chapter, 30 pages [pdf], 2007/06/22
• CoCoME extended version of book chapter, 47 pages [pdf], 2007/07/20
  
• MagicDraw UML 12.1 project file [zip], 2007/07/20
• PDF files of the MagicDraw UML diagrams [zip], 2007/07/20
• FSP modelling up to the CashDeskLine [zip], 2007/07/12
  

Tools

• Java/A (including the cocome implementation in 'examples') [tar.gz]
  
• Hugo [http]
  
• LTSA (analyser for FSP): java standalone [http], eclipse-plugin [http]
• MagicDraw UML (commercial) [http]