Research output

Conference Paper (in Formal Publication) ()

Optimisation of Process Algebra Models Using Evolutionary Computation

Marco D, Cairns D & Shankland C (2011) Optimisation of Process Algebra Models Using Evolutionary Computation In: IEEE Congress on Evolutionary Computation (CEC), 2011, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE). IEEE Congress on Evolutionary Computation, 5.6.2011 - 8.6.2011, Singapore, pp. 1296-1301.

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.

Subject headings
User interfaces (Computer systems); Electronic data processing Distributed processing

AuthorsMarco David, Cairns David, Shankland Carron
Title of seriesIEEE Congress on Evolutionary Computation (CEC)
Publication date2011
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Place of publicationPiscataway, NJ
ISBN 978-1-4244-7834-7
© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal