GUERRERO, D. D. S.; http://lattes.cnpq.br/2050632960242405; GUERRERO, Dalton Dario Serey.
Résumé:
In this work, we introduce a tool which allows the formal description, specification and
modeling of complex software systems based on Petri Nets Theory and Object
Orientation. Our work is motivated by the growing necessity of mathematical based
tools in order to establish an effective Software Engineering Discipline. All definitions
related to the tool, are presented through a gradual approach which allows the
inclusion of the desired features in a one-per-one basis. Two applications of this tool
are discussed with the objective of experimentation and validation. The applicattions,
also allow the detection of eventual mistakes and/or unexpected effects caused by the
underlying formalism. Thus, opening several research possibilities in order to develop
and refine the introduced tool.