Skip header navigation
×

Conference Proceeding

Optimisation of Process Algebra Models Using Evolutionary Computation

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
Author(s)Marco, David; Cairns, David; Shankland, Carron
Title of seriesIEEE Congress on Evolutionary Computation (CEC)
Publication date31/12/2011
Publication date online01/06/2011
URLhttp://hdl.handle.net/1893/3226
Related URLshttp://www.ieee.org/…ml?Conf_ID=11475
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Place of publicationPiscataway, NJ
ISBN978-1-4244-7834-7
ConferenceIEEE Congress on Evolutionary Computation
Conference locationSingapore
Dates

Research centres/groups

Scroll back to the top