Biography

Sotiris Moschoyiannis 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 work is on the application of mathematical methods to the analysis and design of concurrent and distributed systems, with a particular interest in the behavioural modelling of complex interactions that require transactional guarantees and the underlying network structures to support them. He has worked on several EU and UK research projects.

Sotiris is a co-Investigator on ERIE (Evolution and Resilience of Industrial Ecosystems), which is a research programme funded by EPSRC and involves the Departments of Sociology, Mathematics, Computing, and the Centre for Environmental Strategy (all at Surrey). ERIE started on 1 June 2010 and is a 6-year programme.   

He is also involved in the OPAALS NoE, a multi-disciplinary research project on Digital Ecosystems, where he also chairs the Integration Coordination Team (ICT). OPPALS involves more than 20 academic and industrial partners from across Europe but also Brazil (IPTI) and India (Kanpur), and is funded by the EU under the FP6-IST programme.

He is also an Investigator on a short-term research project looking at the use of probabilistic modelling in assessing human exposure to drinking water, in collaboration with Dr Kathy Pond (PGMS) and Dr Katrina Charles (CES). This project is funded through MILES (Models and Mathematics in Life and Social Sciences) by EPSRC.

Sotiris is interested in the transfer of research outputs into industry and is involved in KTPs (Knowledge Transfer Partnerships): (i) KTP with the Institute of Animal Health (Pirbright Laboratory, Woking) and Rulemotion, (ii) KTP with Memset Ltd (based at Surrey Research park).

He is a member of the BCS and the IEEE.  

He is also on the IEEE-IES Technical Committee on Industrial Informatics (TCII). 

Research Interests

I am interested in studying the behaviours that result from complex interactions and particularly concurrent and distributed interactions in the absence of a central controlling instance. I study the effect of local interactions on the overall system behaviour, as well as how these shape up the emerging network structure, and its topology, that supports global interactions. My interest comes from an ecosystem point of view, so I am looking into 'steering' the design of concurrent and distributed interactions in a way that gives rise to 'good' global behaviour, in the sense that the system applications, and the network, remain live and are resilient to at least some types of internal or external disturbances.

This is a research strand I am following within the Digital Ecosystems initiative. For a general overview, watch this short clip on Digital Ecosystems.

Research interests include:

• Semantic models of concurrency, particularly as applied to the analysis of emergent properties of system interactions
• The use of formal languages and automata theory in behavioural descriptions
• Web transaction models and the choreography of the underlying online services
• Dependendability issues in component-based software design
• UML and graphical descriptive techniques (state-based and scenario-based specifications)
• Distributed temporal logic
• Argumentation frameworks for inference and dialogue
• P2P architectures/networks with 'scale-free' and 'small world' characteristics

Further details can be found on my personal web page (not updated as regularly as I'd like...).

Publications

• 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 Ecosystems. Int. 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 ]
• 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 Ecosystems. Peer-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: ps, PDF ]
• Paul Krause, Amir Razavi, Sotiris Moschoyiannis, and Alex Marinos. Stability and Complexity in Digital Ecosystems. In Proc. of IEEE 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 SMEs.  Journal 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: ps, PDF ]
• 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. 
  [ preliminaryversion: 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. 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: ps, PDF ]
• S. Moschoyiannis and M. W. Shields. A Set-Theoretic Framework for Component Composition. Fundamenta 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:  PostScript, PDF ]
• 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: PostScript, PDF ]

Teaching

Enterprise Systems Development (COM3011) for Level 3 students in Spring 2011-12.

Databases and Information Modelling (COM1014) for Level 1 students in Autumn 2010-11.

Professional Project (COM3001) for Level 3 students, which runs across both semesters.

Databases and Knowledge Discovery (COMM033) for the MSc Programme in Spring 2011-12.

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

Departmental Duties

UG Level 3 Coordinator (including Final Year Projects Coordinator).

On the Academic Misconduct Panel.

Upcoming Events and Conferences

I am involved with the following upcoming events and conferences:

• FESCA'10 @ ETAPS 2010. The 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10) is a satellite event of ETAPS, and will be held on 27-28th March 2010 in Paphos, Cyprus.
  • Deadline for submissions to FESCA: 20 November 2009.
  • Deadline for submissions to ETAPS: 1 October 2009
• IEEE DEST 2010. The 4th IEEE International Conference on Digital EcoSystems and Technologies (DEST'10) will be held on 13-16 April 2010 in Dubai, United Arab Emirates.
  • Deadline for submissions: 10 January 2010
  • With Prof Paul Krause we are organising a track on Cooperation and Connectivity, and I am also co-organising the Digital Solutions track with Prof Elizabeth Chang and Dr Farookh Hussain.

I am also on the IEEE-IES Technical Committee on Industrial Informatics (TCII).

Technical Reports

• Sotiris Moschoyiannis and Amir Razavi. Forward and Compensating Behaviour in Long-running Transactions. Technical Report CS-08-08, Department of Computing, University of Surrey, 2008.
• Juliana Küster Filipe Bowles and Sotiris Moschoyiannis. A True-Concurrent Framework for Components. Technical Report CSR-06-4, School of Computer Science, University of Birmingham, 2006.
  [ PDF ]
• S. Moschoyiannis. Making Implicit Scenarios Explicit: a Language-based Formalisation of Scenario-based Specifications. Technical Report SCOMP-TC-03-05, Department of Computing, University of Surrey, 2005.
• S. Moschoyiannis. Specification and Analysis of Component-Based Software in a Concurrent Setting. PhD Thesis, University of Surrey, 2005.
  [ PDF ]
• S. Moschoyiannis and M. W. Shields. On Obtaining the Vector Language of a Component from Scenarios. Technical Report SCOMP-TC-03-04, Department of Computing, University of Surrey, 2004.
  [ ps ]
• M. W. Shields and S. Moschoyiannis. An Automata-Theoretic View of Software Components. Technical Report SCOMP-TC-02-04, Department of Computing, University of Surrey, 2004.
  [ ps, PDF ]
• M. W. Shields and S. Moschoyiannis. Primes in Vector Languages of Components. Technical Report SCOMP-TC-01-04, Department of Computing, University of Surrey, 2004.
  [ ps, PDF ]
• S. Moschoyiannis. Mathematical Methods to Support Component-Based Software Design. Transfer Report, Department of Computing, University of Surrey, 2003.
  [ PostScript, PDF ]
• S. Moschoyiannis. Group Theory and Error Detecting / Correcting Codes. MSc Thesis, Technical Report SCOMP-TC-02-01, Department of Computing, University of Surrey, 2001.
  [ Extended Abstract, Full text (PDF,295K) ]