Development Of Complex Information Systems Research Articles

АНАЛІЗ СУЧАСНИХ ТА ТРАДИЦІЙНИХ МЕТОДІВ ПРОЕКТУВАННЯ І ВИРОБНИЦТВА ВІЙСЬКОВОЇ ТЕХНІКИ З ВИКОРИСТАННЯМ АВТОМАТИЗОВАНИХ ІНФОРМАЦІЙНИХ СИСТЕМ

In the article, the authors perform one type of analysis of existing and prospective methods of designing and manufacturing military equipment using automated information systems. It is known that AIS software has the characteristic features of a complex system and is subject to the laws of complex systems science. The current stage of development of complex information systems is characterized by a sharp increase in the complexity of management tasks, which is increasingly reflected in the volume of software for managing technical objects, technological processes, and production. The work classifies programs according to SPE, which represents “a model of another model within the theory of abstract representation of individual objects.” It can be classified into one of three classes: S-class - these are programs whose functions are formally defined by specifications and follow from them. The correspondence between input and output is decisive, and any change creates a new program. P-class - these are programs whose solution acceptability is assessed by comparison with the real situation, meaning that programs of this class must constantly change depending on the environment, data refinement, etc. E-class programs themselves become part of the implementation of the situation they model, meaning they are even more prone to changes than P-programs. The main phases of the AIS life cycle are considered, and their features are defined: definition, design, implementation, deployment, and operation. The conceptual unity of approaches used at the stages of obtaining system specifications, designing the modular structure, and implementing modules allowed for the integration of individual decisions into a single methodology for designing correct special software, the main differences of which are: layering achieved through the use of the abstraction principle (hierarchy); combining the design process with the modeling process achieved through the application of graph models obtained during design, and the possibility of using each level of the hierarchy as a model of the special software; continuity of the design process ensured by the compatibility of models obtained at different stages, the participation of the system programmer from the initial stage, and the possibility of starting coding from the first stage.

Концепция иерархической структуры ментального опыта обучающегося программированию

The article raises the problem of insufficient attention to such a pedagogical category as the student's mental experience and its impact on cognitive processes. The possibility of considering the student's mental experience as an element of the content of education and as a resource for building an effective process of teaching programming at a university is discussed. Due to the fact that modern programming is built within the framework of technological processes, the activities of programmers are regulated. The program code is compiled in a formalized programming language, limited by syntactic rules and semantic constructions. Design patterns are used to facilitate the development of complex information systems. The pattern can be set both for the elementary level of abstraction - using structural operators of a programming language, and for the highest level - building an information system architecture. As part of the development of design patterns, representations of patterns are formed in the mental experience of the student. In the process of solving a programming problem, in the presence of an appropriate mental representation, a detailed analysis of the pattern execution algorithm does not occur in the cognitive processes of the student, the decision is formed directly on the basis of associative linking of information stimuli and elements of mental experience. The article lists the theses of the concept of the hierarchical structure of mental experience, which can be considered as a theoretical basis for the development of pedagogical technologies aimed at improving the efficiency of mastering professional competencies.

A model checking approach for user relationship management in the social network

PurposeThe purpose of this paper is to describe how formal verification strategies have been utilized to assess the correctness of Knowledge Creation Process (KCP) in the social systems. This paper analyzes a User Relationship Management (URM) approach in term of human behavior connection in the social systems. A formal framework is displayed for the URM which consolidates behavioral demonstrating strategy.Design/methodology/approachEvaluating the human behavior interactions is an important matter in the social systems. For this analysis, formal verification is an essential section in the complex information systems development. Model checking results satisfied the logical problems in the proposed behavior model analysis.FindingsModel checking results represent satisfaction of the logical problems in the proposed behavior model analysis. In the statistical testing, the proposed URM mechanism supported KCP conditions. Also, the percentage of state reachability in the URM with KCP conditions is higher than the URM mechanism without supporting KCP conditions.Originality/valueThe model checking results show that the proposed URM mechanism with supporting the KCP conditions satisfies comprehensively behavioral interactions rather than the mechanism without KCP conditions in the social networks.

Models Supporting Development of Complex Information Systems in Healthcare. Case study: an Obstetrics-Gynecology Department

Objectives: The paper presents a framework and tools for developing models useful for implementing complex Information Systems. It presents a case study for an Obstetrics- Gynecology Department and connected departments. The advantages of using models for creating complex OGD Information Systems together with a standardized communication will lead to an advanced interoperability and also will have benefits in patient care and in time will reduce the medical errors. Methods: This paper presents the modeling process using the Generic Component Model (GCM) in four steps. The real OGD system is described based on the five RMODP (Reference Model of Open Distributed Processing) views. The paper presents the Obstetrics-Gynecology Department model based on the real workflow using Business Process Modeling and Notation and a specialized software - Bizagy. Communication between OGD and other medical units is based on HL7 Clinical Document Architecture CDA. The Obstetrics-Gynecology Department Information System (OGD IS) is developed based on the model, in Visual Studio.NET 2010, using ASP.NET pages and C] language, and Microsoft SQL Server 2008. Results: The paper presents a model represented with Business Process Modeling and Notation and its possibilities to offer support for software developers to create flexible and portable information systems. Based on the workflow in the OGD, including the communication between OGD and other medical units, was developed a model and consequently the OGD IS. Conclusions: For the future, the OGD IS will be extended with new functionalities: possibilities to introduce medication related to a Database in the cloud to receive suggested treatments. The advantages of using the OGD IS are reflected in a better patient care, and the treatments will be more documented which will determine less medical errors.

FERMI: the most powerful computational resource for Italian scientists

By the last quarter of 2012 CINECA, the largest super-computing center in IT and one of the most important worldwide, will provide to all the scientific community one of the world fastest supercomputer, the IBM BlueGene-Q, named FERMI to honor the famous Italian physicist. FERMI with its advanced technology and its 2.1 PFlop peak perform, will allow the Italian scientists for the fastest and most advanced technology available worldwide for scientific calculations. CINECA provides High Performance Computing (HPC) infrastructure for Italian and European researchers and operates in the technological transfer sector through high performance scientific computing, the management and development of networks and web based services, and the development of complex information systems for treating large amounts of data. Moreover CINECA has been appointed by the Italian Ministry of Research and University to represent IT in the European HPC research infrastructure (PRACE). The aim of the HPC Department is to develop and promote technical and scientific services for the Italian and European research community. It constantly invests in Supercomputing technologies, thus being able to provide researchers with some of the hardware resources among the most powerful and energy efficient in Europe. Twice a year CINECA will directly award in excess of 40 million processor core hours, to ensure an adequate supply to scientists and engineers for HPC-related research, and thanks to the new supercomputer the core hours awarded will rise above 1 billion.

Acquiring conceptual data modeling skills

Conceptual data modeling has been defined as a complex task for designers. This study draws from educational and psychological research in examining the training of novices in conceptual data modeling. Specifically, an experiment was conducted to determine the effects of self-efficacy and cooperative, team-based participation on complex data modeling skills. Subjects in the cooperative learning treatment did not perform significantly better on a conceptual data modeling task than those assigned to an individual-work treatment. This calls into question the value of using the cooperative learning approach for short-duration IS training. However, the data also showed that self-efficacy was significantly and positively related to skill acquisition. Self-efficacy, then, is an important consideration for improving achievement when teaching complex information systems development skills to IS novices.

The Analysis and Design of Embedded Knowledge-Based Systems Using Box Structure Methods

Abstract:Knowledge-based systems are widely used for decision support system and expert system applications. However, they are not a panacea for all business problems. Thorough requirements analysis methods must determine the need for knowledge-based systems vis-a-vis alternative information system designs. Furthermore, knowledge-based systems are often used as embedded subsystems within larger organizational information systems. Rigorous design methods must support the development of complex information systems with integrated, heterogeneous subsystems, including knowledge-based subsystems. In this paper, we demonstrate that the box structure methods of information systems development support both the requirements analysis of knowledge-based systems and the design of embedded knowledgebased systems. An extended example is presented to show the use of the box structure methods in the development of a financial planning system that requires embedded knowledge-based system components.