Distributed trust management for validating sla choreographies Sexycam free cridet
160 publications), Research Gate (impact: 18.49), Slideshare Since 2008 Prof. in Canada, and professorial member at the Institut für Angewandte Informatik (Inf AI) at University of Leipzig. His academic carrier has let him to the Ludwig Maximilian University Munich (LMU), the Friedrich Alexander University Erlangen/Nuernberg (FAU), the Technical University Munich (TUM), the National Research Council (NRC) in Canada, the Technical University Dresden (TUD) and its Biotec Innovation Centre Dresden.
He also was associate professor at the department of information systems at the Poznan University of Economics (PUE). He also was associate professor at the department of information systems at the Poznan University of Economics (PUE) and visiting professor at University of Toronto and Mc Gill.
Remarkably, the RBSLA approach in contrast to existing languages in the SLA domain such as WSLA, WSOL, WS-Agreement, is not just a pure syntactical specification language with predefined language constructs, but is a declarative rule-based programming language with an operational and a declarative logic- based semantics for formalizing and implementing arbitrary contract-related functionalities and specifications.
This declarative implementation-oriented design provides maximum flexibility and extensibility for SLA representation including the use of different contract vocabularies written as Semantic Web ontologies such as WSMO, WS-Policy OWL ontology or KAo S and other ontologies such as OWL time, which can be integrated as external webized type systems into the logical SLA rules, giving them a domain-specific meaning.
Moreover, it has high requirements regarding correctness, reliability and traceability of drawn conclusions and triggered reactions in order to establish trust and fulfil legal compliance rules.
Rule based systems and in particular declarative logic programming (LP) qualifies to be the right representation and execution environment for representing, monitoring and enforcing electronic contracts such as SLAs.
IT Service Management (ITSM), Service Level Management (SLM), Service Level Agreements (SLA) and Policies, SLA metrics, Service-oriented Architectures (SOA), Event-driven Architectures (EDA), Contract Representation, Contract Management, SLA Monitoring, Business Rules, Knowledge Representation, Rule Engines, Artificial Intelligence, Logic, Utility Computing, On-Demand Computing, Grid Computing, Web Services, Defeasible Deontic Logic with Norm Violations and Exceptions, Logic of Norms, Conditional Obligations, Contrary-To-Duty Obligations and Defeasible Prima Facie Obligations, Event Calculus, Complex Event Processing, Interval-based Event Algebra, Defeasible Logic with Integrity Constraints and Rule Prioirties, Typed Logic with Polymorphic Order-Sorted Typed Unification, Hybrid Description Logic Programs (Heterogeneous DLP approach with Jena and Pellet) for Semantic Web Typing, Constraint LPs, Active ECA Rules and Transaction Logic, Event Condtion Action (ECA), Temporal Logic, Rule ML, RBSLA, Test-driven Validation, Test Cases, Test Coverage, Integrity Constraints, Ordered Logic Programs (OLPs).