An adaptive automata operational semantic

This work presents a model of software of the semantics for the adaptive automata (AA) in terms of sequences of messages between objects. The elaboration of the model is based on the formularization proposal of J.J. Neto citeneto:aa:2001 as primary origin of the class objects and its respective behaviors. Several techniques of software engineering had been used throughout the work for the elaboration of the model, such as the domain modeling, behavior specification and design patterns. The resultant model complements the original formularization providing an operational semantics for the AA.