The Twelfth ASTReNet Workshop
Model Analysis, Slicing and Transformation
The Workshop was held on 21st February 2007, in association with OMG (Object Management Group)
program chairs
Laurence Tratt and Mark Harman
Registration
If you would like to attend, please contact Zheng Li(zheng dot li at kcl.ac.uk)
Attendee (40 Update on 19th Feb 2007)
Noorazean Mohd AliLancaster University, UKKelly AndroutsopoulosCity University London, UK
Eleni BerkiUniversity of Tampere, Finland
David BinkleyLoyola College, USA
Sue BlackLondon South Bank University, UK
Paul BocaProgramming Research Ltd., UK
Kirill BogdanovThe University of Sheffield, UK
Behzad BordbarUniversity of Birmingham, UK
Jonathan BowenMuseophile Limited, UK
Michael ButlerUniversity of Southampton, UK
David ClarkKings College London, UK
Tony ClarkXactium Ltd., UK
Deji FatiregunKing's College London, UK
Mathias FritzscheSAP Research CEC Belfast, UK
Nicolas GoldKing's College London, UK
Tracy HallHerfordshire University, UK
Mark HarmanKing's College London, UK
Youssef HassounKing's College London, UK
Rob HieronsBrunel University, UK
Chris HolmesLoughborough University, UK
Tao JiangKing's College London, UK
John KanyaruBournemouth University, UK
Allan KennedyKennedy Carter Ltd, UK
Zheng LiKing's College London,UK
Arthorn LuangsodsaiUniversity of Essex, UK
Kiarash MahdaviKing's College London, UK
S Afshin MansouriKing's College London, UK
Phil McMinnSheffield University, UK
Gasso Wilson MwalusekeLondon South Bank University, UK
Richard PaigeUniversity of York, UK
Keith PhalpBournemouth University, UK
Iman PoernomoKing's College London, UK
Awais RashidLancaster University, UK
Genaína RodriguesUniversity College London, UK
Jim SteelIRISA, University of Rennes, France
Laurence TrattKing's College London, UK
Neil WalkinshawThe University of Sheffield
Andrew WatsonOMG
Bryan WoodComputing Consultant, UK
Min ZhangUniversity of Hertfordshire, UK
Programme
- 08:30 Coffee/tea welcome
- 09:15 Welcome and ASTReNet procedures
- 09:45 Keynote: Tony Clark: "ISWIM for Testing - A Model Driven Approach" Abstract
- 10:30 Coffee/tea break
- 10:50 David Clark: "Slicing EFSMs" Abstract | Slides
- 11:15 Michael Butler: "Models and Verified System Design" Abstract | Slides
- 11:40 Discussion
- 12:00 Lunch
- 13:30 Richard Paige: "Using MDA for Safety Critical Systems Development" Abstract | Slides
- 13:55 Awais Rashid and
Noorazean Mohd Ali:
"A State-based Join Point Model for AOP" | Slides - 14:20
John Kanyaru:
"Enacting Use Case Descriptions Using States and Visual
Development Environments" Abstract | Slides - 14:45 Coffee/tea break
- 15:15 Discussion
- 17:00 Mark Harman: Wrap Up
- 18:30 Loop Dinner
Location
The London House Large Common Room at Goodenough College