| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - V příspěvku je uvedena původní formalizace pojetí komplexní transakce (sekvence objek-tové spolupráce) a její cesty. Podnikové procesy jsme nahradili pomocí transakcí a převedli jsme konzistenci procesů na konzistenci transakcí. Zavedli jsme pojmy %22průchod cestou%22, %22proveditelnost cesty%22 a formulovali podmínky, na základě kterých jsou problémy %22průchod%22 a %22proveditelnost%22 rozhodnutelné. Je zavedena korektnost cesty, když je cesta průchozí a rea-lizovatelná. 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ů Ha(qi) a Na(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 ko-lekce diagramů stavů tříd pomocí užitečného testeru.
- V příspěvku je uvedena původní formalizace pojetí komplexní transakce (sekvence objek-tové spolupráce) a její cesty. Podnikové procesy jsme nahradili pomocí transakcí a převedli jsme konzistenci procesů na konzistenci transakcí. Zavedli jsme pojmy %22průchod cestou%22, %22proveditelnost cesty%22 a formulovali podmínky, na základě kterých jsou problémy %22průchod%22 a %22proveditelnost%22 rozhodnutelné. Je zavedena korektnost cesty, když je cesta průchozí a rea-lizovatelná. 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ů Ha(qi) a Na(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 ko-lekce diagramů stavů tříd pomocí užitečného testeru. (cs)
- 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 coop-eration feasibility. It enables to search the feasibility of certain strings of elementary transac-tions 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. (en)
|
| Title
| - Konzistence podnikových procesů vyjádřená formálním aparátem transakcí.
- Konzistence podnikových procesů vyjádřená formálním aparátem transakcí. (cs)
- Enterprise process consistency expressed by a formal description of transaction. (en)
|
| skos:prefLabel
| - Konzistence podnikových procesů vyjádřená formálním aparátem transakcí.
- Konzistence podnikových procesů vyjádřená formálním aparátem transakcí. (cs)
- Enterprise process consistency expressed by a formal description of transaction. (en)
|
| skos:notation
| - RIV/62156489:43110/05:00007516!RIV06-MSM-43110___
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/62156489:43110/05:00007516
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - collaboration diagram; path of transaction; process feasibility; state logical equations; transaction (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| - Rábová, Ivana
- Mišovič, Milan
|
| http://linked.open...n/vavai/riv/zamer
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)