[overlord-commits] Overlord SVN: r432 - in cdl/trunk/docs/docbook: userguide/src/main/module and 1 other directory.

Author: objectiser Date: 2008-11-11 05:29:23 -0500 (Tue, 11 Nov 2008) New Revision: 432 Modified: cdl/trunk/docs/docbook/gettingstartedguide/src/main/module/soagwithcdl.xml cdl/trunk/docs/docbook/userguide/src/main/module/overview.xml Log: Moved the summary information back from the Getting Started Guide to the User Guide where it was originally. The information in the Getting Started Guide needs to be elaborated, so this text should still provide a good enough summary for the User Guide. Modified: cdl/trunk/docs/docbook/gettingstartedguide/src/main/module/soagwithcdl.xml =================================================================== --- cdl/trunk/docs/docbook/gettingstartedguide/src/main/module/soagwithcdl.xml 2008-11-11 09:36:40 UTC (rev 431) +++ cdl/trunk/docs/docbook/gettingstartedguide/src/main/module/soagwithcdl.xml 2008-11-11 10:29:23 UTC (rev 432) @@ -3,208 +3,5 @@ ]> <chapter id="soagwithcdl"> <title>SOA Governance with CDL </title> - <section> - <title>Overview</title> - <para> - The CDL component of the Overlord SOA governance project aims to leverage the concept of a choreography (or conversation) - description to provide design-time and run-time governance of an SOA. - </para> - <para> - A Choreography provides the means to describe the service interactions between multiple parties from a global (or service neutral) perspective. - This means that it is possible for an organisation to define how an end-to-end business process should function, regardless of whether orchestrated - or peer-to-peer service collaboration will be used. - </para> - <para> - Although in simple situations, a BPEL process description can provide a description of the interactions between multiple services, this only works where a - single orchestrating process is in control. The benefit of the choreography description is that it can be used to provide a global view of a process across multiple - orchestrated service domains. - </para> - <para> - This document will outline how the Choreography Description is being used as part of Project Overlord to provide SOA governance capabilities - for each phase of the SOA lifecycle. - </para> - <para> - When a validated design has been approved by the users, it can be used to generate an initial skeleton of the implementation for each service. - The current version of Overlord enables a skeleton implementation to be generated as a JBossESB service configuration file, - using 'conversation aware' ESB actions. For more information on these, please see the “Conversational ESB User Guide”. - </para> - </section> - - <section> - <title>WS-CDL</title> - - <para> -WS-CDL, or Web Service Choreography Description Language, is a candidate recommendation from W3C. Although associated with W3C and Web Services, it is important to begin by stating that the Choreography Description Language (CDL) is <emphasis role="bold">not</emphasis> web service specific. - </para> - <para> -The purpose of CDL is to enable the interactions between a collection of peer to peer services to be described from a neutral (or global) perspective. This is different to other standards, such as WS-BPEL, that describe interactions from a service specific viewpoint. - </para> - <para> -In essence a choreography description declares roles which will pass messages between each other, called interactions. The interactions are ordered based on a number of structuring mechanism which enables loops, conditional, choices and parallelism to be described. In CDL variables used for messages and for conditionals are all situated at roles. There is no shared state rather there is a precise description of the state at each role and a precise description of how these roles interact in order to reach some notion of common state in which information is exchanged and processed between them. - </para> - <para> -In CDL we use interactions and these structuring mechanisms to describe the observable behaviour, the messages exchanges and the rules for those exchanges and any supporting observable state on which they depend, of a system. - </para> - </section> - - <section> - <title>pi4soa</title> - <para> -<emphasis>pi4soa</emphasis> is an open source project established to demonstrate the potential benefits that a global model (as described using CDL) can provide when building an SOA. The open source project is managed by the Pi4 Technologies Foundation, which is a collaboration between industry and academia. - </para> - <para> -Building complex distributed systems, without introducing unintended consequences, is a real challenge. Although the Choreography Description Language provides a means of describing complex systems at a higher level, and therefore help to reduce such complexity, it does not necessarily guarantee that erronous situations cannot occur due to inappropriately specified interactions. The research, being carried out by members of the Pi4 Technologies Foundation, into the global model and endpoint projection is targeted at identifying potential unintended consequences, to ensure that a global description of a system can be reliably executed and can be free from unintended consequences. - </para> - <para> -The tool suite currently offers the ability to: - </para> - <para> - <itemizedlist> - <listitem> - Define a choreography description - </listitem> - <listitem> - Export the description to a range of other formats, such as BPMN, UML activity/state/sequence models, and HTML - </listitem> - <listitem> - Define scenarios (equivalent to sequence diagrams), with example messages, which can then be simulated against an associated choreography - </listitem> - <listitem> - Generate template endpoint implementations: - <para> - <itemizedlist> - <listitem> - WS-BPEL for deployment in ActiveBPEL - </listitem> - <listitem> - Java stubs for execution with the pi4soa state machine, with deployment options for Apache Axis, J2EE (JBoss, Glassfish) and JBoss ESB - </listitem> - </itemizedlist> - </para> - </listitem> - </itemizedlist> - </para> - </section> - - <section> - <title> SOA Lifecycle Governance </title> - - <section> - <title>Design Time Governance</title> - <para> - Design-time governance is concerned with ensuring that the resulting system correctly implements requirements (whether functional or non-functional). - A choreography description can be used to ensure that the implemented system meets the behavioural requirements. - </para> - <para> - The behavioural requirements can be captured as a collection of scenarios (e.g. sequence diagrams) with associated example messages. - This enables an unambiguous representation of the business requirements to be stored in a machine processable form, which can subsequently - be used to validate other phases of the SOA lifecycle. - </para> - <para> - Once the choreography description for the SOA has been defined, it can be validated against the scenarios, - to ensure that the choreography correctly handles all of the business requirements. - </para> - <para> - Once the service enters the implementation phase, it is important to ensure that it continues to adhere to the design - and therefore meets the business requirements. Currently this is achieved through the use of techniques such as continuous testing. - However this is only as reliable as the quality of the unit tests that have been written. - </para> - <para> - When a 'structured' implementation language has been used, such as WS-BPEL, jPDL or the new 'conversation aware' ESB actions, - it will be possible to infer the behaviour of the service being implemented, to compare it against the choreography description. - Currently this has been implemented for the “conversation aware” ESB actions, and is demonstrated using the samples in this Overlord-CDL distribution. - </para> - <para> - Detecting incorrectly implemented behaviour at the earliest possible time saves on downstream costs associated with finding and fixing errors. - By using static validation against the original design, it ensures that the implemented service will deliver its expected behaviour first time. - This is important in building large scale SOAs where different services may be implemented in different locations. - </para> - <para> - There are two other areas where a choreography description can be used as part of design-time governance, - that are not currently implemented in Overlord: - </para> - <itemizedlist> - <listitem> - Service lookup – the choreography description can be used to determine if a service already exists in the Service Repository that meets the appropriate behavioural requirements. - </listitem> - <listitem> - Service unit testing - this can be achieved using the scenarios originally specified to document the behavioural requirements. - Rather than develop an independent source of test data, the scenarios can be used to validate the sequence of messages sent to, - and received from, a service, as well as validating the contents of the messages returned from the service under test. - </listitem> - </itemizedlist> - </section> - - <section> - <title>Runtime Governance</title> - <para> - Runtime governance ensures that the SOA executes as expected according to predefined policies. In this context, a choreography description can be used in two ways. - </para> - - <section> - <title> Service validator</title> - <para> - The choreography description represents the interactions between multiple services to deliver a business goal. - To validate the behaviour of each individual service, within the choreography description, the behaviour of each service can be derived from the choreography. - </para> - <para> - The derived behaviour (or “endpoint projection”) of a service can be used within a 'service validator' to monitor the inbound and outbound messages for the service, - to ensure they conform to the expected behaviour. - If an invalid message is detected, it would be possible to block it, to prevent it from causing subsequent problems in downstream systems. - The error can also be reported to a central management capability. - </para> - <para> - The CDL component of Overlord provides the ability to configure service validators to monitor the behaviour of individual services. - An enhanced version of the JBossESB trailblazer example has been included, with the appropriate validator configuration, to demonstrate this mechanism. - </para> - </section> - - <section> - <title>Process correlation</title> - <para> - Validating each service locally can enable errors to be detected quickly, - and the effects of the error prevented from contaminating other systems by blocking the erroneous messages. - </para> - <para> - However local service specific validation may not be adequate to identify errors that would affect the end-to-end business process. - Therefore the message activity at each service validator can be reported to a central 'process correlation engine' which can reconstitute a global view of the business transaction, - and determine if it matches the expected behaviour as defined in the choreography description. - </para> - <para> - The benefit of a correlated global view of the distributed business transaction is that it can be further analysed to ensure other governance polices have been followed – e.g. SLAs. - </para> - <para> - The pi4soa tool suite includes a simple GUI based monitoring tool to display the information obtained from correlating message events associated with individual services. - The trailblazer example has been written to cause out of sequence messages under certain circumstances. See the “Samples Guide” for more information on how to run this example. - </para> - </section> - </section> - </section> - - <section> - <title> First Steps </title> - <para>The first step will be to follow the instructions in the next chapter to install Overlord. </para> - <para> Once installed, the next step should be to try out the examples in the samples folder. The examples consistent of:</para> - <itemizedlist> - <listitem> - Service Validation related examples - <para> - The samples folder contains an enhanced version of the trailblazer example from the JBossESB, with the addition of a File Based Bank, and message content including a conversation id to enable the messages to be correlated with a specific session. - </para> - </listitem> - <listitem> - Conversation aware ESB actions, with conformance checking against Choreography - <para> - Two examples have been included, one simple example (purchasing) and the other more advanced (brokerage). Both relate to the business process of purchasing items. The second example introduces the concept of a broker to act on behalf of the customer, interacting with multiple potential suppliers. - </para> - <para> - These examples show how a service implementation (built using “conversation aware ESB actions” in this case), can be continuously checked for conformance against a choreography description. - </para> - <para> - The final step should be to review the other documents in the docs folder to understand more about each capability, and then try using the techniques on your own project. - </para> - </listitem> - </itemizedlist> - </section> </chapter> Modified: cdl/trunk/docs/docbook/userguide/src/main/module/overview.xml =================================================================== --- cdl/trunk/docs/docbook/userguide/src/main/module/overview.xml 2008-11-11 09:36:40 UTC (rev 431) +++ cdl/trunk/docs/docbook/userguide/src/main/module/overview.xml 2008-11-11 10:29:23 UTC (rev 432) @@ -4,5 +4,204 @@ <chapter id="overview"> <title>Overview</title> - + <para> + The CDL component of the Overlord SOA governance project aims to leverage the concept of a choreography (or conversation) + description to provide design-time and run-time governance of an SOA. + </para> + <para> + A Choreography provides the means to describe the service interactions between multiple parties from a global (or service neutral) perspective. + This means that it is possible for an organisation to define how an end-to-end business process should function, regardless of whether orchestrated + or peer-to-peer service collaboration will be used. + </para> + <para> + Although in simple situations, a BPEL process description can provide a description of the interactions between multiple services, this only works where a + single orchestrating process is in control. The benefit of the choreography description is that it can be used to provide a global view of a process across multiple + orchestrated service domains. + </para> + <para> + This document will outline how the Choreography Description is being used as part of Project Overlord to provide SOA governance capabilities + for each phase of the SOA lifecycle. + </para> + <para> + When a validated design has been approved by the users, it can be used to generate an initial skeleton of the implementation for each service. + The current version of Overlord enables a skeleton implementation to be generated as a JBossESB service configuration file, + using 'conversation aware' ESB actions. For more information on these, please see the “Conversational ESB User Guide”. + </para> + + <section> + <title>WS-CDL</title> + + <para> +WS-CDL, or Web Service Choreography Description Language, is a candidate recommendation from W3C. Although associated with W3C and Web Services, it is important to begin by stating that the Choreography Description Language (CDL) is <emphasis role="bold">not</emphasis> web service specific. + </para> + <para> +The purpose of CDL is to enable the interactions between a collection of peer to peer services to be described from a neutral (or global) perspective. This is different to other standards, such as WS-BPEL, that describe interactions from a service specific viewpoint. + </para> + <para> +In essence a choreography description declares roles which will pass messages between each other, called interactions. The interactions are ordered based on a number of structuring mechanism which enables loops, conditional, choices and parallelism to be described. In CDL variables used for messages and for conditionals are all situated at roles. There is no shared state rather there is a precise description of the state at each role and a precise description of how these roles interact in order to reach some notion of common state in which information is exchanged and processed between them. + </para> + <para> +In CDL we use interactions and these structuring mechanisms to describe the observable behaviour, the messages exchanges and the rules for those exchanges and any supporting observable state on which they depend, of a system. + </para> + </section> + + <section> + <title>pi4soa</title> + <para> +<emphasis>pi4soa</emphasis> is an open source project established to demonstrate the potential benefits that a global model (as described using CDL) can provide when building an SOA. The open source project is managed by the Pi4 Technologies Foundation, which is a collaboration between industry and academia. + </para> + <para> +Building complex distributed systems, without introducing unintended consequences, is a real challenge. Although the Choreography Description Language provides a means of describing complex systems at a higher level, and therefore help to reduce such complexity, it does not necessarily guarantee that erronous situations cannot occur due to inappropriately specified interactions. The research, being carried out by members of the Pi4 Technologies Foundation, into the global model and endpoint projection is targeted at identifying potential unintended consequences, to ensure that a global description of a system can be reliably executed and can be free from unintended consequences. + </para> + <para> +The tool suite currently offers the ability to: + </para> + <para> + <itemizedlist> + <listitem> + Define a choreography description + </listitem> + <listitem> + Export the description to a range of other formats, such as BPMN, UML activity/state/sequence models, and HTML + </listitem> + <listitem> + Define scenarios (equivalent to sequence diagrams), with example messages, which can then be simulated against an associated choreography + </listitem> + <listitem> + Generate template endpoint implementations: + <para> + <itemizedlist> + <listitem> + WS-BPEL for deployment in ActiveBPEL + </listitem> + <listitem> + Java stubs for execution with the pi4soa state machine, with deployment options for Apache Axis, J2EE (JBoss, Glassfish) and JBoss ESB + </listitem> + </itemizedlist> + </para> + </listitem> + </itemizedlist> + </para> + </section> + + <section> + <title> SOA Lifecycle Governance </title> + + <section> + <title>Design Time Governance</title> + <para> + Design-time governance is concerned with ensuring that the resulting system correctly implements requirements (whether functional or non-functional). + A choreography description can be used to ensure that the implemented system meets the behavioural requirements. + </para> + <para> + The behavioural requirements can be captured as a collection of scenarios (e.g. sequence diagrams) with associated example messages. + This enables an unambiguous representation of the business requirements to be stored in a machine processable form, which can subsequently + be used to validate other phases of the SOA lifecycle. + </para> + <para> + Once the choreography description for the SOA has been defined, it can be validated against the scenarios, + to ensure that the choreography correctly handles all of the business requirements. + </para> + <para> + Once the service enters the implementation phase, it is important to ensure that it continues to adhere to the design + and therefore meets the business requirements. Currently this is achieved through the use of techniques such as continuous testing. + However this is only as reliable as the quality of the unit tests that have been written. + </para> + <para> + When a 'structured' implementation language has been used, such as WS-BPEL, jPDL or the new 'conversation aware' ESB actions, + it will be possible to infer the behaviour of the service being implemented, to compare it against the choreography description. + Currently this has been implemented for the “conversation aware” ESB actions, and is demonstrated using the samples in this Overlord-CDL distribution. + </para> + <para> + Detecting incorrectly implemented behaviour at the earliest possible time saves on downstream costs associated with finding and fixing errors. + By using static validation against the original design, it ensures that the implemented service will deliver its expected behaviour first time. + This is important in building large scale SOAs where different services may be implemented in different locations. + </para> + <para> + There are two other areas where a choreography description can be used as part of design-time governance, + that are not currently implemented in Overlord: + </para> + <itemizedlist> + <listitem> + Service lookup – the choreography description can be used to determine if a service already exists in the Service Repository that meets the appropriate behavioural requirements. + </listitem> + <listitem> + Service unit testing - this can be achieved using the scenarios originally specified to document the behavioural requirements. + Rather than develop an independent source of test data, the scenarios can be used to validate the sequence of messages sent to, + and received from, a service, as well as validating the contents of the messages returned from the service under test. + </listitem> + </itemizedlist> + </section> + + <section> + <title>Runtime Governance</title> + <para> + Runtime governance ensures that the SOA executes as expected according to predefined policies. In this context, a choreography description can be used in two ways. + </para> + + <section> + <title> Service validator</title> + <para> + The choreography description represents the interactions between multiple services to deliver a business goal. + To validate the behaviour of each individual service, within the choreography description, the behaviour of each service can be derived from the choreography. + </para> + <para> + The derived behaviour (or “endpoint projection”) of a service can be used within a 'service validator' to monitor the inbound and outbound messages for the service, + to ensure they conform to the expected behaviour. + If an invalid message is detected, it would be possible to block it, to prevent it from causing subsequent problems in downstream systems. + The error can also be reported to a central management capability. + </para> + <para> + The CDL component of Overlord provides the ability to configure service validators to monitor the behaviour of individual services. + An enhanced version of the JBossESB trailblazer example has been included, with the appropriate validator configuration, to demonstrate this mechanism. + </para> + </section> + + <section> + <title>Process correlation</title> + <para> + Validating each service locally can enable errors to be detected quickly, + and the effects of the error prevented from contaminating other systems by blocking the erroneous messages. + </para> + <para> + However local service specific validation may not be adequate to identify errors that would affect the end-to-end business process. + Therefore the message activity at each service validator can be reported to a central 'process correlation engine' which can reconstitute a global view of the business transaction, + and determine if it matches the expected behaviour as defined in the choreography description. + </para> + <para> + The benefit of a correlated global view of the distributed business transaction is that it can be further analysed to ensure other governance polices have been followed – e.g. SLAs. + </para> + <para> + The pi4soa tool suite includes a simple GUI based monitoring tool to display the information obtained from correlating message events associated with individual services. + The trailblazer example has been written to cause out of sequence messages under certain circumstances. See the “Samples Guide” for more information on how to run this example. + </para> + </section> + </section> + </section> + + <section> + <title> First Steps </title> + <para>The first step will be to follow the instructions in the Getting Started Guide to install Overlord. </para> + <para> Once installed, the next step should be to try out the examples in the samples folder. The examples consistent of:</para> + <itemizedlist> + <listitem> + Service Validation related examples + <para> + The samples folder contains an enhanced version of the trailblazer example from the JBossESB, with the addition of a File Based Bank, and message content including a conversation id to enable the messages to be correlated with a specific session. + </para> + </listitem> + <listitem> + Conversation aware ESB actions, with conformance checking against Choreography + <para> + Two examples have been included, one simple example (purchasing) and the other more advanced (brokerage). Both relate to the business process of purchasing items. The second example introduces the concept of a broker to act on behalf of the customer, interacting with multiple potential suppliers. + </para> + <para> + These examples show how a service implementation (built using “conversation aware ESB actions” in this case), can be continuously checked for conformance against a choreography description. + </para> + <para> + The final step should be to review all of the documents in the docs folder to understand more about each capability, and then try using the techniques on your own project. + </para> + </listitem> + </itemizedlist> + </section> </chapter>