In this paper we present briefly some of the engineering applications of the OTS/CafeOBJ method, conducted by researchers of the National Technical University of Athens in recent years. Such domains of applications include reactive rule-based systems, context-aware adaptive systems and the design by contract paradigm. Other case studies conducted include modeling and verification of Social Networks, Semantic Web and Mobile Digital Rights Management Systems.Finally, we present a summary of the lessons learned from these applications.
['Petros S. Stefaneas', 'Iakovos Ouranos', 'Nikolaos Triantafyllou', 'Katerina Ksystra']
Some Engineering Applications of the OTS/CafeOBJ Method