A logic-based calculus of events
New Generation Computing
Programming in Prolog
Defeasible reasoning and decision support systems
Decision Support Systems
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Defeasible deontic reasoning and its applications to normative systems
Decision Support Systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Modelling Legal Contracts as Processes
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Web services on demand: WSLA-driven automated management
IBM Systems Journal
SLA Representation, Management and Enforcement
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML
CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-2 (CIMCA-IAWTIC'06) - Volume 02
Management applications of the web service offerings language (WSOL)
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Design science in information systems research
MIS Quarterly
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Price competition with service level guarantee in web services
Decision Support Systems
Challenges in Predictive Self-Adaptation of Service Bundles
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Semantic Rule-Based Complex Event Processing
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Modeling Service Level Agreements with Binary Decision Diagrams
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Towards semantic event-driven systems
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Logic-based representation, reasoning and machine learning for event recognition
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Incorporating semantic bridges into information flow of cross-organizational business process models
Proceedings of the 6th International Conference on Semantic Systems
A logic programming approach to activity recognition
Proceedings of the 2nd ACM international workshop on Events in multimedia
Development of a method for ontology-based empirical knowledge representation and reasoning
Decision Support Systems
Event detection and recognition for semantic annotation of video
Multimedia Tools and Applications
Pairwise testing of dynamic composite services
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Rule-based distributed and agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Enacting SLAs in clouds using rules
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I
Video semantic concept detection using ontology
Proceedings of the Third International Conference on Internet Multimedia Computing and Service
A semantic rule and event driven approach for agile decision-centric business process management
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Applying answer set programming to points-to analysis of object-oriented language
ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing
Energy-efficient and SLA-aware management of IaaS clouds
Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet
Knowledge-based processing of complex stock market events
Proceedings of the 15th International Conference on Extending Database Technology
Run-time composite event recognition
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Fusion of background knowledge and streams of events
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
The pragmatic web: putting rules in context
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Adaptive resource configuration for Cloud infrastructure management
Future Generation Computer Systems
Hi-index | 0.00 |
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-quality commitments based upon predefined Service Level Agreements (SLAs) with the service customer. They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreemen ts. A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements. We suggest logical formalisms for the representation and enforcement of SLA rules and describe a proof-of-concept implementation. The article describes selected formalisms of the ContractLog KR and their adequacy for automated SLA management and presents results of experiments and examples from common industry use cases to demonstrate the expressiveness of the language and the scalability of the approach.