Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
A requirements monitoring framework for enterprise systems
Requirements Engineering
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
A theoretical investigation of the emerging standards for web services
Information Systems Frontiers
Exploring alternatives for representing and accessing design knowledge about enterprise integration
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Hi-index | 0.00 |
Business processes are increasingly complex and open because they rely on services that are distributed geographically and across organizations. As a result, they are prone to several points of failure. Monitoring, therefore, remains an important concern. We describe services monitoring support that integrates monitoring into common development activities. A flexible monitoring toolkit, REQMON, is the basis of the support. SERMON extends REQMON to support commitment-based property specification, which simplifies monitoring of open services. We show how to develop and apply such specialized monitoring as part of the best practices of development.