Learn More
The concept of a " service template " is used to specify the " topology " (or structure) and " orchestration " (or invocation of management behavior) of IT services. Typically, services are provisioned in an IT infrastructure and their management behavior must be orchestrated in accordance with constraints or policies from there on, for example in order to(More)
WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also introduces the concept of abstract processes: In contrast to their executable siblings, abstract processes are not executable and can have parts where business logic is(More)
Software development requires early and accurate cost estimation in order to enhance likely success. System complexity needs to be measured and then correlated with development e€ort. One of the best known approaches to such measurement-based estimation in the area of Information Systems is Function Point Analysis (FPA). Although it is reasonably well used(More)
Colour sidedness is a dominantly inherited phenotype of cattle characterized by the polarization of pigmented sectors on the flanks, snout and ear tips. It is also referred to as 'lineback' or 'witrik' (which means white back), as colour-sided animals typically display a white band along their spine. Colour sidedness is documented at least since the Middle(More)
The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services – backed by various development and runtime environments of major software companies. Nevertheless , modeling and composing BPEL processes is still a complicated, time and money consuming, and(More)
Workflow graphs are used to model the control flow of business processes in various languages, e.g., BPMN, EPCs and UML activity diagrams. We present techniques for automatic workflow graph refactoring and completion. These techniques enable various use cases in modeling and runtime optimization. For example they allow us to complete a partial workflow(More)
WS-BPEL is the standard for modelling executable business processes. Recently, verification of BPELprocesseshas been an important topic in the research community.While most of the existing approaches for BPELprocessverification merely consider control-flowbased analysis,some actually consider data-flows, butonly in av ery restrictive manner. In this paper,(More)