Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
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 framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Behavioral models as service descriptions
Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Clinical requirements engineering
Proceedings of the 27th international conference on Software engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Applying Digital Evolution to the Development of Self-Adaptive ULS Systems
ULS '07 Proceedings of the International Workshop on Software Technologies for Ultra-Large-Scale Systems
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Live goals for adaptive service compositions
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A new monitor model for enhancing trust-based systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
International Journal of Web Engineering and Technology
A design of policy-based composite web services QoS monitoring system
International Journal of Critical Computer-Based Systems
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Self-adaptable media service architecture for guaranteeing reliable multimedia services
Multimedia Tools and Applications
Requirements monitoring for adaptive service-based applications
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Web Service Diagnoser Model for managing faults in web services
Computer Standards & Interfaces
| Hi-index | 0.00 |
Businesses that rely on web services are vulnerable to the problems of those web services. Service contracts and warranties can provide some assurances. However, they provide traditional recource, rather than timely alerts of impending problems. While electronic commerce has increased the speed of on-line transactions, the technology of monitoring on-line transactions has lagged behind.To address the problem of web service monitoring, we integrated methods of requirements analysis and software execution monitoring. The resulting system assists analysts in the development of web service requirements monitors.The work presented here builds on prior research by: (1) building on a goal-based method for obstacle discovery, (2) illustrating the derivation of assigned monitors from obstacles, and (3) automatically deriving web service monitors from high-level requirements descriptions. The framework, and tool, provides an important contribution by demonstrating how distributed concurrent web service transactions can be monitored at the requirements level.