Sotiris Moschoyiannis

Dr Sotiris Moschoyiannis

Senior Lecturer in Complex Systems
+44 (0)1483 689130
04 BB 02
Wednesday 9:00-11:00

Academic and research departments

Department of Computer Science.



Sotiris received the BSc degree in Mathematics from the University of Patras, Greece, the MSc in Information Systems and PhD in Computer Science from the University of Surrey, UK. His research is on the application of mathematical methods and computational techniques to the design and analysis of complex systems. He has worked on several UK and EU funded research projects.

Sotiris is the Principal Investigator (PI) on the Real-Time Flow (RTF) project, funded by EIT Digital. This is a collaboration with Amey (lead), Ferrovial and Emu Analytics on  transport networks and predictive analytics. The idea is to control the underlying networks and reconfigure them so that they dynamically adapt to the actual usage made of them while people and goods move around the city.

He is the PI on the Onward Journey Planning Assistant (OJPA) project which is funded by Innovate UK under the Accelerating Innovation in Rail 4 (AIR4) programme. Passenger data segmentation, learning classifier systems and complex decision control feature prominently in this research. The aim is to develop technology that provides a concierge-like experience to rail passengers.

Sotiris is the PI on AGELink (Automated GEneration of Linkages betweens delay events) which looks at minimising reactionary delay -- the knock-on effect on the rail network of a train being late. This is an IAA project in collaboration with the Rail Delivery Group (RDG)

He is a co-Investigator (CI) on the SAFRON (Safe Operational Radio Network for mixed-priority communications to trains using a shared architecture) project which is funded by the Department for Transport via Innovate UK under the AIR5 programme. Wireless security on communications between on and off train devices features prominently in this research. 

Sotiris is a CI on ERIE (Evolution and Resilience of Industrial Ecosystems), which is a 6-year programme of research funded by EPSRC, under the Complexity Science for the Real World programme. It involves Sociology (CRESS), Mathematics, and the Centre for Environmental Strategy (all at Surrey). Sotiris leads the path-dependency analysis stream in ERIE and the development of the complex control tool CCTool.

Sotiris has been involved in Digital Ecosystems research for several years, including the Digital Business Ecosystems (DBE) EU project as well as the OPAALS NoE (funded by EU under IST-FP6), a multi-disciplinary research project on Digital Ecosystems, where he also chairs the Integration Coordination Team (ICT).

He is on the Programme Committee for the annual conference on Complex Networks and IEEE Service Oriented Computing and Applications (IEEE SOCA) and a co-chair on the RuleML+RR Rules challenge, in 2019.

He is an associate member of the Surrey Centre for Cyber Security (SCCS) which is an Academic Centre of Excellence in Cyber Security Research (ACE - CSR).

Research interests

My research is on the application of mathematical methods and computational techniques to the (design and) analysis of complex systems. In complex systems, causes and effects are not obviously related so explainable decision control is a challenge. I study how the different parts of the system give rise to collective behaviours as well as the relationship to the environment. I develop tools and techniques (e.g., CCTool) to compute the system levers or “drivers” which have high influence on the overall system behaviour. This info can then be used to design efficient interventions in the system.

This builds on my expertise over the years on verification of distributed and concurrent interactions, in declarative interaction open models. This research is applicable to:

  • Transport, Rail and smart cities co-design - data clustering, machine learning and decision control to improve network performance and service provision
  • Policy-making - an intervention 'here' has effects 'over there' because of hidden dependencies
  • Cyber security - co-evolution of strategies in cyber fraud; resilience of networks to changing configurations 

The Complex Control tool (CCTool) combines results from structural controllability theory and network analysis to identify the most influential factors in a complex system. It has been used to design the most effective interventions in terms of policy, or to identify the most resilient parts of a system, or the points which accelerate the spread of a disease. This is joint work with Alexandra Penn and Nicholas Elia which originates in the EPSRC ERIE project.

Here is a 2min film on Complex Systems (and the ERIE project tool suite called SteerPlex).

Here is an online animation tool for exploring the behaviour of web transactions and service choreographies (work in progress, but will give you an idea).

Research collaborations

Collaborators include academic and industrial partners. My collaborations from academia tend to focus on complex networks, verification and formal methods and are spread across the UK and abroad. My industrial collaborations range from Rail (CommuterHive, SnapOut, GWR, Resonate) to consultancy (Risk Solutions) to Government (RSSB, RDG) to high-tech companies such as

I collaborate closely with Rulemotion and that including work on containerised distributed applications involving a number of interconnected devices. Use cases for this work are everywhere, from drone fleets to monitoring devices with applications in healthcare and transport.


Software Engineering (COM1028) for First Year (Year 1) undergraduates, in CS and CIT, in Spring 2018-19.

Database Systems (COMM051) for Postgraduate Taught students on both MSc programmes in Spring 2018-19.

Enterprise Systems Development (COM3011) for Final Year (Year 3) undergraduate students in Autumn 2016-17.

Databases and Knowledge Discovery (COMM033) for Postgraduate Taught students in Spring 2014-15.

Lecture notes, exercises, and other related material on these courses can be found on SurreyLearn.

Departmental duties

Admissions Tutor (UG and PG/T).

Animating Web Transactions in the browser

The transaction engine is currently a browser-based tool for animating the behaviour of long-running transactions, involving the execution of online services, and can be found here. This online animation tool is based on a final year project by Pavlos Georgiou, who did the development using state of the art web technologies (including node.js and Javascript in the server). More details can be found in this IEEE-DEST paper reporting on the tool.

The application demonstrates the forward execution of a web transaction as well as the recovery execution that needs to take place whenever an error during its forward execution makes this necessary. Both forward and compensating behaviours are driven by the underlying formalism based around the so-called transaction languages. The resulting behaviours of the long-running (web) transaction are animated in terms of the underlying automaton inside the browser. This allows the practitioner (e.g., business analyst) to explore various scenarios before setting up appropriate transactions for their target B2B and B2C applications.

My publications


  • Matthew R. Karlsen and Sotiris K. Moschoyiannis. Optimal control rules for random Boolean networks. Complex Networks 2018, Studies in Computational Intelligence, vol 812, pp. 828-840. Springer, Cham, 2019.
  • Sotiris Moschoyiannis, Leandros Maglaras and Nurulhunda A Manaf. Trace-based verification of Rule-based Service Choreographies. In 11th IEEE Int'l Conf. on Service Oriented Computing and Applications (IEEE SOCA 2018), IEEE Computer Society, 2018.
  • Matthew R. Karlsen and Sotiris Moschoyiannis. Learning action-condition rules for personalised journey recommendations. In Proc. RuleML + RR 2018, LNCS 11092, pp. 293-301, Springer, 2018.  
  • Matthew R Karlsen and Sotiris Moschoyiannis. Evolution of Control with Learning Classifier Systems. Applied Network Science, 2018 3(1): 30:1 - 30:36, Springer, 2018.
  • D. Kosmanos, L. Maglaras, M. Mavrovouniotis, S. Moschoyiannis, A. Argyriou and H. Janicke. Route Optimization of Electric Vehicles based on Dynamic Wireless ChargingIEEE Access 6:42551-42565,  2018.   [Early access]
  • Stylianos Savvopoulos and Sotiris Moschoyiannis. Impact of removing nodes on the controllability of complex networksComplex Networks 2017, pp. 361-363, 2017.  [preliminary version: here]
  • Nurulhunda A Manaf, Andreas Antoniades and Sotiris Moschoyiannis. SBVR2Alloy: an SBVR to Alloy compiler. In Proc. of the 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017), pp. 73-80, IEEE Computer Society, 2017. [preliminary version:]
  • Stylianos Savvopoulos, Alexandra S. Penn, Sotiris Moschoyiannis. On the interplay between topology and controllability of complex networks. In Proc. Conference on Complex Systems (CCS'17) 2017. [preliminary version:]
  • Sotiris Moschoyiannis, Nicholas Elia, Alexandra Penn, David J.B. Lloyd and Chris Knight. A web-based tool for identifying strategic intervention points in complex systems. In Proc. Games for the Synthesis of Complex Systems (CASSTING'16 @ ETAPS 2016), EPTCS 220, pp.39-52, 2016. [preliminary version: PDF]
  • Sotiris Moschoyiannis and Paul J Krause. True Concurrency in Long-running Transactions for Digital EcosystemsFundamenta Informaticae138(4):483-514, 2015. [preliminary version: PDF]
  • N. A Manaf, S. Moschoyiannis, P. J. Krause. Service Choreography, SBVR, and Time. In Proceedings CONCUR 2015 - FOCLASA, EPTCS 201, pp. 63-77, 2015.
  • L. Maglaras, J. Jiang, A. Maglaras, F. Topalis S. Moschoyiannis. Dynamic Wireless Charging of Electric Vehicles on the Move with Mobile Energy DisseminatorsInt'l Journal of Advanced Computer Science and Applications (IJACSA), 6(6): 239-251, 2015. [preliminary version PDF]
  • S. Moschoyiannis, P. Krause, and P. Georgiou. An Animation Tool for Exploring Transactions in DEs. In Proc. IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE DEST 2012), 2012 [preliminary version PDF]
  • A. Marinos, S. Moschoyiannis, and P. Krause. Towards a RESTful Infrastructure for Digital EcosystemsInt. Journal of Electronic Business (IJEB), Vol. 9, Number 5-6, pp. 484- 498, Inderscience Publishers, 2011 [preliminary version: PDF]
  • S. Moschoyiannis, A. Marinos, and P. Krause. Generating SQL Queries from SBVR Rules. In Proc. RuleML 2010, LNCS 6403, pp. 128-143, Springer, 2010. [preliminary version: PDF]
  • A. Marinos, S. Moschoyiannis, and P. Krause. An SBVR to SQL Compiler. Our accompanying tool demo paper won the RuleML 2010 Challenge. [preliminary version: PDF]
  • S. Moschoyiannis, A. Razavi and P. Krause. Transaction Scripts: Making Implicit Scenarios Explicit. In Proc. FESCA@ETAPS'08, Electronic Notes in Theoretical Computer Science 238 (2010), pp. 63-79, Elsevier, 2010.[preliminary version: PDF]
  • A. Razavi, P. Krause, S. Moschoyiannis. Digital Ecosystems: challenges and proposed solutions. In Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, pp. 1003-1031, IGI Global Publishers, Hershey, PA, 2010. [preliminary version: PDF]
  • M. W. Shields, S. Moschoyiannis, P. J. Krause. Behavioural Presentations and an Automata Theory of Components. In Proceedings of Real-time and Embedded Systems (RTES 2010), 2010. Won the best paper award.
  • M. W. Shields, S. Moschoyiannis, P. J. Krause. Primes in Component Languages. In Proceedings of Real-time and Embedded Systems (RTES 2010), 2010.
  • A. Marinos, S. Moschoyiannis, P. Krause. Towards a RESTful Infrastructure for Digital Ecosystems. In ACM Conf. on Management of Emergent Digital Ecosystems (MEDES 2009), ACM SIGAPP, pp.340-344, 2009. [preliminary version: PDF]
  • Sotiris Moschoyiannis, Paul Krause, Daniel Bryant, and Peter McBurney. Verifiable Protocol Design for Agent Argumentation Dialogues. In Proc. of IEEE Digital Ecosystems and Technologies (IEEE-DEST 2009), 2009. [preliminary version: PDF]
  • A. Razavi, S. Moschoyiannis, P. Krause. An Open Digital Environment to support Business EcosystemsPeer-to-Peer Networking and Applications, 2(4): 367-397, Springer, 2009. [preliminary version: PDF ]
  • A. Marinos, A. Razavi, S. Moschoyiannis, and P. Krause. RESTful Transactions supported by the Isolation Theorems. In Proc. of International Conference of Web Engineering (ICWE 2009), LNCS 5648, pp. 394-409, Springer, 2009.
  • Sotiris Moschoyiannis, Paul Krause and Mike W Shields. A True-Concurrent Interpretation of Behavioural Scenarios. In Proc. of ETAPS 2007 - Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'07), ENTCS 203(7):3-22. Elsevier, 2009. [preliminary version: psPDF]
  • A. Marinos, A. Razavi, S. Moschoyiannis, P. Krause. RETRO: A Consistent and Recoverable RESTful Transaction Model. In Proceedings Int'l Conference on Web Services (ICWS 2009), IEEE Computer Society, pp. 181-188, 2009.
  • A. Razavi, A. Marinos, S. Moschoyiannis, P. Krause. Recovery Management in RESTful Interactions. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2009), 2009.
  • Paul Krause, Amir Razavi, Sotiris Moschoyiannis, and Alex Marinos. Stability and Complexity in Digital Ecosystems. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2009), 2009. Best paper award at IEEE DEST 2009 [preliminary version: PDF]
  • Juliana Bowles and Sotiris Moschoyiannis. When things go wrong: Interrupting Conversations. In Proc. of ETAPS 2008 - Fundamental Approaches to Software Engineering (FASE'08), LNCS 4961, pp. 131-145, Springer, 2008.[preliminary version: PDF]
  • P. Dini, G. Lombardo, R. Mansell, A. Razavi, S. Moschoyiannis, P. Krause, A. Nicolai, L. Leon. Beyond interoperability to digital ecosystems: regional innovation and socio-economic development led by SMEsJournal of Technological Learning, Innovation and Development, 1(3): 410-426, 2008.[preliminary version: PDF]
  • S. Moschoyiannis, A. Razavi, Y. Zheng and P. Krause. On Long-running Transactions: semantics, schemas, implementation. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2008), IEEE Computer Society, 2008.[preliminary version: PDF]
  • A. Razavi, S. Moschoyiannis and P. Krause. A Scale-Free Business Network for Digital Ecosystems. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2008), IEEE Computer Society, 2008.[preliminary version: PDF]
  • A. Razavi, S. Moschoyiannis and P. Krause. A Coordination Model for Distributed Transactions in Digital Business Ecosystems. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2007), IEEE Computer Society, 2007.[preliminary version: PDF]
  • A. Razavi, P. Malone, S. Moschoyiannis, B. Jennings and P. Krause. A Distributed Transaction and Accounting Model for Digital Ecosystem Composed Services. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2007), IEEE Computer Society, 2007.[preliminary version: PDF]
  • Juliana Küster Filipe Bowles and Sotiris Moschoyiannis. Concurrent Logic and Automata Combined: a Semantics for Components. In Proc. of CONCUR 2006 - Foundations of Coordination Languages and Software Architectures (FOCLASA'06), ENTCS, 175(2): 135-151, Elsevier, 2007.[preliminary version: psPDF]
  • A. Razavi, S. Moschoyiannis and P. Krause. Concurrency Control and Recovery Management for Open e-Business Transactions. In Proc. of Communicating Process Architectures (CPA 2007), pp. 267-285, IOS Press, 2007.[preliminary version: PDF]
  • Sotiris Moschoyiannis, Juliana Küster-Filipe and Michael W. Shields. A Formal Approach to Constructing Well-Behaved Systems using Components. In Zhiming Liu and He Jifeng, eds, Mathematical Frameworks for Component Software - Models for Analysis and Synthesis. Series on Component-Based Software Development - Vol. 2, pp. 321-349, World Scientific, 2006.[preliminary version: ps]
  • Daniel Bryant, Paul Krause and Sotiris Moschoyiannis. A Tool to Facilitate Agent Deliberation. In Proc. of 10th European Conference on Logics in Artificial Intelligence (JELIA'06), LNCS 4160, pp. 465-468, Springer, 2006.[preliminary version: PDF]
  • S. Moschoyiannis, M. W. Shields and P. J. Krause. Modelling Component Behaviour with Concurrent Automata. In Proc. ETAPS 2005 workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA'05), ENTCS, Volume 141, Issue 3 (1 December 2005), pp. 199-220, Elsevier, 2005.[preliminary version: PDF]
  • S. Moschoyiannis. Specification and Analysis of Component-Based Software in a Concurrent Setting. PhD Thesis, University of Surrey, 2005.[ PDF ]
  • S. Moschoyiannis. Generating Snapshots of a Component Setting. In Proc. of ETAPS 2004 workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA'04), ENTCS, Vol. 108 (13 Dec 2004), pp.83-98, Elsevier, 2004.[preliminary version: PDF]
  • S. Moschoyiannis and M. W. Shields. A Set-Theoretic Framework for Component CompositionFundamenta Informaticae, 59(4): 373-396, 2004.[preliminary version: PostScript] , PDF]
  • S. Moschoyiannis, M. W. Shields and J. Küster-Filipe. Formalising Well-Behaved Components. In Hung Dang Van and Zhiming Liu, eds, Proceedings of Formal Aspects of Component Software FACS'03, Satellite Workshop of FME 2003, 8-9 September 2003, Pisa, Italy, pp. 121-142, UNU/IIST Report No. 284, 2003.[preliminary version: PostScriptPDF]
  • S. Moschoyiannis and M.W. Shields. Component-Based Design: Towards Guided Composition. In Proceedings of Application of Concurrency to System Design (ACSD'03), 18-20 June 2003, Guimaraes, Portugal, pp. 122-131, IEEE Computer Society, 2003.[preliminary version: PostScriptPDF]
  • S. Moschoyiannis. Group Theory and Error Detecting / Correcting Codes. MSc Thesis, Technical Report SCOMP-TC-02-01, Department of Computing, University of Surrey, 2001.[ Full text (PDF,295K) ]