Information Modeling of Objects, Processes, and Systems: Principles of Formalization, Classification, and Verification

Design patterns are known as a way for software designers to communicate about design. There are various descriptions, structures and behaviors on the solution for a design problem in a design pattern. However, there is not much visual aid on the internal workings of a design pattern in a visual design modeling tool. Currently, it is difficult to determine the pattern role and the variant of interaction groups of a design pattern in an UML diagram as the design pattern information is not represented in the interaction diagram. There is a need to have a consistent way to define the pattern role participating in a design pattern interaction and whether there is a variant in each interaction group. This paper proposes to extend the UML sequence diagram via UML profile to allow designers to define and visualize the pattern roles and the different types of interaction groups for a design pattern. An example of the approach is then applied to the observer design pattern. The benefit of the extension enables tool support on cataloging and retrieval of design patterns' structural and behavioral information as well as variant in a visual design modeling tool.

PORGY is a visual modelling tool, where a system is defined by a strategic graph program. In this paper, we provide an operational semantics for strategic graph programs by means of an abstract machine. The semantics specifies the valid transformation steps, providing a link between the model and its implementation in PORGY.

The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequently based on their needs. This paper describes the end-user-initiative development of Web applications based on two approaches. The first approach uses domain-specific frameworks which are effective for UI-driven systems. The second approach uses visual modeling tools which are useful for model-driven systems such as workflow systems. Both approaches suppose the three-tier architecture of user interface, business logic and database. After these approaches were applied to the development of some applications, the composite approach was considered for a typical application which should be easily developed and frequently modified by end-users.

The high-precision measurements of detectors in a High-Energy Physics (HEP) experiment need a continuous sampling of recorded events during collisions. Therefore, significant hardware changes are required to do online data processing due to a large amount of data generated by such detectors. Because of all these changes, a new Detector Control System (DCS) design is required. This paper presents a definition of the software requirements to be considered during the design, integration, and operation of a detector’s DCS into physics data-taking, for continuous and non-continuous measurement conditions in the experiments. For this, the main operating processes, elements, characteristics, and guidelines of the DCS in the most important HEP experiments around the world were analyzed. Additionally, characteristics, functional and non-functional requirements, and use-cases of the main actors involved in the different processes of this control system software are defined. A visual modeling and design tool based on Unified Modeling Language (UML) is used to obtain a description of these requirements.

The article presents a specialized program for modeling well-known, including chaotic radio pulse processes, additive white and non-Gaussian noise, communications with multipath propagation of a signal, as well as classical signal processing algorithms in mobile communication systems, within the framework of the problem of detecting a signal in one-dimensional form, based on the MatLab language and taking into account the disadvantages inherent in both visual modeling tools and programming language. The modeling tools themselves, available in the future, will allow implementing a multidimensional signal processing option.

Collaborative working in construction projects is becoming very important as many activities are usually performed involving actors based in different geographical locations. Recent years have seen the emergence and development of a plethora of visual software modelling tools, modelling standards, methods for wide enterprise concurrent engineering, and techniques for exchanging and sharing construction information between software applications. This paper describes an integrated product and process information modelling system developed to manage information essential to construction managers. The integrated conceptual model is based on information and functional requirements and was developed to model both product and process information in a hierarchical manner. The also shows how the model relates to practice, and presents the benefits that are gained from structuring information using this approach.

To remain competitive in dynamic environment, enterprises need to make effective and efficient decisions in response to changes. Good modeling tools and analysis support is a necessity in this regard. Such modeling and analysis tools should to be able to visually model and programmatically analyze several descriptive and prescriptive modeling languages in concert. We recount our experience with visual modeling editor and ontological representation for both descriptive and prescriptive models for enterprise decision making. Starting with purposive modeling tools, we shifted to integrated modeling environment where all relevant models of enterprise coexist and are analyzed together. Our ongoing research suggests that apart from integrated modeling environment, scalable modeling facilities for better interaction between modelers and domain experts are also necessary to make modeling and analysis of enterprise models more streamlined.

The architecture of visual process modeling tools for Web services composition based on BPEL is introduced in detail. The concepts of arcs and nodes are imported and a visual process editor is implemented. Meanwhile, graphical method and the mapping technology which maps flow chart to BPEL elements are adopted. We give the method of describing QoS ontology of Web services and propose a solution to the service query and selection based on web service QoS constraint, which makes the web services that meet the consumers' requirement be bound with the business process dynamically and flexibly.

A distributed ledger is a decentralized database spread across many participants. Various models describe software architecture and represent different architectural views. The paper concentrates on the deployment view. Model-Driven Development (MDD) is a software engineering approach that leverages models and transformations. The paper describes the UML2Deployment transformation of the distributed ledger's deployment model into its deployment script. The deployment model, expressed in Unified Modeling Language (UML), is augmented with stereotypes and tagged values from UML Profile for Distributed Ledger Deployment. The target of the transformation is Gradle Groovy Domain Specific Language (DSL) deployment script for DLT network configuration. The transformation has been designed for R3 Corda framework. The authors propose the complete solution. The transformation has been incorporated into Visual Paradigm modeling tool.

A generic framework of virtual laboratory based on component composition technique called VLab-CC was presented, mainly aimed at the flexibility and interoperability of laboratory system. In VLab-CC, the laboratory resources would be encapsulated into standardized page components or function components. These components facilitated resource share and system reconfiguration. An experiment meta-model (EM-model) was put forward, in which experiment application available to learners was assembled with components. VLab-CC was designed to implement EM-model by mapping it to workflow process meta-model of WfMC. An experiment application could be defined as workflow process, and was able to be created or modified easily at run time by using visual workflow modeling tool. Driven by the workflow engine, connector component invoked deferent function components for page components dynamically. So the separation of representation layer and logic layer of experiment application came true. Finally, an operating system virtual laboratory was developed on the basis of VLab-CC.

Uni-Verse Acoustic Simulation System (UVAS) is a newly developed interactive room acoustic simulation system that can handle dynamically changing 3D geometric models in real-time. The system can share such models with other application, such as visual renderers or 3D modeling tools, over a network using the Verse protocol. UVAS is implemented using the beam-tracing method. It is build as two separate but highly integrated parts. The first part is handling the geometry, it's responsibility is to find audible sound sources and relevant reflection paths in the simulated environment. The second part is handling the audio rendering, producing the audible result of the simulation based on information given by the first part. This paper will focusing on the first part

The processes at the construction stages are characterized by considerable complexity due to the large amount of information contained in the design and construction documentation, and its interaction. Information management requires engineering data management systems and an object information model. Technology of building information modeling is based on the development and use of a virtual model of a construction object in the form of a three-dimensional information model and related documents. The article analyzes the Polterovich-Tonis evolutionary model as applied to information modeling processes in Russia. The functional approach to the modeling of complex project management systems in construction and visual modeling of construction objects is considered. Links between various design and calculation systems, estimated systems, scheduling and resource management systems are revealed. A formal description of the conceptual model of an integration information system for design options in construction and a strategy of data exchange between the system for automation of accounting and control and the BIM-system of visual presentation was developed.

Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making use of the object-oriented (OO) paradigm, the Unified Modeling Language (UML) and Real-time Object-Oriented Modeling (ROOM) visual formalisms, and the Rational Rose RealTime (RRT) visual modeling tool, we summarize a previously-described multi-step process for constructing top-down models of cells. We first construct a simple model of a cell using an architecture in which all objects are containers, agents, or passive objects. We then reuse these architectural principles and components to extend our simple cell model into a more complex cell, the goal being to demonstrate that encapsulation familiar to artificial intelligence researchers can be employed by systems biologists in their models. A red blood cell is embedded in a straight-forward manner within a larger system, which is in turn iteratively embedded within still larger systems, including a blood vessel, a circulatory system, a human being, and a simple ecology. Each complexity increment reuses the same architectural principles, including the use of agents, each of which continuously either moves passive small molecules between containers, or transforms these passive objects from one type into another. We show how it is possible to start with a direct diagrammatic representation of a biological structure such as a cell, using terminology familiar to biologists, and by following a process of gradually adding more and more detail, arrive at a system with structure and behavior of arbitrary complexity that can run and be observed on a computer.

This paper presents a conceptual model for web based social networks development. The model is an abstraction layer one and has five layers. It is based on the functionalities of the social networks Medias. For site functionalities statement and in each layer that modeling language and symbols is needed, state machine is recommended to use as a visual modeling tool. In third layer, functionalities of social networks are modeled with state machine notations and will be easily integrated together that can be used for implementation and testing of the site. After the integration of these diagrams, social graph and database of the site can be designed.

The authors discuss the error detection and display capabilities they believe are needed in visual modeling tools and describe the implementation of these capabilities in the Research Queueing Package Modeling Environment (RESQME). They describe how the interface can incrementally (i.e., while the model is being constructed) eliminate some classes of errors and detect and assist in correcting the other syntactical errors interactively as the user builds the model. They distinguish this incremental avoidance, detection, and notification of errors from the case in which a model is first completely constructed and then compiled or checked for errors in much the same way that a program written in traditional programming languages is compiled. They also distinguish this incremental error checking from a purely local checking for syntax errors, as is done by packages such as BLOCKS. >