Structure-behavior Coalescence Research Articles

The structure-behavior coalescence method -- toward a unified view of the software system in model-driven engineering

The structure-behavior coalescence method -- toward a unified view of the software system in model-driven engineering

An architecture-oriented kansei engineering system for innovative long chi inkstone design

With more and more attention to people's psychological cognition and emotion in design, the concept of kansei engineering has been widely used in all kinds of product design. Based on the concepts and methods of kansei engineering, the research chooses the long chi inkstone as an example to seek a holistic explanation for the proposed architecture-oriented innovative system in obtaining a series of new design schemes. The system architecture integrates the design method of kansei engineering system into the structure-behavior coalescence (SBC) system architecture description language to show the behavior and components of product characteristics. A model of architecture-oriented kansei engineering long chi inkstone system specification was established. The model will clearly explain how the qualitative and quantitative methods are applied to determine the characteristics, process and kansei information of long chi inkstone design. The design specifications of long chi inkstone is described by the architecture-oriented kansei engineering system. The psychological kansei imagery of consumer groups are explored under the mode of qualitative analysis and quantitative research, and the design elements and details of physical properties of products are obtained. The aesthetic attributes of products are raised to a high level of respect for human nature and reflect its new value. The results indicate that the proposed architecture-oriented kansei engineering system in conjunction with a long chi inkstone design can help designers make the design more effectively than traditional design methods.

Structure-Behavior Coalescence Method for Formal Specification of UML 2.0 Sequence Diagrams

This paper presents the structure-behavior coalescence (SBC) method for the formal specification of UML sequence diagrams. The SBC method, also named SBC sequence diagrams (SBC-SqD), includes syntax and semantics. The syntax allows the hierarchy of a sequence diagram to be represented as a parse tree. The semantic meaning of that sequence diagram is then represented by its message sending-and-receiving event transition graph (MSRETG). In order to create this MSRETG, the semantic meaning of sequence diagram (SD) modules is presented, including the meaning of these modules when they are used in a hierarchy that defines another module. Such hierarchical decomposition is formally provided for all sequence diagram modules, including all types of loops. In UML, all SD modules are also called combined fragments (CF). The obtained MSRETG has advantages over previous formal specifications, because it is a fully-complete specification and is compact and readable.

Software Architecture Design of Animation Studies Platform Using Structure-Behavior Coalescence Method

Animation education in the new media era is moving toward the goal of cultivating high-end talents. The development of an architecture-oriented animation studies platform provides guarantee for the training of talents in terms of teaching quality. This research uses the Internet as the medium and mobile phones and computer clients as the main technology platforms, starting from the software architecture and constructing the system model of the animation studies platform according to the Structure-Behavior Coalescence (SBC) method. The core theme of Model-Based Systems Engineering (MBSE) is a modeling language with model consistency of systems structure and systems behavior. This paper developed Structure-Behavior Coalescence State Machine (SBC-SM) as the formal language for the MBSE animation studies platform design model singularity. The model consistency will be fully guaranteed in the MBSE animation studies platform design when the SBC state machine approach is adopted. It not only improves the efficiency of platform development but also reduces the difficulty and risk of platform development.

Structure-Behavior Coalescence Design to Improve the Modifiability of Home Care IoT System

Modifiability improvement is a key factor in the successful Home Care IoT System (HCIS) systems development. It includes disciplined system layering (DSL), well-defined components (WDC), published interface (PI), and well-defined behavior (WDB) which represent the four main factors that enhance the modifiability of HCIS. Structure-Behavior Coalescence (SBC) method uses three fundamental diagrams: a) framework diagram, b) component operation diagram, and c) interaction flow diagram to accomplish the design of HCIS. Through framework diagram, Structure-Behavior Coalescence design of HCIS demonstrates tremendous effects of disciplined system layering. Through component operation diagram, Structure-Behavior Coalescence design of HCIS demonstrates large effects of well-defined components and published interfaces. Through interaction flow diagram, Structure-Behavior Coalescence design of HCIS demonstrates tremendous effects of well-defined behaviors. Structural Equation Modeling (SEM) refers to a diverse set of unrelated computer algorithms and statistical methods, which are suitable for constructing networks for analysis. Applied SEM method can verify that Structure-Behavior Coalescence design is be able to enhance the Modifiability of HCIS.

Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering

In model-driven engineering (MDE), the unified modeling language (UML) 2.0 metamodel solution includes a metamodel that defines the language concepts and a user model that defines how the language concepts are represented. In UML 2.0, an important usage of metamodel is to ensure model consistency between different diagrams in the user model. However, most existing UML metamodels lack an integrated semantic framework to project each diagram in the user model as a view of the metamodel. To overcome the shortcomings of the current UML 2.0 metamodel approaches, we developed structure-behavior coalescence abstract state machine (SBC-ASM) for metamodel-based language (MBL), which provides an integrated semantic framework that is able to integrate structural constructs with behavioral constructs. Using SBC-ASM MBL as the metamodel solution of UML 2.0, each diagram in the user model can be projected as a view of the SBC-ASM.

The Structure-Behavior Coalescence Approach for Systems Modeling

The systems modeling technique is used for developing an abstract model to help analyze and understand the functionality of a system. In this paper, we introduce a new approach for general-purpose systems modeling called structure-behavior coalescence (SBC), which supports the integration of modeling both structural and behavioral aspects of a system in a single diagram. Process algebra is utilized to describe the interactions between the components of the system. SBC combines graphical notation and process algebra to provide formalism and an intuitive representation in the development of the conceptual model. The SBC model can clearly describe the interactions between system components and precisely specify the execution order of an entire system via algebraic operations.

Analysis and Design of Semantic Web Services Using MDA and SBC Structure

The software analysis and design could be executed by Object Oriented architecture, but it might be unsuitable for Web Services due to their interoperability and transmission. Oppositely, the Service-Oriented and Resource-Oriented Architectures should allow of them. The software builds up a bridge between two Internet services or resources. This study has proposed what software analysis and design of Web Services can adopt the Structure-Behavior Coalescence Diagram and UML-like state and class diagrams as domain description language with Model-Driven Architecture development cycle. The case study of Plurk social website is successfully tested and verified.