A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems (original) (raw)

This paper explores the possibility of applying distributed arti cial intelligent systems and multi-agent systems to help in the design of engineering software systems. We de ne an environment consisted basically by arti cial designers that based on their knowledge, help a human designer to obtain the design of the software systems. The software design engineering problem we take as example is the design of the interlocking software for distributed track-vehicle controllers. The design of these modules are based on Petri nets, from which we can derive invariants that are used as the basis to characterize agent's knowledge in our design aid environment.