In this paper, we present a Workflow environment allowing distributed simulation based on DEVS / G-DEVS formalisms. A description language for Workflow processes and an automatic transformation of a Workflow into a G-DEVS model have been defined. Then, we introduce a new distributed Workflow Reference Model with HLA-compliant Workflow components. We detail the HLA objects shared between Workflow federates and we present the publishing/subscribing status of each of these federates. Finally, we illustrate the use of this distributed environment with an example of a Microelectronic production Workflow.

No abstract

No abstract

SUMMARY This paper describes tool support that has been implemented for the Test Template Framework (TTF). The TTF is a model‐based testing (MBT) method that is especially well suited for unit testing from Z specifications. Although the TTF is a sound MBT method and it has been widely referenced since its first publication, attention in recent years has decayed. In fact, some have argued that generating abstract test cases following the TTF is a manual task requiring its users to perform complex predicate manipulations. This paper shows that these observations are dubious by describing Fastest, a tool that implements solutions for all these issues and, according to many experiments, produces abstract test cases for more than 80% of the satisfiable test specifications. Furthermore, it is claimed that Fastest fulfils the needs of the Z user community regarding MBT tools, which is supported with a range of case studies. Copyright © 2012 John Wiley & Sons, Ltd.

No abstract