http://dl.gi.de/handle/20.500.12116/22334 Thu, 23 Jul 2026 07:00:02 GMT 2026-07-23T07:00:02Z http://dl.gi.de:80/bitstream/id/5d752399-c5b6-48db-85a0-10dbd3e1e2a4/ http://dl.gi.de/handle/20.500.12116/22334 http://dl.gi.de/handle/20.500.12116/22356 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. Mon, 01 Jan 2007 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/22356 2007-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/22354 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. Mon, 01 Jan 2007 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/22354 2007-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/22353 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. Mon, 01 Jan 2007 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/22353 2007-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/22355 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. Mon, 01 Jan 2007 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/22355 2007-01-01T00:00:00Z