computer science

	STAFF — J L Fiadeiro  B.Sc. (U Lisbon 1985), Ph.D. (T U Lisbon 1989), Agg (U Lisbon 1998), FBCS, CITP Head of Department and Professor of Software Science and Engineering
	F24 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3907 F: +44 (0)116 252 3915 E: jwf4@mcs.le.ac.uk

Teaching

I am the convenor of the following modules:

• CO7205 Advanced System Design
  
• CO7210 Personal and Group Skills
  

Some recent papers

These are papers related to the Sensoria Reference Modelling Language (SRML):

• L. Bocchi, J. Fiadeiro, S. Gilmore, J. Abreu, M. Solanki, V. Vankayala (2009) A Formal Approach to Modelling Time Properties of Service-Oriented Systems (submitted)
• J. Fiadeiro, A. Lopes, L. Bocchi, J. Abreu (2009) A Formal Approach to Service-Oriented Modelling (51 pages, 7MB): this is a comprehensive account of SRML (presented at SFM-WS'09)
• J. L. Fiadeiro, A. Lopes, L. Bocchi (2008) An Abstract Model of Service Discovery and Binding (40 pages, 8MB): this is a comprehensive account of the semantics of the dynamic aspects of SRML
• L. Bocchi, J. Fiadeiro, A. Lopes (2008) A Use-Case Driven Approach to Formal Service-Oriented Modelling. In: T. Margaria, B Steffen (eds) Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol 17. Springer, Berlin Heidelberg New York, pp 155–169
• J. Abreu, J. Fiadeiro (2008) A coordination model for service-oriented interactions. In: D Lea, G. Zavattaro (eds) Coordination Languages and Models. LNCS, vol 5052. Springer, Berlin Heidelberg New York, pp 1–16
• L. Bocchi, J. Fiadeiro, A. Lopes (2008) Service-oriented modelling of automotive systems. In: Proc. 32nd IEEE Int. Computer Software and Applications Conference (COMPSAC). IEEE , pp 1059–1064
• J. Abreu, L. Bocchi, J. L. Fiadeiro, A. Lopes (2007) Specifying and composing interaction protocols for service-oriented system modelling. In: J. Derrick, J. Vain (eds) Formal Methods for Networked and Distributed Systems. LNCS, vol 4574. Springer, Berlin Heidelberg, pp 358–373
• L. Bocchi, Y. Hong, A. Lopes, J. Fiadeiro (2007) From BPEL to SRML: a formal trans-formational approach. In: M. Dumas, R. Heckel (eds) Web Services and Formal Methods. LNCS, vol 4937. Springer, Berlin Heidelberg, pp 92–107
• J. L. Fiadeiro, A. Lopes, L. Bocchi (2007) Algebraic semantics of service component modules. In: J. L. Fiadeiro, P. Y. Schobbens (eds) Algebraic Development Techniques. LNCS, vol 4409. Springer, Berlin Heidelberg, pp 37–55
• J. L. Fiadeiro, V. Schmitt (2007) Structured co-spans: an algebra of interaction protocols. In T. Mossakowski, U. Montanari, M. Haveraaen (eds) Algebra and Coalgebra in Computer Science. LNCS, vol 4624. Springer, Berlin Heidelberg, pp 194–208
• J. L. Fiadeiro, A. Lopes, L. Bocchi (2006) A formal approach to service-oriented architecture. In: M. Bravetti, M. Nunez, G. Zavattaro (eds) Web Services and Formal Methods. LNCS, vol 4184. Springer, Berlin Heidelberg, pp 193–213

External courses and tutorials

Material from some of the courses and tutorials that I have developed:

• A Formal Approach to Service-Oriented Modelling
  A 3-hour tutorial that I've given at the Bertinoro School on Formal Methods in 2009 (and other places). This tutorial provides an overview of a formal approach to service-oriented modelling developed within the SENSORIA project. A modelling language – SRML – and a number of formal techniques that address qualitative and quantitative analysis support this approach, all of which are based on mathematical foundations. The focus of the tutorial is on the language primitives that SRML offers for modelling business services and activities, and on the methodological approach that SRML supports. It is available as a pdf file and a movie. There is also a companion paper(51 pages, 7MB)
• Software Architectures: Coordination and Evolution
  This is a 12-hour course that I've given in Valencia. It combines material from the shorter tutorials below. It is available as a zipped pdf file.
• Software Architectures: Evolution and Mobility
  A 3-hour tutorial that I've given in a number of conferences. It combines the Coordination approach developed with ATX and the mobility aspects developed within AGILE. It is available as a zipped pdf file and a Powerpoint show.
• Formal Apects of Software Architectures
  A 3-hour tutorial that I've given in a number of conferences. It will be given next at ICFEM 2005. It combines an introduction to the role of SA and the CommUnity approach. It is available as a zipped pdf file and a Powerpoint show.
• Categorical Structures for System Modelling
  This is the bulk of a course that I've given in Swansea (July 2005), Pisa (May 2006), and Valencia (June 2006). It presents selected material from my book on Category Theory. It is available as a zipped pdf file and a Quick-time movie.

PhD/MPhil supervision

• João Abreu
  PhD, since June 2006
  
• Ahmed M.M Al-Ghamdi
  PhD, September 2008
  
• Osama El-Hassam
  PhD, since April 2004
  
• Georgios Koutsoukos
  PhD, part-time, since January 2005
  
• Cristóvão Oliveira
  PhD, joint supervision with Michel Wermelinger since January 2002

Administration

• Head of Department since August 1, 2006
  
• Erasmus: CS representative
  

Research

(See my private page for publications and positions).
My current research contributes mainly to the following themes:

• Algebraic and Categorical Structures and Methods: Algebraic specification; Calculi and models of concurrent, distributed, mobile, and context-aware computing; General systems theory; Semantics of conceptual modelling methods and techniques; Validation and verification.
  

• Models of Software Intensive Systems: Concepts, languages, and semantic models for large and complex software intensive systems. In particular: Architectural dimensions (coordination, distribution, context-awareness); Collaborative systems; Embedded, hybrid, and timed systems; Formal specification, validation and verification techniques; Service-oriented systems. Composition and emergent behaviour/properties.

I also keep an interest on Software Evolution.

I participate in the following projects:

• inContext: Interaction and Context Based Technologies for Collaborative Teams

• Leg2Net: From Legacy Systems to Services in the Net

• SENSORIA: Software Engineering for Service-Oriented Overlay Computers

• WEE-NET: Web Engineering Network of Excellence

• J L Fiadeiro:
• Teaching
• Some recent papers
• External courses and tutorials
• PhD/MPhil supervision
• Administration
• Research

• Quick Links:
• Research Page
• Personal Page
• CommUnity
• CO7205
• CO7210
• Leg2Net
• SENSORIA
• IFIP WG1.3

• Up: People

Author: J L Fiadeiro (jwf4@mcs.le.ac.uk), T: +44 (0)116 252 3907.
© University of Leicester 30th October 2000, 18:42:26. Last modified: 6th October 2009, 12:31:07.
CS Web Maintainer. Any opinions expressed on this page are those of the author.