Formal approach to modeling of modern Information Systems

Most recently, the concept of business documents has started to play double role. On one hand, a business document (word processing text or calculation sheet) can be used as specification tool, on the other hand the business document is an immanent constituent of business processes, thereby essential component of business Information Systems. The recent tendency is that the majority of documents and their contents within business Information Systems remain in semi-structured format and a lesser part of documents is transformed into schemas of structured databases. In order to keep the emerging situation in hand, we suggest the creation (1) a theoretical framework for modeling business Information Systems; (2) and a design method for practical application based on the theoretical model that provides the structuring principles. The modeling approach that focuses on documents and their interrelationships with business processes assists in perceiving the activities of modern Information Systems

A Tool for Modelling of Component-Based Systems

Softwarové inženýrství založené na komponentách (Component-based Software Engineering) popisuje rozsáhlý informační systém jako množinu komponent. Práce se snaží poukázat na výhody tohoto přístupu. Definuje taktéž pojmy jako komponentový a standardní software a uvádí základy modelovacích technik komponentových systémů v jazyce UML. V dokumentu je popsána struktura Eclipse Modeling Project. Čtenář by z tohoto textu měl získat teoretický přehled postupů vývoje modelovacích nástrojů nad platformou Eclipse. Práce taktéž obsahuje návrh a postup implementace modelovacího nástroje podporujícího návrh komponentových systémů, který byl vyvinut použitím Eclipse Modeling Framework a Graphical Modeling Framework.Component-based Software Engineering describes a complex information system as a set of components. The thesis seeks to highlight the benefits of this approach. Also defines terms such as standard software, component software, and others. It provides an introduction to the modeling techniques of component-based systems in UML. The second half of the document describes the structure of the Eclipse Modeling Project. The reader by these lines should obtain a theoretical overview of the development of modeling tools under Eclipse. The document includes design and implementation process description of the tool for modeling component-based systems which has been developed using the Eclipse Modeling Framework and Graphical Modeling Framework.

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

Development of an automated aircraft subsystem architecture generation and analysis tool

Purpose – The purpose of this paper is to present a new computational framework to address future preliminary design needs for aircraft subsystems. The ability to investigate multiple candidate technologies forming subsystem architectures is enabled with the provision of automated architecture generation, analysis and optimization. Main focus lies with a demonstration of the frameworks workings, as well as the optimizers performance with a typical form of application problem. Design/methodology/approach – The core aspects involve a functional decomposition, coupled with a synergistic mission performance analysis on the aircraft, architecture and component levels. This may be followed by a complete enumeration of architectures, combined with a user defined technology filtering and concept ranking procedure. In addition, a hybrid heuristic optimizer, based on ant systems optimization and a genetic algorithm, is employed to produce optimal architectures in both component composition and design parameters. The optimizer is tested on a generic architecture design problem combined with modified Griewank and parabolic functions for the continuous space. Findings – Insights from the generalized application problem show consistent rediscovery of the optimal architectures with the optimizer, as compared to a full problem enumeration. In addition multi-objective optimization reveals a Pareto front with differences in component composition as well as continuous parameters. Research limitations/implications – This paper demonstrates the frameworks application on a generalized test problem only. Further publication will consider real engineering design problems. Originality/value – The paper addresses the need for future conceptual design methods of complex systems to consider a mixed concept space of both discrete and continuous nature via automated methods

Methodological Approaches to Modeling Information Architecture of the Organization in the Conditions of Digital Economy

It is significant for businesses, especially in the digital economy, the solution of theoretical and methodological justifications and the development of practical recommendations for building an organization\u27s information architecture as a holistic description of its key strategies, related to business, information, application systems and technologies, and also their impact on the functions and business processes of an organization. The article discusses issues, related to methodological approaches to modeling an organization\u27s information architectureб using information management tools to help manage innovation in information systems (IS) and information technologies (IT). The relevance of organizational provisions to determine the way, in which a business entity\u27s business model is functionally integrated with the IS architecture is substantiated. The consideration and analysis of the use of industrial standards for describing the architecture of an organization, adopted by such institutions as the International Organization for Standardization (ISO), The Open Group, Institute of Electrical and Electronics Engineers (IEEE), etc. reveal that none of these standards is dominant and does not provide teams, responsible for the architecture development with all the tools, necessary from the methodological point of view and from the point of view of the templates, used to describe the architecture. Recommendations are given on the theoretical and methodological substantiation and construction of the information architecture of an organization as a complete description of its key strategies related to business, information, application systems and technologies, as well as their impact on the functions and business processes of an organization