Abstract

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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.