Acta Univ. Agric. Silvic. Mendelianae Brun. 2005, 53(3), 117-126 | DOI: 10.11118/actaun200553030117
Konzistence podnikových procesů vyjádřenÁ formálním aparátem transakcí
- Ústav informatiky, Mendelova zemědělská a lesnická univerzita v Brně, Zemědělská 1, 613 00 Brno, Česká republika
V příspěvku je uvedena původní formalizace pojetí komplexní transakce (sekvence objektové spolupráce) a její cesty. Podnikové procesy jsme nahradili pomocí transakcí a převedli jsme konzistenci procesů na konzistenci transakcí. Zavedli jsme pojmy "průchod cestou", "proveditelnost cesty" a formulovali podmínky, na základě kterých jsou problémy "průchod" a "proveditelnost" rozhodnutelné. Je zavedena korektnost cesty, když je cesta průchozí a realizovatelná. Na základě korektnosti všech cest dané transakce je tato prohlášena za korektní a tedy bezesporná. Verifikace komplexní transakce je navržena v interakci s analytikem, protože řešení obou systémů Hα(qi) a Nα(fi) pro všechny cesty transakce je obecně velmi obtížné. Ukazuje se také, jak pomoci analytikům při verifikaci sjednoceného modelu transakcí a kolekce diagramů stavů tříd pomocí užitečného testeru.
Všechny uvedené aspekty podnikového modelování jsme uvažovali pouze na abstraktní úrovni. Použitelnost výsledků pro podnik je zřejmá. Aby podnik pracoval optimálně, musí pracovat jeho podnikové procesy optimálně. Aby byl podnikový proces korektní a optimální, musí být korektní všechny transakce, ze kterých se skládá, musí být průchodné a proveditelné. Ve většině případech jsou procesy automatizované, podporované informačními technologiemi a aplikačním softwarem. Pokud má být tato softwarová podpora účinná a implementovaný systém správný, je nezbytné, aby byl analyzován a navržen v kontextu výše popsaných doporučení a otestován pomocí vhodné testovací báze dat.
diagramy objektové spolupráce, logika objektové spolupráce, proveditelnost procesu, transakce, elementární transakce, cesta transakce, stavové formule transakce, stavový diagram
Enterprise process consistency expressed by a formal description of transactions
Using a progressive Information Technology for development of Software Modules for Enterprise Information Systems brings a lot of practical and theoretical problems. One of them is a verification of results achieved in Life Cycle Stages. Object Oriented Analysis has the main position in the Object Life Cycle of Information Systems. It gives fundamental diagrams that will be processed in the Design and Implementation phases. We mention diagrams for enterprise processes and their refining to enterprise transaction diagrams. The Unified Modeling Language (UML) has been very often used to enterprise processes and transactions modeling. There is one of very practical and theoretical problems concerning enterprise processes - their internal consistency that can be observed on the level of object transactions. We have in mind such problem as transaction feasibility and object cooperation feasibility in transactions that are strongly bound with states of objects. Therefore, a testing of object complex transactions before their programming appears to be very useful activity.
This article introduces a formal description of the object cooperation logic. Therefore there is defined not only an elementary transaction feasibility but also an elementary object cooperation feasibility. It enables to search the feasibility of certain strings of elementary transactions and elementary object collaborations. One string of elementary transactions is very often regarded as a path. There are found two different systems of state logical equations. The first describes path transaction feasibility and the second path object cooperation feasibility. The functional correctness of any complex transaction is founded on a functional correctness of all its paths.
Keywords: object Cooperation logic, elementary transaction feasibility, state logical equations, elementary object cooperation feasibility, path, path transaction feasibility, path object cooperation feasibility, functional correctness of a path and functional correctness of a complex transaction
Received: December 20, 2004; Published: December 27, 2014 Show citation
| ACS | AIP | APA | ASA | Harvard | Chicago | IEEE | ISO690 | MLA | NLM | Turabian | Vancouver |
References
- RUMBAUGH, J. a kol.: Object - Oriented Modeling and Design. Prentice Hall, 1990.
- BOOCH, G.: Object - Oriented Design with Applications. Redwood City, 1991.
Go to original source... - MIŠOVIČ, M.: Verifikace výsledků objektově orientované analýzy. OBJEKTY'99, Praha, 1999.
- MIŠOVIČ, M.: Functional Correctness of Complex Transactions. MOSIS'2000, Rožnov pod Radhoštěm, 2000.
- RÁBOVÁ, I.: Význam podnikové architektury pro vývoj softwarového systému. Mezinárodní konference Firma a konkurenční prostředí, Brno, 2002, str. 112-124, ISBN 80-7302-036-X.
This is an open access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0), which permits non-comercial use, distribution, and reproduction in any medium, provided the original publication is properly cited. No use, distribution or reproduction is permitted which does not comply with these terms.