fOOSE

Controlling Maude Rewriting by Process Algebra

• basic.maude
• process.maude
• engine.maude

Case Studies

Completed

• A Recycling Machine (based on: Martin Wirsing, Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. In: José Meseguer (ed.), Proc. 1^st Int. Wsp. Rewriting Logic and Its Applications. Electr. Notes Theo. Comp. Sci. 4, Elsevier, 1996, pp. 321-359.)
• Requirements analysis phase
• Robustness analysis phase