Abstract. A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or... more
Abstract. A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or with respect to component’s principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the refinement is represented and validated by concept satisfiability checking. 1
for dissemination) Please fill in the dissemination abstract summary using the ‘abstract’ command.
Research Interests:
Research Interests:
Research Interests: Business, Computer Science, Business Networks, Supply Chain, Future Internet, and 10 moreInteroperability, Enterprise Application Integration, Business Value, Value Creation, Internet of services, Service Delivery, Enterprise System, Enterprise Interoperability, Enterprise Information System, and Enterprise Software
Research Interests:
Research Interests:
With the pervasion of cloud computing, enterprises increasingly rely on ecosystems of distributed, task-oriented, modular, and collaborative cloud services. In order to effectively manage the complexity inherent in such ecosystems,... more
With the pervasion of cloud computing, enterprises increasingly rely on ecosystems of distributed, task-oriented, modular, and collaborative cloud services. In order to effectively manage the complexity inherent in such ecosystems, enterprises are anticipated to depend upon brokerage mechanisms for performing policy-based governance and for recommending optimal services to consumers. Such mechanisms crucially depend upon the existence of a uniform, platform-independent representation of services, consumer preferences, and policies concerning service delivery. In this paper we propose an ontology-based approach to such a representation.
With the pervasion of cloud computing, enterprises increasingly rely on ecosystems of distributed, task-oriented, modular, and collaborative cloud services. In order to effectively manage the complexity inherent in such ecosystems,... more
With the pervasion of cloud computing, enterprises increasingly rely on ecosystems of distributed, task-oriented, modular, and collaborative cloud services. In order to effectively manage the complexity inherent in such ecosystems, enterprises are anticipated to depend upon brokerage mechanisms for performing policy-based governance and for recommending optimal services to consumers. Such mechanisms crucially depend upon the existence of a uniform, platform-independent representation of services, consumer preferences, and policies concerning service delivery. In this paper we propose an ontology-based approach to such a representation.
Research Interests:
Cloud service brokerage leads to creation of ecosystems of highly distributed, task-oriented, modular, and collaborative cloud services managed by a broker. A broker is striving to create optimized cloud service consumption lifecycle in... more
Cloud service brokerage leads to creation of ecosystems of highly distributed, task-oriented, modular, and collaborative cloud services managed by a broker. A broker is striving to create optimized cloud service consumption lifecycle in terms of cost, flexibility and business agility. In order to effectively manage the complexity inherent in such ecosystems, enterprises are anticipated to crucially depend upon cloud service brokerage (CSB) mechanisms. This work focuses on the management of hosting platforms participating in the ecosystem of a cloud service brokerage platform. The hosting platforms are as any other actor of a cloud service brokerage ecosystem evolving over time. The hosting platforms may join or leave the ecosystem, add or remove hosting services to the ecosystem or change characteristics of the available hosting services. The broker is thereby confronted with the issue of keeping its business policy offered to the service providers and service consumers up to date concerning the hosting alternatives in the ecosystem. We present a strategy for derivation of business policies from service descriptions of hosting services. The strategy is showcased in Linked USDL – our chosen technical specification for enabling platform-agnostic data exchanges.
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
ABSTRACT There are various B2B scenarios where many candidate services with the same or similar capability (provided by the same or even different service providers) can be used for enterprise application integration. Hence, a requester... more
ABSTRACT There are various B2B scenarios where many candidate services with the same or similar capability (provided by the same or even different service providers) can be used for enterprise application integration. Hence, a requester driving a B2B integration scenario can choose among several candidate services offering a capability satisfying its requests. However, the optimal choice of the service to be invoked often depends on the parameters of the request at run-time and preferences of the requester. This article describes an approach for a dynamic (at run-time) web service selection based on semantic interpretation of offered service capabilities and the parameters specifying the run-time request. The proposed solution takes into account special conditions on service usage either contractually agreed between requester and provider or specified by the requester without the knowledge of the provider. In general, those conditions restrict the interpretation of the original service capabilities as offered by a service provider (and discovered by the service requester) and influence the choice of a service. The approach is illustrated on an example from the shippercarrier domain.
Research Interests:
The FUSION approach proposes both a conceptual framework and a system architecture that supports the composition of business processes using semantically annotated web services as building blocks. Results will be validated by supporting... more
The FUSION approach proposes both a conceptual framework and a system architecture that supports the composition of business processes using semantically annotated web services as building blocks. Results will be validated by supporting collaborative commercial proof-of-concept pilots. The FUSION approach will facilitate trans-national pilot cases having operations spanning the enlarged Europe, in particular: integration of transactions of a franchising firm, provision of career and human resource management services, collaboration of companies in a chain of schools of foreign languages. The paper provides an overview on the FUSION approach and illustrates how it can be applied on one of the pilot cases.
Abstract We define a high-level model to mathematically capture the semantical meaning of Semantic Web Service Discovery Locations (SWS Discovery Services), their distribution and communication mechanisms. This model captures, to our best... more
Abstract We define a high-level model to mathematically capture the semantical meaning of Semantic Web Service Discovery Locations (SWS Discovery Services), their distribution and communication mechanisms. This model captures, to our best knowledge, all published semantic web service discovery approaches relying on capability-based semantic matchmaking.
Research Interests:
Research Interests:
Business value networks will become increasingly important in the world's economy in the future. Their appropriate IT support must efficiently realize business collaborations between globally spread organizations. The ability to adapt... more
Business value networks will become increasingly important in the world's economy in the future. Their appropriate IT support must efficiently realize business collaborations between globally spread organizations. The ability to adapt to changing market and business requirements together with the ability to reflect the business adaptations on the level of the connected ICT systems constitute key challenges for the support
Research Interests:
Research Interests:
A crucial task in process management is the validation of process renements. A process renement is a process description in a more ne-grained representation. The renement is either with respect to an abstract model or with respect to... more
A crucial task in process management is the validation of process renements. A process renement is a process description in a more ne-grained representation. The renement is either with respect to an abstract model or with respect to component's principle behaviour model. We dene process renement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the renement is represented and validated by concept satisability checking.
Research Interests:
There are various B2B scenarios where many candidate services with the same or similar capability (provided by the same or even different service providers) can be used for integration. Hence, a requester driving a B2B integration... more
There are various B2B scenarios where many candidate services with the same or similar capability (provided by the same or even different service providers) can be used for integration. Hence, a requester driving a B2B integration scenario can choose among several candidate services offering a capability of satisfying the request. However, the opti- mal choice of the service to be
Research Interests:
Research Interests:
In this tutorial, we compare OWL-DL reasoning and Petri net analysis for validating refinement and grounding of business processes. (1) Process refinement: Like in software engineering, the implementation of a business process involves... more
In this tutorial, we compare OWL-DL reasoning and Petri net analysis for validating refinement and grounding of business processes. (1) Process refinement: Like in software engineering, the implementation of a business process involves different interacting roles, such as business expert, analyst, process architect, and developer. Each role designs and refines different abstractions of the process until it is sufficiently refined. It is important to verify that the process models of the different abstractions are consistent. (2) Process grounding: A sufficiently refined process has to be mapped on existing IT systems. Ideally, IT systems consist of components with a semantic annotation of their behavior. The most specific process must respect all IT systems’ behaviors. Formally capturing process semantics enables to check automatically for consistent process refinement and grounding. The classic application of semantic techniques in the area of static models is well understood. The analysis of business processes deals with dynamics. Modeling dynamics is a challenge for current approaches of semantic Web services. We compare advantages and shortcomings of Petri net analysis and description logic (DL) reasoning for refinement and grounding validation.
Research Interests:
Research Interests:
Research Interests:
Process models are important artefacts in software development. In software engineer, it is a common practice to produce complex process models from simpler ones. This procedure can be realised by refinement, in which an engineer refines... more
Process models are important artefacts in software development. In software engineer, it is a common practice to produce complex process models from simpler ones. This procedure can be realised by refinement, in which an engineer refines an abstract process into a specific one based on more detailed knowledge about the application. Activities in the abstract process can be decomposed and reorganized in the specific process. Such a procedure can be repeated, by the same or different engineers, to obtain more and more ...
Es gibt eine Vielzahl von unterschiedlichen Konzepten und Geschaftsmo- dellen, die die elektronische Einbindung sowohl von Kunden als auch von Geschafts- partnern in Geschaftsprozesse ermoglichen. Diese Konzepte werden durch offene,... more
Es gibt eine Vielzahl von unterschiedlichen Konzepten und Geschaftsmo- dellen, die die elektronische Einbindung sowohl von Kunden als auch von Geschafts- partnern in Geschaftsprozesse ermoglichen. Diese Konzepte werden durch offene, verteilte und interoperable IT-Systeme realisiert, die aus einer Vielzahl weitgehend autonom agierender Komponenten bestehen. Die Betreiber der einzelnen Komponen- ten sind in der Regel nur fur die Sicherheit der eigenen
ABSTRACT We discuss our experience in use of models and model-driven techniques for developing large business applications. Benefits accrued and limitations observed are highlighted. We describe possible means of overcoming some of the... more
ABSTRACT We discuss our experience in use of models and model-driven techniques for developing large business applications. Benefits accrued and limitations observed are highlighted. We describe possible means of overcoming some of the limitations and experience thereof. A case for shift in focus of model driven engineering (MDE) community in the context of large enterprises is argued. Though emerging from a specific context, we think, the takeaways from this experience may have a more general appeal for MDE practitioners, tool vendors and researchers.
Research Interests:
ABSTRACT In this chapter, we conclude Part I with several industrial case studies for motivating consistency-preserving software development. Many of these case studies will be revisited in later chapters, in particular Chaps. 9 and 10.... more
ABSTRACT In this chapter, we conclude Part I with several industrial case studies for motivating consistency-preserving software development. Many of these case studies will be revisited in later chapters, in particular Chaps. 9 and 10. Many of the solutions are based on the scalable reasoning technologies to be introduced in Chap. 5. The rest of this chapter is organised as follows. Section. 4.1 shows which problems companies meet when they want to specify correct and consistent domain models of telecommunication device configurations. Another case study (Sect. 4.2) treats consistency preservation for behavioural models (process models). In business process refinement, the more concrete, refined processes have to conform to the abstract business processes the consultant specified. Showing this form of consistency of refinement is not easy for the process architect, as it turns out. Section 4.3 presents the problem of consistency of product lines, their correct modelling of their variant spaces and the consistent selection of their variants.