I learned Maude from Dr. Carolyn Talcott (SRI International Computer Science laboratory)
Her research is pathway logic and I got interested in her research because I did few compartment physiological modeling for few projects.
Maude is a helpful tool for the pathway logic. Pathway logic is a framework based on rewriting logic for developing and analyzing formal executable models of cellular processes. When I helped Dr. Brian Bennett to develop a virtual mitochondria, I did not use the pathway logic yet. I used a program called, Orca, to understand what kind of pathways are existed in mitochondria. Finding pathways provides us much better understandings how cells work.