文献类型：期刊文献

英文题名：An aspect-oriented modeling approach

作者：Wen, Xinxiu[1]; Yu, Huiqun[1]

机构：[1] College of Information Science and Engineering, East China University of Science and Technology, Shanghai, China

年份：2010

卷号：1

起止页码：307

外文期刊名：Proceedings - 2010 2nd WRI World Congress on Software Engineering, WCSE 2010

收录：EI(收录号：20111313852884)

语种：英文

外文关键词：Weaving

摘要：Aspect-oriented modeling techniques have been proposed as solutions to separate core and crosscut concerns in the early phases of software development. However, it is not easy to weave different models and verify the correctness of woven model. This paper introduces an aspect-oriented analyzing, modeling and verifying approach to solve the above questions based on use cases and statecharts. The water pump example shows the model is effective. ? 2010 IEEE.