UML (Unified Modeling Language) and SVM (Statechart Virtual Machine)
Case Study: Consistency Problems in a UML Model of a Chat Room (in Sixth International Conference on the Unified Modelling Language, Workshop on Consistency Problems in UML-based Software Development II)
Download: PS, PDF, BibTex Entry
Abstract: This article describes a case study, where a model of a chat room application is built from initial requirements. UML class diagrams, sequence diagrams and statecharts are used in different stages of the development process. Consistency problems are identified and methods, most notably simulation, are proposed, to ensure consistency between some aspects of the models. We focus on intraconsistency, the consistency among artifacts within a given model.
A Virtual Machine Supporting Multiple Statechart Extensions (in 2003 Summer Computer Simulation Conference)
Download: PS, PDF, BibTex Entry
Abstract: Because of its power in describing large systems, statechart is widely used to model both software systems and physical systems. As the distinction between the design phase and implementation phase is becoming more and more insignificant, it would be very nice if a model described in statechart can be executed before it is finished. Moreover, early model analysis, verification and code generation are also important.
Based on the implementation of the Statechart Virtual Machine, this article briefly describes the execution of statechart models, and discusses three important extensions to the statechart formalism in detail: submodel importation, tunable transition priority to solve conflicts and parameterized model templates.
MPLS (Multi-Protocol Label Switching) Network
Analyzing an Improvement of MPLS-Net Structures for the Decrease of Dialogue Transmission Delay (in 2002 IEEE International Conference on Systems, Man and Cybernetics)
Download: PDF, BibTex Entry
Abstract: As the network traffic increases, dialogue transmission delay becomes more and more significant recently. To optimize current MPLS networks and enhance their capability, a new analytical method based on trees is proposed here. From this view, network details are better traced in a discrete mathematics context. On identifying a network as a directed graph and dividing it into multiple trees, emphasis is placed on those component trees instead of the original graph to obtain a more trenchant understanding of it. Various types of those trees are defined, analyzed on their performance, and converted to and fro. The conversion between each other is bestowed a high practical value, since the entire network can be optimized in such an easier divide-and-conquer way. The viability of combining individual converted component trees to attain a whole converted network is proved at the end of this article.
A Tree View of the MPLS FEC Strategy (in 2002 IEEE International Conference on Telecommunications)
Download: BibTex Entry
Maintained by Thomas Feng, Winter 2002