Research @ CMP Prof. A. Taleb-Bendiab School of Computing Liverpool John Moores University email: [e-mail] http://www.cms.livjm.ac.uk/taleb http://www.cms.livjm.ac.uk

1
Research _at_ CMP Prof. A. Taleb-BendiabSchool of
ComputingLiverpool John Moores Universityemail
a.talebbendiab_at_livjm.ac.ukhttp//www.cms.livjm.ac
.uk/talebhttp//www.cms.livjm.ac.uk
2
Outline

• Brief Overview
• Research at CMP
• Some IS IM related research
• QA and General discussion

3
School CMP 1

• General Focus includes
• Advanced Networking, Mobile Computing,
  Information Security and Networked Appliances,
  Sensor and Actuator Networks, Autonomic Grid
  Computing.
• Staff RS
• 49 (staff) -- 4 Professors, 2 Readers, 6 PL
• 45 PhD/MPhil
• Groups
• CS Informatics
• Distributed Multimedia Systems Engineering Inf.
  Sec. (17)
• Bio/health-informatics (4)
• Information Systems (10)

4
Research Projects _at_ CMP 1

• Current 1
• A Monitoring and Controlling Framework for
  Wireless Sensor/Actor Networks (EPSRC)
• www.cms.livjm.ac.uk/ 
• PUCsec Secure Components (EPSRC)
• www.cms.livjm.ac.uk/pucsec 
• PGNet (EPSRC NoE)
• www.cms.livjm.ac.uk/pgnet 
• 2nrich (EPSRC)
• www.cms.livjm.ac.uk/2nrich
• HCI Fun (EPSRC)  
• www.hci-fun.org.uk 

5
Research Projects _at_ CMP 2

• Current 2
• Biopattern (EU NoE)
• Unilever
• Clove (NHS and SoE)
• WARP (Gov.)
• WSTA (Egov.)

6
Research Projects _at_ CMP 3

• Completed Projects
• Cyber Automation (EPSRC) 
• www.cms.livjm.ac.uk/autonomy 
• Systems Theory COGS (EPSRC NoE)
• www.cms.livjm.ac.uk/cogs 
• Enrich (EPSRC) 
• www.cms.livjm.ac.uk/enrich 
• FRETSET (EPSRC) 
• www.cms.livjm.ac.uk/fretset 
• EmergeITS
• www.cms.livjm.ac.uk/EmergeITS 
• Etc.

7
Relevant ISIM Research
8
Management of dynamic collaborative networks

• What we do
• Distributed software engineering for
• resources management for virtual enterprises
• Collaborative design and manufacture
• Software engineering
• E-government
• Service-Oriented Programming and Architectures
  for
• E-government service aggregation and life-time
  management
• E-business
• Our approach
• Systems Engineering
• Self-adaptive software
• Adaptive Middleware
• Grid computing
• Complexity theory

9
Motivations Trends

• New business models
• High-assurance, availability, name_it!
• Variety of decentralised systems
• Autonomic computing
• devolving software operation management,
  maintenance to the software itself
• Self-organising, self-healing, sentient,
• Self-adaptive, self-aware, etc.
• Need continuous internal/external validation
• Measurement, introspection to support
  meta-operation carried out on operational systems
  including
• Deliberative and/or Reflective activities, etc.
• Controlled adaptation for
• Safe, predictable,
• Coordinated, traceable, etc.

10
Our Approach
11
Relevant ISIM Projects
12
http//www.cms.livjm.ac.uk/enrich
13
Ethnographic Studies
Enrich sequence Of activities.
Investigating
Role Activity Diagrams
R5
Legacy Data
Modelling
Development And experiment
Virtual Team Support
Process Knowledge Management (Guru)
Legacy Data Management (Inventory Manager)
14
(No Transcript)
15
An Example E-Fire Services
16
Presenting a Case for a Principled Citizen,
Business and Technology Integration in
eGovernment Services Challenges and Research
Opportunities eGovernment Workshop 05
(eGOV05), September 13 2005, Brunel University,
West London UB8 3PH, UK
Kecheng Liu The University of Reading k.liu_at_rdg.ac.uk, www.irc.rdg.ac.uk A. Taleb-Bendiab Liverpool John Moores University a.talebbendiab_at_livjm.ac.uk, www.cms.livjm.ac.uk/taleb
17
Entropic Autonomic Design
18
Extending The eSDF
Source eSDF, eTOM
19
Governance Vs AutonomyEnriching Clinical Care
PathwayVia Self-Governing Autonomic Systems

• Prof. A. Taleb-Bendiab
• School of Computing
• Liverpool John Moores University
• email a.talebbendiab_at_livjm.ac.uk
• http//www.cms.livjm.ac.uk/2nrich

20
Our Research
21
Though ICT is not Silver Bullet

• Recommendations http//www.nitrd.gov
• Electronic health records
• Computer-assisted clinical decision
• Evidence and best practice.
• Computerized provider order entry such as for
• tests, medicine, and procedures
• Secure, private, interoperable, e-health
  information exchange.
• E-health solutions are
• Safety critical systems
• Complex systems of systems
• Evolving business model and users requirements
• Process and guideline variability

22
Our Focus 1

• Research questions
• Defining mechanisms and scenarios for
• enriching expert practice with
• medical evidence and guidelines.
• tolerating variability and change via
• process and systems self-governance.
• enabling variety through
• separation of concerns and systems
  self-generation.

23
Our Focus 2

• Research approach
• Process understanding and process mapping
• Modelling decision processes via
• Interplay of formal and empirical approaches
• Process understanding and knowledge management
• Knowledge modelling
• RAD
• R5 for process modelling
• Tolerance, closure and safety bounds modelling
• Situation calculus, norms and policies, etc.

24
Our Focus 3

• Distributed Software Engineering Centric
• Computational Logic
• Stochastic Situation Calculus
• Formal Specification, informal, etc.
• Dynamic analysis and governance
• Self-generative programming for
• Systems generation, Deployment and Management
• Separation of Concerns
• Pluggable Decision Models
• Autonomic Middleware for
• Intelligence and command and control
• Self-management

25
Findings

• Coping with incompleteness and complexity of
• High-assurance of decision process and support
• Uncertainty
• Coping with variety and variability within
• Defined clinical protocols
• Enrich vs hinder experts practice with evidence
  and good practice.
• Defined tolerable quality metrics and patient
  safety bounds
• Allowing patient choice
• Evolution
• Clinical process and tech. evolution
• Coping with trust, privacy, confidentiality, etc.
• Clinical Governance and QA

26
Research Achievements so far

• Grid-based decision support systems
• Combining evidence and guidelines
• Clinical pathway development studio
• Self-governance theory
• Demo. for
• Breast cancer
• OOH Dental triage service

27
Major Results 1

• Neptune Language
• Complete Platform for
• Writing Neptune Decision Models
• Testing Decision Model Guideline Compliance
• Deploying Decision Models

28
Major Results 2

• Cloud Architecture SAC
• Reference modelling and design pattern language

29
Major Results 3

• Self-Governance Theory
• Formal modelling of norms, etiquette, rules of
  play
• Enactment support from spec. to code

30
Another One? -- Dental Triage Demo.
Visual Modelling of Protocol or process flow
Current System
Process is compiled into an open introspective
format
New Grid-Based System
31
Process or Protocol Evolution
Only the process information needs to change
Applications adapt automatically without
re-engineering
32
which can be used to power any type of interface
Web
Desktop
33
Mercury eGovernance Services

• Meta modelling for
• auditing history
• captures all events and datatransformations made
  through a process flow,
• ready for query and mining.

34
QA