FosterEvolution
FOSTEREVOLUTION INNOVATE-ADAPT-EVOLVE
- Service-Oriented Architectures
- Business Process Management
- Data Management
- Verification and Validation
- Automated Software Test
Service-Oriented Architectures
Formal, rigorous development for IT solutions following the Service-Oriented Architecture (SOA) design pattern.
Read moreBusiness Process Management
Rigorous analysis, definition and development of core Business Process Management (BPM) solutions
Read moreData Management
Rigorous meta-data driven Data Quality Management (DQM) with semantic repositories and formal verification techniques.
Read moreVerification and Validation
Formal, rigorous verification and validation framework for quality assurance of system process, data and semantics.
Read moreAutomated Software Test
Automated, rigorous software analysis and testing using advanced formal techniques and solutions.
Read moreNews
Formal Certification and Compliance for Run-Time Service Environments (SCC2012)
H.Foster, G.Spanoudakis and K.Mahbub, Formal Certification and Compliance for Run-Time Service Environments, in proceedings of the 9th International Conference on Service Computing (SCC2012), Honolulu, Hawaii, June 2012.
Read moreSafety, Certification and Compliance of Software Services
Safety, Certification and Compliance for Software Services (WESOA11)
Keynote at WESOA 2011, Paphos, Cyprus - 05/12/11
Dynamic Creation of Monitoring Infrastructures
IEEE Computing features Rigorous Service Compositions paper
SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
Sixth International Workshop on Automation of Software Test (AST11)
Standards-based Service-Oriented Port Service Development (FACT11)
Service Engineer
Advanced Service Monitoring Configuratons with SLA Decomposition and Selection
Model-Driven Service Configuration with Formal SLA Decomposition and Selection
Assert4SOA
Specification and Analysis of Dynamically-Reconfigurable Service Architectures
UML Extensions for Service-Oriented Systems
Runtime Support for Dynamic and Adaptive Service Composition
A Formal Support to Business and Architectural Design for Service-Oriented Systems
LATEST PUBLICATIONS
- Formal Certification and Compliance for Run-Time Service Environments (SCC2012)
- Safety, Certification and Compliance for Software Services (WESOA11)
- Dynamic Creation of Monitoring Infrastructures
- SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
- Sixth International Workshop on Automation of Software Test (AST11)
LATEST Committees
PROJECTS
Assert4SOA (EU/ICT)
EU SLA@SOI
EU ICT Project SENSORIA
EU "Paper-less" e-Freight Services
Featured Item
ICWS 2011 The IEEE International Conferen...
Events
| Principles of Engineering Service Oriented Applications (PESOS) 2012 (Zurich, CH-04/06/12) |
| 9th International Conference on Service Oriented Computing (ICSOC) 2011 (Paphos, Cyprus-08/12/11) |