Abstract

m the user. Currently, the tool provides a graphical integrated development environment to write COMMUNITY programs, draw a configuration, calculate automatically its colimit, and run it. The workbench prevents the creation of ill-formed configurations (like binding output variables with each other) and gives great flexibility in testing COMMUNITY programs (like variable initialisation, choice of which actions and variables to trace, and # This work was financed by Fundac ao para a Ci encia e Tecnologia and FEDER through project POSI/32717/00 (FAST---Formal Approach to Software Architecture. verification of invariants during execution). The workbench requires Java 1.2 and is available from the first author's web site. For a complete listing of papers on COMMU- NITY and its formal framework, see www.fiadeiro.org/jose. 3. ACKNOWLEDGMENTS We thank Ant onia Lopes and Jos e Fiadeiro for their support and feedback on the tool. We thank Jo ao Feliciano and Helder Neto for implementing the

Citations