|
IEEE SERVICES 2008 (Part I) TUTORIALS
Tutorial 1. From Mathematical Model to Systematic SOA Solution Design Tool, Liang-Jie Zhang (IBM T.J. Watson Reseach Center ) Nianjun Zhou (IBM TJ Watson Research Center US)
Tutorial 2. Identity Management for Services, Elisa Bertino (Perdue University ) Kenji Takahashi (NTT JP)
Tutorial 3. Services and Processes: Models, Analysis, and Systems, Wil van der Aalst (The Netherlands)
Tutorial 4.Software as a Service (SaaS): Security Strategy, Risk Management, Static Analysis and Assessment Tool , Wendy Hui (Zayed University, U.A.E ) Patrick Hung (UOIT CA)
Tutorial 5.Business Entities: Modeling Process and Information, Frederick Wu (IBM T.J. Watson Research Center ) Santhosh Kumaran (IBM T.J. Watson Research Center ) Rong Liu (IBM T.J. Watson Research Center US)
Tutorial 6.Enterprise service architectures, George Koliadis ( ) Aditya Ghose (University of Wollongong AU)
Tutorial 1: From Mathematical Model to Systematic SOA Solution Design Tool
Nianjun Zhou, IBM T.J. Watson Research Center, USA
Liang-Jie Zhang, IBM T.J. Watson Research Center, USA
Abstract:
Service-Oriented Architecture (SOA) is an architectural style for solution architects to create and
manage new value added solutions by leveraging various solution artifacts such as business processes,
services, packaged applications, and manageable attributes throughout their lifecycle.
In this tutorial, we present our initial findings of mathematical modeling of a selected SOA solution
architecture. It includes the steps required from a mathematical model to a real implementation of SOA
solution tool using XML annotation, XML transformation, UML models and artifact generation with
context-aware enabling utilities. We will start from the introduction of SOA concept, solution architecture,
and practices in the field. Then we will present a mathematical abstraction of description of an SOA
solution model using graph theory and define concepts to capture the relationships, constrains and notations
of an SOA solution's building blocks. In addition, XML is introduced and leveraged to convert this
mathematical abstraction into materialized description of an SOA solution model which is independent
from the product-specific tooling environment.
As an example, we will introduce an SOA modeling tool using UML and context-aware software plug-in
on top of IBM's Rational Software Architect (RSA) to illustrate the seamless connection between the
mathematical model and a reusable software system.
About Speaker:
Dr. Nianjun Zhou has been working in IBM since 1997. Now, he is the research staff member of IBM
Watson research lab in the area of services computing. Before joining research, he led the efforts of grid
computing including server grid and client grid in IBM CIO. Before joining IBM, he has been a research
scientist of New York State Department of Environmental Conservation. Dr. Zhou received his Ph.D from
Rensselaer Polytechnic Institute (RPI) in Electrical Engineering focus on Ad Hoc/Sensor network routing
overhead for variable topology network. His interesting is using computer methodologies and technologies
to innovate new ideas, develop new infrastructure and applications which enhance the computing resources
utilities, efficiency of knowledge and information management.
Dr. Liang-Jie Zhang is a Research Staff Member (RSM) in Services Technologies Department at IBM T.J.
Watson Research Center. He is the worldwide lead of an IBM's SOA solution design and modeling tool.
He has been co-leading the IBM-wide SOA Solution Stack project since 2004. Dr. Zhang is one of the
leading resarch pioneers of Service-Oriented Architecture (SOA) and Web Services. Dr. Zhang was the lead
inventor and architect of Business Explorer for Web Services (BE4WS), WSIL Explorer, and Web Services
Outsourcing Manager (WSOM), all released by IBM alphaWorks. In 2001, he led a worldwide team to
create the first comprehensive Web services-based Managed E-Hub to enable services provisioning and
business on-boarding for supporting business process on demand. He is the founding Editor in Chief of
IEEE Transactions on Services Computing.
Tutorial 2: Identity Management for Services
Elisa Bertino (Perdue University)
Kenji Takahashi (NTT JP)
Abstract:
This tutorial will explore critical issues concerning identity management for the emerging service oriented society. Identity management must be incorporated as an integral part of service infrastructures to make identity available
to services across organizations in a secure and privacy protected manner. Identity data is crucial for successfully
providing personalized experiences for legitimate users of services. It is important that the users have strong control over their identity data to foster a socially responsible service industry.
The goal of this tutorial is to give participants a detailed understanding of the prospects for, and issues arising
from, identity management in the emerging service oriented industry. In this tutorial, we fill first introduce basic
notions concerning identity, identity lifecycle and federated digital identity management. We will then give an
overview of identity management for services and illustrate best practices and lessons learned in real settings
using case studies. We will discuss fundamental methods of identity management (e.g., authentication and
authorization techniques), examine enabling technology (e.g., technical standards) and initiatives (Liberty Alliance, Shibboleth, CardSpace), explore the key challenges and research trends (e.g., security and performance).
About Speakers:
Elisa Bertino is Professor at Purdue University and Research Director of CERIAS. Her current research interests
include digital identity management, computer security, privacy, service oriented architectures, healthcare
applications. She has given invited talks and tutorials at several conferences, including the IEEE ICWS 2006
where she presented a tutorial on "Security in SOA and Web Services". She is a Fellow Member of IEEE and
ACM.
Kenji Takahashi is a Senior Research Engineer, Supervisor at NTT Information Sharing Platform Laboratories in
Tokyo, Japan. He is working on identity management technologies for next generation networks. His research
interests are in the interdisciplinary areas of security, identity, and usability. He is also very active in technical
standardization, such as Liberty Alliance. Dr. Takahashi has given many talks and tutorials at international
conferences, including the following ones related to the proposed topic:
- "Application Service Providers: System Development Using Application Services over the Net" at IEEE/ACM
ICSE 2000.
- "Identity Management" at ACM CCS 2004
Tutorial 3: Services and Processes: Models, Analysis, and Systems
Wil van der Aalst, (The Netherlands).
Abstract:
Services and processes are closely intertwined and some refer to languages like BPEL as "programming in the large" thus illustrating the role of processes in service computing. The tutorial focuses on the process-aspects of services. BPEL is the de-facto standard for process support in a SOA context. However, processes can be interpreted in a broader way and many things can be learned from experiences in the BPM and workflow area. This tutorial will first provide and overview of the different approaches and languages. Contemporary systems and languages will be linked to foundational concepts and techniques. After this overview the tutorial will focus on the analysis of services. On the one hand it will be shown that process models can be analyzed in various ways (from performance analysis to verification). On the other hand, one can analyze the actual behavior of services though monitoring and process mining. The tutorial will report on many practical experiences with process analysis. It will be demonstrated that spectacular can be achieved using technology that is available today. For example, it is possible to verify large collections of models and detect errors. Moreover, by using event logs or tapping of messages processes can be constructed automatically and used for performance analysis, social network analysis, etc. Moreover, the same data and tools can be used to check conformance, e.g., is a service behaving as it should?
At TU/e there is a lot of experience in the area of BPM, WFM, SOA, and process analysis. TU/e has probably the largest research group on BPM in the world with more than 50 researchers working on topics mentioned above.
About Speaker:
Prof.dr.ir. Wil van der Aalst is a full professor of Information Systems at the Technische Universiteit Eindhoven (TU/e) having a position in both the Department of Mathematics and Computer Science and the Department of Technology Management. Currently he is also an adjunct professor at Queensland University of Technology (QUT) working within the BPM group there. His research interests include workflow management, process mining, Petri nets, business process management, process modeling, and process analysis. Wil van der Aalst has published more than one hundred journal papers, fifteen books (as author or editor), and more than two hundred conference/workshop publications. Many of his papers are highly cited (his H-number is 49 according to Google Scholar) and his ideas have influenced researchers, software developers, and standardization committees working on process support. He has been a co-chair of many conferences including the Business Process Management conference, the International Conference on Cooperative Information Systems, the International conference on the Application and Theory of Petri Nets, and the IEEE International Conference on Services Computing. He is also editor/member of the editorial board of several journals, including the Business Process Management Journal, the International Journal of Business Process Integration and Management, the International Journal on Enterprise Modelling and Information Systems Architectures, Computers in Industry, IEEE Transactions on Services Computing, Lecture Notes in Business Information Processing, and Transactions on Petri Nets and Other Models of Concurrency.
For more information about his work visit: www.workflowpatterns.com, www.workflowcourse.com, www.processmining.org, www.yawl-system.com, www.wvdaalst.com.
Tutorial 4: Software as a Service (SaaS):
Security Strategy, Risk Management, Static Analysis and Assessment Tool
Patrick C. K. Hung, University of Ontario Institute of Technology (UOIT), Canada
Wendy Hui, College of Information Technology, Zayed University, Abu Dhabi, U.A.E
Abstract:
Software as a Service (SaaS) is an emerging software design, implementation and delivery model. The
main property of SaaS is that the software requesters do not own the software itself but rather use it through
an Application Programming Interface (API) accessible over the Web. The software providers own the
software and SaaS is generally priced on a per-user basis, sometimes with a minimum number of users.
Since 1998, the Extensible Markup Language (XML) has become a fundamental platform to build
technologies on the Web. XML is used to represent fine-grained data that originates in repositories in
machine readable format by providing structure and the possibility of adding type information. A Web
service is a software system that supports interoperable application-to-application interaction over the Web.
Web services are fundamentally based on a set of XML standards, such as Web Services Description
Language (WSDL), Simple Object Access Protocol (SOAP), and Universal Description, Discovery and
Integration (UDDI). Each service makes its functionality available through well-defined or standardized
XML-format API. The result of this approach is called Service-Oriented Architecture (SOA). XML is
playing an important role in the data transport protocol for Web services. Web services are becoming
widely deployed to implement SaaS. These new SaaSs and SOAs with a new set of protocols bring a new
set of security challenges such as confidentiality, integrity, anonymity, authentication, authorization and
availability. As security has become an essential component for all software, several security solutions for XML data have been proposed. In addition to security issues, survivability requires SaaS in a service
overlay network to be able to fulfill their missions in a timely manner, even in the presence of attacks,
threats, or failures due to unreliable communication channels. Because of the severe consequences of
failure, software requesters are focusing on SaaS survivability as a key risk management strategy for
businesses.
Technically this tutorial will review the topics of XML and a portfolio of related standards, such as
Document Type Definitions (DTD), XML Style Sheets (XSLT), XML Path Language (XPath), Extensible
HyperText Markup Language (XHTML) and XML Schemas, in response to the growing need for a
platform independent language for supporting SaaS design, implementation and delivery. This tutorial aims
to present and discuss various security issues of SaaS. This tutorial will cover the fundamental concepts of
security strategy and risk management from the managerial perspectives of SaaS. This tutorial will discuss
security risks and related security issues in SaaS. Strategy and policy topics on how to find the right
balance between security and usability will be addressed as well as the management of maintaining a
secure SaaS infrastructure. This tutorial will also review the topics of XML security standards, such as
XML Signature, XML Encryption, XML Key Management, WS-Security and SAML, XACML and P3P, in
response to the growing need for a platform independent language for securing SaaS. This tutorial will also
address the common practices and related tools/procedures for addressing those security risks such as static
analysis and assessment tool. A research prototype of security assessment tool by Milescan will also be presented and
demonstrated in the tutorial.
About Speakers:
Dr. Patrick Hung is an Assistant Professor and IT Director at the Faculty of Business and Information Technology in UOIT and an Adjunct Assistant Professor at the Department of Electrical and Computer Engineering in University of Waterloo. Patrick is currently collaborating with Boeing Phantom Works (Seattle, USA) and Bell Canada on security- and privacy-related research projects, and he has filed two US patent applications on "Mobile Network Dynamic Workflow Exception Handling System." In addition, Patrick is also cooperating on Web services composition research projects with Southeast University in China. Patrick has been serving as a panelist of the Small Business Innovation Research and Small Business Technology Transfer programs of the National Science Foundation (NSF) in the States since 2000. He is an executive committee member of the IEEE Computer Society's Technical Steering Committee for Services Computing, a steering member of EDOC "Enterprise Computing," and an associate editor/editorial board member/guest editor in several international journals such as the IEEE Transactions on Services Computing, International Journal of Web Services Research (JWSR) and International journal of Business Process and Integration Management (IJBPIM).
Dr. Wendy Hui holds a Ph.D. in Information Systems from the Hong Kong University of Science and Technology (HKUST). She is currently an Assistant Professor at Zayed University, Abu Dhabi, U.A.E. Her research interests include Economics of Information Systems, Information Security, and Technology-Assisted Learning. Her work has been accepted at Journal of Management Information Systems (JMIS), Decision Support Systems (DSS), IEEE Transactions on Systems, Man and Cybernetics, Part A (IEEE SMCA), and Communication of the AIS (CAIS).
Industry Research Partner: Mr. Steven Siu, Director, Milescan Technologies, Hong Kong
Tutorial 5: Business Entities: Modeling Process and Information
Frederick Wu, IBM T.J. Watson Research Center, US
Santhosh Kumaran, IBM T.J. Watson Research Center, US
Rong Liu, IBM T.J. Watson Research Center, US
Abstract:
In this tutorial, we present a business process and information modeling approach based on our research
results and engagement experiences over the past five years. A business process model describes actions
taken by business (human or system) actors to achieve a strategic or operational goal. Traditionally, most of
the work in this area, like workflow modeling, is activity-centric and focuses on prescribing activities and
their sequences, for example, by stating "first we do A, then B, then C, and while doing C we also do D."
This approach has a number of drawbacks, particularly when the goal is to consolidate business processes
across organizations, generate IT solutions that are in close alignment with business goals, and achieve
desirable features like scalability, flexibility and modularity as business processes become complex and
large.
In response to these challenges, we developed a new modeling paradigm that models process activities in
the context of information entities. Although a business process may involve a large number of information
entities, very often we observe that only a small number of them (for example, the claim in an insurance
claim process) are key drivers of the flow of activities in the process. The business process itself is the path
of these "business entities" through their lifecycles, from their initial states to their final states. Therefore, a
complex process can be viewed as the intersecting life cycles of such entities.
In this tutorial, we will first introduce the concept of business entities and a method for discovering
business entities from existing activity-centric process models. Second, we will describe the modeling of
business entity lifecycles as formal state machines and representing business processes as interacting state
machines. A formal technique for verifying such process models will be also introduced. Third, we will
demonstrate that SOA-based IT solutions can be automatically generated from such business entity models.
Moreover, as this new paradigm has been successfully tested through customer engagements, in this
tutorial, we will select a couple of case studies to show how it was applied to solve real customer problems.
Finally, we will compare this new approach with traditional process modeling approaches and show the
advantages of this approach in achieving process scalability, flexibility and modularity.
About Speakers:
Dr. Rong Liu is a researcher at IBM Thomas J. Watson Research Center. Her research interest includes
entity centric business modeling, process modeling and verification, workflow systems, Petri net
technologies and supply chain management.
Dr. Frederick Wu leads a team of researchers in the area of model-driven enterprise solutions at IBM
Thomas J. Watson Research Center. He has worked in the area of electronic commerce and business
integration for the past nine years. He holds S.B., S.M., and Ph.D. degrees from the Massachusetts Institute
of Technology.
Dr. Santhosh Kumaran leads a team of researchers in the area of model-driven business integration at IBM
Thomas J. Watson Research Center. His research interest is in using formal models to explicitly define the
structure and behavior of an enterprise and employing these models to integrate, monitor, analyze, and
improve its performance.
Tutorial 6: Enterprise Service Architectures
Aditya K. Ghose and George Koliadis,
Decision Systems Laboratory,
School of Computer Science and Software Engineering,
University of Wollongong, NSW 2522 Australia.
Abstract:
An exective service architecture helps provide a high-level blueprint of the complexity underlying an enterprise, which can be used by senior management, as well as technical, IT and operational personnel in key decision and change processes. With the growing popularity of the SOA paradigm, and the increasing emphasis on the application of business process management principles, it is becoming increasingly important for organizations to understand their service architectures by answering questions such as what services the enterprise supports, which enterprise actors/units oer these services, which services support cross-enterprise value chains, which processes rely on these services, which processes implement these services, which of these are critical to realizing enterprise goals, which services are redundant etc. This tutorial presents the current state-of-the-art in enterprise service architectures and explores a set of novel approaches to the problem. The tutorial will begin by exploring a competence theory for enterprise service architectures, by discussing the key questions that such enterprise service architectures must help answer. An initial competence theory will be presented based on the existing lliterature. Attendees will be encouraged to identify and discuss gaps, if any, in the competency theory presented. A wide repertoire of frameworks that can serve as the basis for enterprise service architectures will then be reviewed. These include Porter's Value Chain model (subequently implemented in VCOR and extended to the Value Network model), Kaplan and Norton's Strategy Maps, the Business Motivation Model (BMM), the ARIS House of Business Engineering (HOBE) architecture, the Business Process Architecture Framework (BPAF) and Role-Activity Diagrams. More research-oriented frameworks such as i*, e3 Value, the Semantic Object Model (SOM) and the Toronto Virtual Enterprise Ontology (TOVE) will also be examined in detail. Each of these (and others) will be evaluated against the competence theory discussed above. Gaps in functionality will be highlighted, and will form the basis for motivating a new set of frameworks for enterprise service architectures that support a variety of techniques for relating service and process portfolios to enterprise models.
About Speakers:
Aditya Ghose is a Professor in the School of Computer Science and Software Engineering at the University of Wollongong, and Director of that university's Decision Systems Lab. He holds PhD and MSc degrees in Computing Science from the University of Alberta, Canada (he also spent parts of his PhD candidature at the Beckman Institute, University of Illinois at Urbana Champaign and the University of Tokyo) and a Bachelor of Engineering degree in Computer Science and Engineering from Jadavpur University, Kolkata, India. While at the University of Alberta, he received the Jerey Sampson Memorial Award. . His research is (or has been) funded by the Australian Research Council, the Canadian Natural Sciences and Engineering Research Council, the Japanese Institute for Advanced Information Technology (AITEC) and various Australian government agencies as well as companies such as Bluescope Steel, CSC, Holocentric and Pillar Administration. His research has been published in the top venues in service-oriented computing (SCC and ICSOC), software modelling (ER), software evolution (IWSSD, IWPSE) and AI (AAAI, AAMAS and ECAI). He has an invited speaker at the Schloss Dagstuhl Seminar Series in Germany and the Ban International Research Station in Canada. He also been a keynote speaker at several conferences, and program/general chair of several others. He is a senior technical advisor to several companies both in Australia and Canada.
George Koliadis holds a BSc Honours from the University of Wollongong, and is currently in his PhD candidature at this institution. He has previously worked
on large-scale software engineering projects for the Australian Taxation Oce, and as a researcher for a collaborative research centre in Sydney, Australia. He as served as a reviewer for workshops and conferences in the areas of service and process engineering (SOPOSE, WS-FM), digital ecosystems (IEEE-DEST),
and multi-agent systems (PRIMA), and is currently the organizing/publicity chair the SOPOSE series of workshops. His research and applied interests include Business Process Management, Conceptual Modeling, and Requirements Engineering.
|