Minimally Adequate Teacher Synthesizes Shuttles, too

摘要

MAS is an interactive approach for synthesizing state machines from scenario descriptions. In this paper we present the results of applying MAS to the Shuttle System case study material. UML sequence diagrams that MAS takes as an input are constructed based on the overview descriptions and example scenarios given in the case study documentation. Ways to manage implied behavior and enhance the functionality of MAS using UML notation are also discussed.