- Marco Pistore
Institute for Scientific and Technological Research (IRST) of the
Fondazione Bruno Kessler (FBK), Trento - Italy
- Martin Wirsing
Institut für Informatik,
Ludwig-Maximilians-Universität
München
- Marco
Pistore
Institute for
Scientific and Technological Research (IRST) of the
Fondazione Bruno Kessler (FBK), Trento - Italy
Supporting
the Composition of Distributed Business Processes
Web services provide a universal
basis for the integration of business processes that are distributed
among the most disparate entities, both within an organization and
across organizational borders. One of the major
challenges for industry-wide adoption of Web services
is the automated composition of distributed business processes, i.e.,
the development of techniques and tools supporting an effective,
reliable, low-cost, and time-efficient composition of distributed
business
processes. Such tools should provide an automated,
transparent, and user centered support to the entire business process
life-cycle, from analysis to execution. They should automatically
perform the time consuming and error prone task of analyzing business
processes in detail, selecting and composing suitable Web services,
detecting problems in the interactions, and monitoring execution step
by step. They should operate in a transparent and user
centered way by suggesting solutions that can be adopted, refused, or
refined by business analysts, designers, and programmers. In
the talk, we will discuss some of the main research challenges in this
scenario, and some solutions to these challenges. We will focus on
supporting tasks such as verification, synthesis and monitoring of
distributed business processed.
Curriculum
Vitae
Prof. Dr. Marco Pistore
Institute for Scientific and Technological Research (IRST) of the
Fondazione Bruno Kessler (FBK), Trento - Italy
Marco Pistore is research professor at FBK-IRST, where he leads the
research group on "Service Oriented Applications" and directs the
"Laboratory of Interoperability and e-Government". His main research
interests include theory of concurrent systems, formal methods,
automated synthesis of code, and their application to the design of
service oriented applications. He has been responsible of research and
industrial projects on SOC and Web Services technologies and on their
adoption in application domains such as telcos, logistics, and
e-government.
|
- Martin
Wirsing
Institut
für Informatik, Ludwig-Maximilians-Universität
München
SENSORIA: Engineering for
Service-Oriented Overlay Computers
Service-oriented computing is
emerging as a new paradigm based on
autonomous, platform-independent computational entities (called
services) that can be described, published and categorised, and
dynamically discovered and assembled, resulting in massively
distributed, interoperable, evolvable systems. The IST-FET Integrated
Project Sensoria is developing a novel comprehensive approach to the
engineering of service-oriented software systems where foundational
theories, techniques and methods are fully integrated in a pragmatic
software engineering approach. At the core of our research is a concept
of service that generalises what we know today fromWeb Services and
Grid Computing. In this talk, we present a flavour of our approach,
including modelling and programming primitives supported by a
mathematical semantics, powerful analysis and verification techniques
for behavioural properties and quality of service, and model-based
transformation and development techniques. We use one of our case
studies, automotive systems, for illustration purposes.
Curriculum
Vitae
Prof.
Dr. Martin Wirsing
Institut
für Informatik
Ludwig-Maximilians-Universität
München
Martin
Wirsing is Full Professor and Chair for Computer Science at
Ludwig-Maximilians-University of Munich, where he is also the current
director of the Institut für Informatik. His current research
interests
comprise software engineering for distributed mobile systems and for
hypermedia applications, object-oriented software development based on
formal methods, design and semantics of concurrent Java programs.
Currently he is the scientific co-ordinator of the Integrated EC
Project SENSORIA on software development for service-oriented overlay
computing. He is president of the scientific committee of INRIA France
and member of several other international scientific committees
including University of Nancy (France) and the John von Neumann Minerva
Center for the Development of Reactive Systems (Israel).
|
