Workshop on software engineering and formal methods
Organised by Lars Kristensen and Jonathan Billington for the 25th June 2002.
Programme
| Time | Topic |
|---|---|
| 9:15-9:30 | Introduction and Welcome |
| 9:30-10:30 | Problems in Operational Planning (Invited
Talk), L. Zhang, Australian Defence Science and Technology Organisation (DSTO) |
| 10:30-11:00 | Coffee break |
| 11:00-12:30 | Session 1: Requirements Reformulation using Formal Specification: A Case Study, L. Wildman Synthesizing Executable Models of Object Oriented Architectures, L. W. Wagenhals, S. Haider, and A. H. Levis Towards Formal Specification and Analysis of Avionics Mission Systems, L. Petrucci, L. M. Kristensen, J. Billington, and Z. Qureshi |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 2: Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets, L. M. Kristensen, B. Mitchell, L. Zhang, and J. Billington Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets, B. Lindstrm and L. Wagenhals A Coloured Petri Net based Tool for Course of Action Development and Analysis, L. Zhang, L. M. Kristensen, C. Janczura, G. Gallasch, and J. Billington |
| 15:30-16:00 | Coffee break |
| 16:00-17:30 | Session 3: Modelling Smart Security for Classified Rooms with DOVE, J. McCarthy and J. Thredgold Modelling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Coloured Petri Nets, C. Xiong, T. Murata, and J. Tsai Discussion (optional) |