7th International Conference on Application of Concurrency to System Design 2007
We supported the appearance by Prof. Wil van der Aalsta, Eindhoven University of Technology, The Netherlands at the conference entitled the “7th International Conference on Application of Concurrency to System Design 2007” who gave a lecture on the subject of Business Process Management, focusing on so-called “process mining”. This area is dynamic in business process management, where there is an attempt to obtain the model of processes from the records (logs) of already implemented information systems, and to use this model for workflow redesign.
The international conference served as a forum for discussion and the transfer of theoretical results and methods with the potential of being applied to the design of complex software and hardware systems with elements of parallelism. Although there are many success stories in this area, the need to bring theory closer to practice remains a priority. The conference’s aim was to exchange experiences and make contacts between theoretical and applied research in areas including:
- design methods, software tools and technologies based on system behavioural models such as behavioural models in UMP, data-flow models, communication automats, Petri nets, process algebras, state charts, message sequence charts etc, focusing on their use in the analysis, verification, testing and synthesis of systems,
- (industrial) case studies on the use of formal methods for designing complex systems including multimedia applications, systems in the automotive industry, (bio-)medical applications etc.
- communication systems: ad-hoc mobile and wireless.
The conference took place for the first time in one of the countries of Central and Eastern Europe.
Previous conferences were held in various countries around the world:
- ACSD 2006
in Turk, Finland, in June 2006
- ACSD 2005
in St Malo, France, in June 2005
- ACSD 2004
in Hamilton, Ontario, Canada, in June 2004
- ACSD 2003
in Guimarães, Portugal, in June 2003
- ACSD 2001
in Newcastle Upon Tyne, UK, in June 2001
- ACSD 1998
in Fukushima, Japan, in March 1998
The ACSD conference offered many interesting lectures assessed and selected by the conference’s programme committee made up of representatives of important R&D laboratories (Philips Research, INTEL, GM Research, Cadence Lab.).
One speaker invited to the conference was Rishiyur S. Nikhil, of the CTO company BLUESPEC Inc., www.bluespec.com, who worked for nine years in the Cambridge Research Laboratory (DEC/Compaq) and as an Associate Professor in Computer Science and Engineering at MIT.
Other speakers invited include:
Prof. Lothar Thiele, Swiss Federal Institute of Technology (Switzerland), who gave a lecture on network systems.
Another of the invited speakers gave a lecture on a similar subject, Prof. Philippe Darondeau, INRIA, France, who presented a method for the synthesis of system from scenarios.
Representatives of the significant German school, Prof. Desel a Prof. Lorenz also gave lectures on the subject of the synthesis of system models and workflow processes from scenarios.
A tutorial by Dr. Drozd of Hannover University was also part of the conference, on the subject of ad hoc wireless mobile communication networks.