Acta Univ. Agric. Silvic. Mendelianae Brun. 2006, 54(6), 125-132 | DOI: 10.11118/actaun200654060125

FORMÁLNÍ SPECIFIKACE PRO REGISTRACI VÝVOJE PODNIKOVÉHO IS

Milan Mišovič
Ú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 uvedeno původní pojetí formálních specifikací a jejich instancí - deskriptivních specifikací k registraci a možné modifikaci a využití výsledků modelování PIS ve strukturovaném paradigmatu. Zavedení formálních specifikací a jejich instancí umožnilo sestrojit nad nimi relační metabázi dat a ukázat možnosti jejího využití. Má-li být metabáze základem vývoje PIS, musí pomocí deskriptivních specifikací absorbovat výsledky všech fází vybrané metodiky strukturovaného paradigmatu, tedy Úvodní studie, Analýzy (datové, procesní, transakční a interakční) a Hrubého a detailního návrhu.

PIS - podnikový informační systém, ekonomické procesní sety, paradigma strukturovaného vývoje PIS, formální specifikace, deskriptivní specifikace, metabáze deskriptivních specifikací, metamodel formálních specifikací a jejich vztahů, datová, procesní a komunikační integrita, balík aplikací

Registration of an enterprise information system development by formal specifications

The economical view from the Enterprise process sets ERP, SCM, CRM, BI, ... to a functionality and Enterprise Information System structure by informaticians is demonstrable reality. A comprehensive Enterprise Information System software solution, that respects the mentioned economical platform by large software firms, has got required attributes of a data, process and communication integrity but there is not financially sustainable for small enterprises.
These enterprises are predominantly oriented to progressive computerization of enterprise processes and rather gradually buy application packages for individual process sets. Large and small software firms provide needed partial solutions, nevertheless small firms solutions are connected with the data, process and communication disintegration. Since the compatibility requirement is not generally accepted, finding of an EAI solution have become one of the main System Integration tasks. This article provides one specific style for a complex or partial Enterprise Information System solution. This solution is founded on formal and descriptive specifications that can sustain required data, process and communication integration among packages of applications. As a result, this style provides the new view for the effectiveness of the associated process of information modeling.

Keywords: enterprise Information System, economical process sets, structural development paradigm, formal specifications, descriptive specifications, meta-base of descriptive specifications, meta-model of formal specifications, data, process and communication integrity, package of applications

Received: June 15, 2006; Published: December 1, 2014  Show citation

ACS AIP APA ASA Harvard Chicago IEEE ISO690 MLA NLM Turabian Vancouver
Mišovič, M. (2006). Registration of an enterprise information system development by formal specifications. Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis54(6), 125-132. doi: 10.11118/actaun200654060125
Download citation

References

  1. BASL, J.: Podnikové informační systémy. Podnik v informační společnosti. Grada Publishing, Praha, 2002.
  2. FIALA, F., MINISTR, J.: Průvodce analýzou a modelováním procesů. Ostrava: VŠB-TU, 2003. 110 s. ISBN 20-248-0500-6.
  3. SODOMKA, P., HABÁŇ, J.: Integrace podnikových aplikací. Analytická studie CVIS, 2005. Uvedeno na adrese http://www.cvis.cz/index_cz.htm
  4. MIŠOVIČ, M., TRENC, O.: Malé SW firmy a komplexní řešení podnikového IS. Konference Informatika XVII, Karlov pod Pradědem, 2005. Sborník s. 126-133. ISBN 80-7302-110-2. Go to original source...
  5. VOKŮRKOVÁ, L.: Co trápí firmy v oblasti IT? COMPUTERWORLD č. 5, roč. XVII, IDG Czech, Praha, 2006.
  6. GÁLA, L., POUR, J., TOMAN, P.: Podniková informatika. Grada Publishing, Praha, 2006.
  7. ŘEPA, V.: Podnikové procesy. Procesní řízení a modelování. Grada Publishing, Praha, 2006.

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.