http://dl.gi.de/handle/20.500.12116/22334 2026-07-23T12:13:12Z 2026-07-23T12:13:12Z Vidal, Juan C. Lama, Manuel Bugarín, Alberto http://dl.gi.de/handle/20.500.12116/22356 2019-05-15T08:27:24Z 2007-01-01T00:00:00Z

Service-Oriented Architecture for Knowledge-enriched Workflows Modelling and Execution Vidal, Juan C.; Lama, Manuel; Bugarín, Alberto Abramowicz, Witold; Maciaszek, Leszek This work presents a Service-Oriented Architecture that supports the man- agement, execution and monitoring of knowledge-enriched workflows. This archi- tecture is based (i) on a framework that allows the specification of workflows from knowledge components; and (ii) on the interfaces that are defined in the workflow reference model proposed by the Workflow Management Coalition.

2007-01-01T00:00:00Z Frankowski, Jacek Rubach, Paweł Szczekocka, Ewelina http://dl.gi.de/handle/20.500.12116/22354 2019-05-15T08:27:23Z 2007-01-01T00:00:00Z

Collaborative Ontology Development in Real Telecom Environment Frankowski, Jacek; Rubach, Paweł; Szczekocka, Ewelina Abramowicz, Witold; Maciaszek, Leszek In this paper, we discuss the use of ontologies for semantic business process management. In particular, we address system and process integration challenges encountered in the real world, based on the example of the telecom domain: Internet-based telephony service (Voice over IP). Various aspects of ontology development are covered including relations to industry standards, ontology creation methodology and practice determined by telecom-specific aspects. Based on the use case example and the YATOSP framework, we ar-gue that the economical justification of the development of domain ontologies, due to their complexity and numerous dependencies, is not straightforward.

2007-01-01T00:00:00Z Speck, Andreas http://dl.gi.de/handle/20.500.12116/22353 2019-05-15T08:27:23Z 2007-01-01T00:00:00Z

Business Process Validation Speck, Andreas Abramowicz, Witold; Maciaszek, Leszek Business processes and workflows are crucial elements in the design and development of commercial systems, such as enterprise resource planning (ERP) or e-commerce systems and many more. Despite their important role there are little means to ensure the correctness of these processes and workflows as well as consistency between them. In contrast to other verification problems the semantics of business processes to be checked are less explicit and formalised. Nevertheless the processes and workflows have to be considered as highly complex and are consisting in most cases out of a very large number of sub- processes which are very hard to be overlooked manually. Means for ensuring the quality of business processes may be business rules and guidelines driven by experience and domain knowledge. Adequate models for static dependencies and dynamic behaviour and modelling tools help capturing the important semantics. Verification technology like model checking will support the quality assurance.

2007-01-01T00:00:00Z Gruber, Jacek Brzozowski, Tomasz http://dl.gi.de/handle/20.500.12116/22355 2019-05-15T08:27:23Z 2007-01-01T00:00:00Z

A Native Approach to Service Oriented Modeling and Implementing of Business Processes Gruber, Jacek; Brzozowski, Tomasz Abramowicz, Witold; Maciaszek, Leszek For the last few years Sybase Company [SYB] proved its commitment to improving business modeling by creating integrated infrastructure for modeling enterprise businesses. Thanks to the incorporation of Service Oriented Architecture (SOA), Web services and business process execution languages, Sybase has significantly extended business modeling in almost every direction. This article is intended to provide a short survey of Sybase approach, examining its usage and related key aspects - among them: defining static and dynamic view of business organization, implementing business processes by specifying external services and deploying processes to a target execution platform, which allows orchestration and execution simulation.

2007-01-01T00:00:00Z