我要吃瓜

Conference Paper (published)

Optimisation of Process Algebra Models Using Evolutionary Computation

Details

Citation

Marco D, Cairns D & Shankland C (2011) Optimisation of Process Algebra Models Using Evolutionary Computation. In: IEEE Congress on Evolutionary Computation (CEC), 2011. IEEE Congress on Evolutionary Computation (CEC) IEEE Congress on Evolutionary Computation, Singapore, 05.06.2011-08.06.2011. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1296-1301. https://doi.org/10.1109/CEC.2011.5949765

Abstract
We propose that process algebras and evolutionary algorithms have complementary strengths for developing models of complex systems. Evolutionary algorithms are powerful methods for finding solutions to optimisation problems with large search spaces but require an accurately defined fitness function to provide valid results. Process algebras are an effective method for defining models of complex interacting processes, but tuning parameters to allow model outputs to match experimental data can be difficult. Defining models in the first place can also be problematic. Our long term goal is to build a framework to synthesise process algebra models. Here we present a first step in that development: combining process algebra with an evolutionary approach to fine tune the numeric parameters of predefined models. The Evolving Process Algebra (EPA) framework is demonstrated through examples from epidemiology and computer science.

Keywords
; User interfaces (Computer systems); Electronic data processing Distributed processing

StatusPublished
Title of seriesIEEE Congress on Evolutionary Computation (CEC)
Publication date31/12/2011
Publication date online01/06/2011
URL
Related URLs
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Place of publicationPiscataway, NJ
ISBN978-1-4244-7834-7
ConferenceIEEE Congress on Evolutionary Computation
Conference locationSingapore
Dates

People (1)

Dr David Cairns

Dr David Cairns

Lecturer, Computing Science

Research centres/groups