Many cooperative control problems ranging from formation following, to rendezvous to flocking can be expressed as consensus problems. The ability of an operator to influence the development of consensus within a swarm therefore provides a basic test of the quality of human-swarm interaction (HSI). Two plausible approaches are : Directdictate a desired value to swarm members or Indirectcontrol o...

This paper presents a formal model for software development process under the eXtreme Programming methodology. This model utilizes the Highlevel Petri Nets and redesigned MAM nets notation to describe workflow and human resources management. Artifacts which are created during the development process and human agents (developers, managers, customers, architects, testers) are represented by Petri...

The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting to combine two approaches which are seen as orthogonal or even opposing, and to what extent do formal methods already support the principles of agility? Based on the authors’ experience in applying lightweight tool-supported f...