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:
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”.