检索结果-内蒙古大学图书馆

aspect-oriented modeling and Verification with Finite State Machines

Journal of Computer Science & Technology 2009年第5期24卷 949-961页

作者：徐殿祥 Omar El-Ariss 许巍峰王林章 National Center for the Protection of the Financial Infrastructure Dakota State UniversityMadisonSD 57042 U.S.A. State Key Laboratory of Novel Software Technology Department of Computer Science and TechnologyNanjing University Department of Computer Science North Dakota State UniversityFargoND 58105 U.S.A Computer and Information Science Department Gannon University109 University SquareEriePA 16541 U.S.A

aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. aspects can be used in a harmful way that invalidates desired properties and even destroys the conceptual integrity of programs. To assure the quality of an aspect-oriented system, rigorous analysis and design of aspects are highly desirable. In this paper, we present an approach to aspect-oriented modeling and verification with finite state machines. Our approach provides explicit notations （e.g., pointcut, advice and aspect） for capturing crosscutting concerns and incremental modification requirements with respect to class state models. For verification purposes, we compose the aspect models and class models in an aspect-oriented model through a weaving mechanism. Then we transform the woven models and the class models not affected by the aspects into FSP （Finite State Processes）, which are to be checked by the LTSA （Labeled Transition System Analyzer） model checker against the desired system properties. We have applied our approach to the modeling and verification of three aspect-oriented systems. To further evaluate the effectiveness of verification, we created a large number of flawed aspect models and verified them against the system requirements. The results show that the verification has revealed all flawed models. This indicates that our approach is effective in quality assurance of aspect-oriented state models. As such, our approach can be used for model-checking state-based specification of aspect-oriented design and can uncover some system design problems before the system is implemented.

关键词： aspect-oriented modeling finite state machines modeling verification model checking

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented modeling and Mapping Driven by Model Driven Architecture

Aspect-Oriented Modeling and Mapping Driven by Model Driven ...

引用

2nd IEEE International Conference on Computer Science and Information Technology

作者： Zhang, Jingjun Chen, Yuejuan Zhang, Yang Li, Hui Hebei Univ Engn Sci Res Off Handan Hebei Peoples R China Hebei Univ Engn Handan Hebei Peoples R China Hebei Univ Sci & Technol Handan Hebei Peoples R China Handan Coll Handan Peoples R China

ISBN: (纸本)9781424445189

Model Driven Architecture (MDA) is a development methodology taking model as center, which is initiated by the Object Manage Group. Based on UML and other standard etc, MDA can create highly abstract model that will be understood by computer. These models are independent of concrete platform technology and stored in a standard way. Based on Object-oriented, aspect-oriented Programming (AOP) went further on the principle of Concern Separation. It separates the crosscutting concerns in the independent aspect modular. AOP has now matured to become a complete methodology, hoping to present its benefits in the whole development cycle. aspect-oriented modeling in the Framework of MDA needs extend the UML meta-model, establish aspect oriented meta-model and aspectJ meta-model, in order to define aspect Platform-Independent Models (PIM) and Platform-Specific Models (PSM). In this paper, we give a method of aspect-oriented modeling, some rules to transform aspect PIM to aspect PSM to support aspect-oriented software development in the framework of MDA.

关键词： aspect-oriented Programming Model-Driven Architecture UML aspect-oriented modeling PIM PSM

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented modeling for power system stability assessment

Aspect-oriented modeling for power system stability assessme...

引用

International Conference on Power Systems Technology (POWERCON)

作者： Ma, Jian Dong, Zhao Yang Univ Queensland Sch Informat Technol & Elect Engn Brisbane Qld 4072 Australia

ISBN: (纸本)9781424401109

Object-oriented techniques have been applied to power system software development for quite long time. However, object-oriented modeling has several disadvantages for power system stability assessment software. aspect-oriented modeling (AOM) has become an extension of object-oriented modeling by capitalizing on its advantages while improving the disadvantages. This paper addresses the disadvantages encountered by object-oriented modeling in power system stability assessment software, and proposes using aspect-oriented modeling for power system stability assessment software development so as to solve the problems encountered by object-oriented techniques. A framework based on the aspect-oriented technique for stability assessment software is presented.

关键词： aspect-oriented modeling object-oriented modeling power system stability assessment

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented modeling of Attacks in Automotive Cyber-Physical Systems 14

Aspect-oriented Modeling of Attacks in Automotive Cyber-Phys...

引用

51st ACM/EDAC/IEEE Design Automation Conference (DAC)

作者： Wasicek, Armin Derler, Patricia Lee, Edward A. Univ Calif Berkeley Berkeley CA 94720 USA

ISBN: (纸本)9781450327305

This paper introduces aspect-oriented modeling (AOM) as a powerful, model-based design technique to assess the security of Cyber-Physical Systems (CPS). Particularly in safety-critical CPS such as automotive control systems, the protection against malicious design and interaction faults is paramount to guaranteeing correctness and reliable operation. Essentially, attack models are associated with the CPS in an aspect-oriented manner to evaluate the system under attack. This modeling technique requires minimal changes to the model of the CPS. Using application-specific metrics, the designer can gain insights into the behavior of the CPS under attack.(1)

关键词： aspect-oriented modeling Security Cyber-Physical Systems

来源：评论

学校读者我要写书评

暂无评论

Does aspect-oriented modeling help improve the readability of UML state machines?

引用

SOFTWARE AND SYSTEMS modeling 2014年第3期13卷 1189-1221页

作者： Ali, Shaukat Yue, Tao Briand, Lionel C. Certus Software V&V Ctr Simula Res Lab N-1325 Lysaker Norway Univ Luxembourg SnT Ctr Luxembourg Luxembourg

aspect-oriented modeling (AOM) is a relatively recent and very active field of research, whose application has, however, been limited in practice. AOM is assumed to yield several potential benefits such as enhanced modularization, easier evolution, increased reusability, and improved readability of models, as well as reduced modeling effort. However, credible, solid empirical evidence of such benefits is lacking. We evaluate the "readability" of state machines when modeling crosscutting behavior using AOM and more specifically aspectSM, a recently published UML profile. This profile extends the UML state machine notation with mechanisms to define aspects using state machines. Readability is indirectly measured through defect identification and fixing rates in state machines, and the scores obtained when answering a comprehension questionnaire about the system behavior. With aspectSM, crosscutting behavior is modeled using so-called "aspect state machines". Their readability is compared with that of system state machines directly modeling crosscutting and standard behavior together. An initial controlled experiment and a much larger replication were conducted with trained graduate students, in two different institutions and countries, to achieve the above objective. We use two baselines of comparisons-standard UML state machines without hierarchical features (flat state machines) and standard state machines with hierarchical/concurrent features (hierarchical state machines). The results showed that defect identification and fixing rates are significantly better with aspectSM than with both flat and hierarchical state machines. However, in terms of comprehension scores and inspection effort, no significant difference was observed between any of the approaches. Results of the experiments suggest that one should use, when possible, aspect state machines along with hierarchical and/or concurrent features of UML state machines to model crosscutting behaviors.

关键词： aspect-oriented modeling UML state machines Controlled experiment Defect identification and fixing Comprehension

来源：评论

学校读者我要写书评

暂无评论

modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems

引用

SOFTWARE AND SYSTEMS modeling 2012年第4期11卷 633-670页

作者： Ali, Shaukat Briand, Lionel C. Hemmati, Hadi Simula Res Lab N-1325 Lysaker Norway Univ Oslo Dept Informat N-0316 Oslo Norway

Model-based robustness testing requires precise and complete behavioral, robustness modeling. For example, state machines can be used to model software behavior when hardware (e.g., sensors) breaks down and be fed to a tool to automate test case generation. But robustness behavior is a crosscutting behavior and, if modeled directly, often results in large, complex state machines. These in practice tend to be error prone and difficult to read and understand. As a result, modeling robustness behavior in this way is not scalable for complex industrial systems. To overcome these problems, aspect-oriented modeling (AOM) can be employed to model robustness behavior as aspects in the form of state machines specifically designed to model robustness behavior. In this paper, we present a RobUstness modeling Methodology (RUMM) that allows modeling robustness behavior as aspects. Our goal is to have a complete and practical methodology that covers all features of state machines and aspect concepts necessary for model-based robustness testing. At the core of RUMM is a UML profile (aspectSM) that allows modeling UML state machine aspects as UML state machines (aspect state machines). Such an approach, relying on a standard and using the target notation as the basis to model the aspects themselves, is expected to make the practical adoption of aspect modeling easier in industrial contexts. We have used aspectSM to model the crosscutting robustness behavior of a videoconferencing system and discuss the benefits of doing so in terms of reduced modeling effort and improved readability.

关键词： aspect-oriented modeling UML state machines Robustness UML profile Crosscutting behavior Robustness testing

来源：评论

学校读者我要写书评

暂无评论

Visual aspect-oriented modeling of explorable extended reality environments

引用

VIRTUAL REALITY 2022年第3期26卷 939-961页

作者： Flotynski, Jakub Poznan Univ Econ & Business Niepodleglosci 10 PL-61875 Poznan Poland

The availability of various extended reality (XR) systems for tracking users' and objects' behavior opens new opportunities for analyzing users' and objects' interactions and autonomous actions. Such analysis can be especially useful and attainable to domain experts when it is based on domain knowledge related to a particular application, liberating the analysts from going into technical details of 3D content. Analysis of XR users' and objects' behavior can provide knowledge about the users' experience, interests and preferences, as well as objects' features, which may be valuable in various domains, e.g., training, design and marketing. However, the available methods and tools for building XR focus on 3D modeling and programming rather than knowledge representation, making them unsuitable for domain-oriented analysis. In this paper, a new visual approach to modeling explorable XR environments is proposed. It is based on a semantic representation of aspects, which extend the primary code of XR environments to register their behavior in a form explorable with reasoning and queries, appropriate for high-level analysis in arbitrary domains. It permits domain experts to comprehend and analyze what happened in an XR environment regarding users' and objects' actions and interactions. The approach has been implemented as an extension to MS Visual Studio and demonstrated in an explorable immersive service guide for household appliances. The evaluation results show that the approach enables efficient development of explorable XR and may be useful for people with limited technical skills.

关键词： Extended reality 3D web Exploration Semantic web Ontologies aspect-oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for aspect-oriented modeling

Towards a Taxonomy of Syntactic and Semantic Matching Mechan...

引用

6th International Workshop on System Analysis and modeling - About Models (SAM)

作者： Mussbacher, Gunter Barone, Daniele Amyot, Daniel Univ Ottawa SITE 800 King Edward Ottawa ON K1N 6N5 Canada Univ Toronto Dept Comp Sci Toronto ON M5S 2E4 Canada

ISBN: (纸本)9783642216510

aspect-oriented modeling (AOM) techniques have become increasingly popular over the last decade, as they enable improved modularity, separation of concerns, and reusability over conventional requirements and design modeling techniques. However, AOM notations typically employ pointcut matching mechanisms based solely on syntactic elements. In order to make aspects more generic and more robust to changes and to different modeling styles, semantic matching must be better exploited. We present a taxonomy that aims to classify matching mechanisms based on how syntactic or semantic information is used during the matching process, thus defining levels of sophistication for matching mechanisms from simple syntactic approaches to complex semantic approaches. We are particularly investigating how schema matching techniques developed in the database research community are applicable in this context. We illustrate the feasibility and potential benefits through examples based on the aspect-oriented User Requirements Notation (AoURN).

关键词： aspect-oriented modeling aspect composition AoURN aspect-oriented User Requirements Notation schema matching

来源：评论

学校读者我要写书评

暂无评论

Towards a Framework of aspect-oriented modeling with UML

Towards a Framework of Aspect-Oriented Modeling with UML

引用

International Symposium on Computer Science and Computational Technology

作者： Zhou, Xiao-cong Liu, Chang Niu, Yan-tao Lai, Tai-zong Sun Yat Sen Univ Dept Comp Sci Guangzhou 510275 Guangdong Peoples R China

ISBN: (纸本)9780769534985

In this paper, after analyzing the requirement of aspect-oriented modeling, a meta-model based on UML extension profile for AOM is proposed, a framework of aspect-oriented modeling (AOMF) with UML is built, and a simple and feasible way to model the dynamic behaviors of aspect-oriented software is presented. Furthermore, a case study is presented to demonstrate the effectiveness and advantages of AOMF.

关键词： aspect-oriented Software Development aspect-oriented modeling Crosscutting Concerns UML

来源：评论

学校读者我要写书评

暂无评论

An End-User Demonstration Approach to Support aspect-oriented modeling 11

An End-User Demonstration Approach to Support Aspect-Oriente...

引用

33rd International Conference on Software Engineering (ICSE)

作者： Sun, Yu Univ Alabama Birmingham Dept Comp & Informat Sci Birmingham AL 35294 USA

ISBN: (纸本)9781450304450

aspect-oriented modeling (AOM) is a technique to separate concerns that crosscut the modularity boundaries of a modeling hierarchy. AOM is traditionally supported by manual editing or writing model transformation rules that refine a base model. However, traditional model weaving approaches present challenges to those who are unfamiliar with a model transformation language or metamodel definitions. This poster describes an approach to weave aspect models by recording and analyzing demonstrated operations by end-users.

关键词： aspect-oriented modeling demonstration

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：