Research on Modeling Traversing Features in Concurrent Software System

An approach on modeling traversing features in concurrent software system was presented, which is based on aspect-oriented techniques and statecharts of unified modeling language (UML). Modeled with UML statecharts diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state respectively. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. With modular transition system, a basic computational model, the formalization description of aspect-oriented statechart models was proposed. The precise semantics of model elements and modeling procedures was also given. The case study indicates that the strategy of separation of traversing features is implemented in design phrase of concurrent software system with this method. And, the advantages of this software modeling approach are loose couple, adaptability and traceability.