From Real World Problems to Implementation Using Coloured Petri Nets and Translations Between Workflow Languages

This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an example of how to extend a simple stop-and-wait protocol with a visualization in the form of message sequence charts. We also show examples of animations created during industrial projects to give an impression of what is possible with the BRITNeY suite. This paper can be found in [Westergaard and Lassen (2006)]. It is a shortened version of [Westergaard and Lassen (2005)] that is longer and example based, [Westergaard and Lassen (2006)] that gives a better overview of the tool compared. 1.2. 2 Requirements Engineering for the Adviser Portal Bank System Abstract: The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering for AP includes describing new work processes that must be supported by AP using a combination of: (1) prose and informal drawings; (2) formal models; (3) graphical animation. This representation helps users and systems analysts to align new work processes and AP via early experiments in a prototyping fashion. The contribution of this paper is to present and reflect upon the analysis and description of one specific, important work process. This paper can be found in the citations as [Jorgensen and Lassen (2006)]. The paper is a revised version of [Jorgensen and Lassen (2005)]. The revision shifted the focus from general thoughts on the lessons we learned, to a descriptions of what the main difficulties were and how we then solved them. 1.2. 3 Execution of UML Models with CPN Tools for Workflow Requirements Validation Abstract: Requirements validation is a critical task in any engineering project. The confrontation of stakeholders with static requirements models is not enough, since stakeholders with non computer science education are not able to discover all the inter-dependencies between the elicited requirements. Even with simple UML (unified modelling language) requirements models it is not easy for the development team to get confidence on the stakeholders’ requirements validation. This paper describes an approach, based on the construction of executable interactive prototypes, to support the validation of workflow requirements, where the system to be built must explicitly support the interaction between people within a pervasive cooperative workflow execution. A case study from a real project is used to illustrate the proposed approach. This paper is in [Machado et al. (2005)]. A revised version will appear in the International Journal on Software Tools for Technology Transfer. Requirements validation is a critical task in any engineering project. The confrontation of stakeholders with static requirements models is not enough, since stakeholders with non computer science education are not able to discover all the inter-dependencies between the elicited requirements. Even with simple UML (unified modelling language) requirements models it is not easy for the development team to get confidence on the stakeholders’ requirements validation. This paper describes an approach, based on the construction of executable interactive prototypes, to support the validation of workflow requirements, where the system to be built must explicitly support the interaction between people within a pervasive cooperative workflow execution. A case study from a real project is used to illustrate the proposed approach. This paper is in [Machado et al. (2005)]. A revised version will appear in the International Journal on Software Tools for Technology Transfer.