The goal of the Rule
Markup Initiative is to develop RuleML as the canonical
Web language for rules using XML markup, formal semantics,
and efficient implementations.
RuleML covers the entire rule spectrum, from derivation
rules to transformation rules to reaction rules. RuleML
can thus specify queries and inferences in Web ontologies,
mappings between Web ontologies, and dynamic Web behaviours
of workflows, services, and agents.
The goal of the Reaction
RuleML TG is to provide a compact, general and user-friendly
XML serialization language for reaction rules on the Semantic
Web. It incorporates different kinds of reaction, action,
production and KR temporal/event/action rules into the
native RuleML syntax.
E-Negotiations creates an
international network of researchers and practitioners
who jointly work on the theoretical and practical aspects
of e-negotiation in business organizations, governments
of all levels and educational institutions. On purpose
is to integrate the various perspectives on e-negotiations,
coming from management science, organizational science,
computer science, and behavioural science, to mention
a few.
GI Research Group for Service Oriented Architectures
Description
The research group for Service
Oriented Architectures (AK SOA) is a community effort
in the Gesellschaft
für Informatik which should bring together researchers
and industry in the area of SOAs. It organizes special
workshops and discussion forums.
The Gesellschaft
für Informatik was founded 1969 and has currently
about 25.000 members, coming from all areas of business
and science.
The Center
for Operations Management in Manufacturing, Logistics
and Services is a cooperation of different departments
in the areas of Business Administration, Informatics,
Operations Research, and Statistics at Augsburg University,
the Ingolstadt School of Management, and TU München.
The center provides a PhD program, as well as regular
workshops and invited talks focusing on decision technologies
in various areas of business.
IT service operations management
(ITSOM) comprises the processes of planning, developing,
deploying and maintaining IT services to customers. Although
many new industry standards have been developed in this
field (ITIL, BS 15000), little academic research has focused
on respective topics. We believe that IT service management
should meet the same standards as operations management
in fields like manufacturing, civil and mechanical engineering.
To address this we advocate a formal, model-based approach.
Based on data analysis and analytical modeling, we try
to tackle decision and planning problems in this field,
such as admission control, capacity planning, performance
prediction, and rule-based service level management.
Project Leader of Contract,
Policy and SLA Management Group
Contribution:
Automated management and
monitoring of service contracts like Service Level Agreements
(SLAs) or higher-level policies are essential for efficient
and reliable service-oriented architectures (SOA) with
high quality of service levels (QoS). The domain typically
faces rapidly changing business and system environments,
huge amounts of scattered contracts and data, managed
in distributed data sources, and a great variety of more
or less cooperative roles involved during the contract
life cylces. Moreover, correctness, reliability and traceability
with respect to the contractual rules are vital to establish
trust and fulfil legal compliance rules. In this project
we developed a rule-based knowledge representation (KR)
to describe SLAs in a formal way. The research draws on
logic programming (LP) techniques as well as on new standards
in the area of web services computing (WSC) and the semantic
web. (more
info >>)
