Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Business process management framework for e-commerce application

Robak S., Pulvermuller E., Speck A., Franczyk B.

Management

2003

Vol. 7, no 1

207-212

In the paper the problems associated with relationship of the new technologies and business processes in the eCommerce domain have been introduced. Proposed solution is a reference model based on ARIS system and it has been adapted for eCommerce domain in Intershop's applications. Modeling and generation tools support pipelines as Intershop specific implementation of workflows.

Procesy biznesowe służą do celów opisu przedsięwzięć mających miejsce w przedsiębiorstwach jak i tych odbywających się pomiędzy przedsiębiorstwami. Ich opis możliwy jest z pomocą struktur organizacyjnych oraz wieloetapowego procesu organizacji pracy współworzących wielowarstwowy ramowy model organizacji. W artykule przedstawiono problemy z zakresu powiązania najnowszych technologii i procesów biznesowych z dziedziny eCommerce. Zaproponowany model referencyjny oparty o system ARIS został zaadaptowany do celów dziedziny tworzenia aplikacji typu eCommerce w firmie Intershop.

Component Composition Validation

Speck A., Pulvermuller E., Jerger M., Franczyk B.

International Journal of Applied Mathematics and Computer Science

2002

Vol. 12, no 4

581-589

Many approaches such as component technologies have been invented in order to support software reuse. Based on these technologies a large variety of techniques have been introduced to connect components. However, there is little experience concerning the validation of component systems. We know how to plug components together, but we do need ways to check whether that works. In this paper we introduce an approach to validating component compositions and showing how such a process can be supported by tools. We introduce a way to compare the interface specification of components automatically against the code. Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions.