In this talk, Rob demonstrates how to apply decades-old techniques from formal methods as the ideal tools for agile modelling. Using the STOMP messaging system as a use case, Rob presents a mathematical state model using the Z modelling language and a concurrency model using CSP.
In the age of agile development, modelling seems to be a forgotten art. Often relegated to a mere documentation task, the valuable modelling processes have been all but forgotten.
YOU MAY ALSO LIKE:
- Whole Team Approach to Agile Testing (in London on 5th - 7th June 2017)
- Alberto Brandolini's DDD Modelling Workshop (in London on 26th - 28th June 2017)
- µCon 2017: The Microservices Conference (in London on 6th - 7th November 2017)
- Serverless Architecture with Azure Functions with Christos Matskas! (in London on 29th November 2017)
Model like you mean it
As CEO at Skipjaq, Rob Harrop leads a team working on the cutting edge of machine-driven performance optimisation. When he’s not thinking about how best to tune the myriad workloads encountered by Skipjaq customers, he’s thinking hard about how to pass the optimisation burden on to machines that learn. Rob is well known as a co-founder of SpringSource, the software company behind the wildly-successful Spring Framework. At SpringSource he was a core contributor to the Spring Framework and led the team that built dm Server (now Eclipse Virgo). Prior to SpringSource, Rob was (at the age of 19) co-founder and CTO at Cake Solutions, a boutique consultancy in Manchester, UK. A respected author, speaker and teacher, Rob writes and talks frequently about large-scale systems, cloud architecture and functional programming. His published works include the highly-popular Spring Framework reference “Pro Spring”.