Little-JIL/Juliette: a process definition language and interpreter
Proceedings of the 22nd international conference on Software engineering
| Hi-index | 0.00 |
Process languages provide a very high level of abstraction for describing how tasks and users need to interact. By providing well-designed visualization support for process languages, users can quickly get a sense of the activities that are captured in a process definition. On the other hand, since process languages support complex control structures, it is our hypothesis that definitions of interesting processes often mask erroneous behavior. Because of this concern, we contend that it is vital to apply powerful analysis capabilities to process definitions to ensure that their behavior meets important correctness properties. In this paper we present a realistic e-commerce process to demonstrate the importance and difficulties associated with verifying process definitions.