RT Journal Article SR Electronic A1 Mišovič, Milan T1 Registration of an enterprise information system development by formal specifications JF Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis YR 2014 VO 54 IS 6 SP 125 OP 132 DO 10.11118/actaun200654060125 UL https://acta.mendelu.cz/artkey/acu-200606-0014.php AB 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.