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

9th IEEE International Conference on Computer-Aided Industrial Design and Conceptual Design

作者： Zhao, Jinhong Liu, Shufen Wang, Xianyan Chen, Liang Wei, Chuyi Jilin Univ Coll Comp Sci & Technol Changchun 130023 Peoples R China

ISBN: (纸本)9781424432905

The ultimate aim of software development is to produce executable code, which is the most core of the model application at the same time. Currently various models which are built by kinds of modeling technologies can not be executed. And all of these attribute to non-execution of modeling language itself This paper studies the function of MOF in the modeling language field and behavior abstract model of OCL, and on this foundation I design a sort of modeling language named XKL that described by text. The rationale of its design of structure metamodel comes from the basic structure of EMOF, at the same time the design of its behavior metamodel comes from the expression abstract syntax model of OCL. In this way, not only XKL conforms to the MOF standard in the modeling structure, but also embodies the ability of the OCL language in the aspect of describing model constraint. So the models which are built by the XKL-based modeling tool are executable.

关键词： Meta object Facility object constraint language Metamodel Model Execution

来源：评论

学校读者我要写书评

暂无评论

Research and Design of an Executable Modeling language Based on MOF

Research and Design of an Executable Modeling Language Based...

引用

2008 IEEE 9th International Conference on Computer-Aided Industrial Design & Conceptual Design

作者： Jinhong Zhao~1 Shufen Liu~2 Xianyan Wang~2 Liang Chen~2 Chuyi Wei~2 1 College of Computer Science and Technology,Jilin University,Changchun,China College of Computer Science and Technology,Jilin University,Changchun,China

The ultimate aim of software development is to produce executable code,which is the most core of the model application at the same *** various models which are built by kinds of modeling technologies can not be *** all of these attribute to non-execution of modeling language itself. This paper studies the function of MOF in the modeling language field and behavior abstract model of OCL, and on this foundation I design a sort of modeling language named XKL that described by *** rationale of its design of structure metamodel comes from the basic structure of EMOF,at the same time the design of its behavior metamodel comes from the expression abstract syntax model of *** this way, not only XKL conforms to the MOF standard in the modeling structure,but also embodies the ability of the OCL language in the aspect of describing model *** the models which are built by the XKL- based modeling tool are executable.

关键词： Meta object Facility object constraint language Metamodel Model Execution.

来源：评论

学校读者我要写书评

暂无评论

Research and Design of an Executable Modeling language Based on MOF

Research and Design of an Executable Modeling Language Based...

引用

The 9th International Conference on Computer-Aided Industrial Design & Conceptual Design(CAID&CD'2008)(2008年国际计算机辅助工业设计与概念设计学术会议)

作者： Jinhong Zhao Shufen Liu Xianyan Wang Liang Chen Chuyi Wei College of Computer Science and Technology Jilin University ChangchunChina

The ultimate aim of software development is to produce executable code, which is the most core of the model application at the same time. Currently various models which are built by kinds of modeling technologies can not be executed. And all of these attribute to non-execution of modeling language itself. This paper studies the function of MOF in the modeling language field and behavior abstract model of OCL, and on this foundation I design a sort of modeling language named XKL that described by text. The rationale of its design of structure metamodel comes from the basic structure of EMOF, at the same time the design of its behavior metamodel comes from the expression abstract syntax model of OCL. In this way, not only XKL conforms to the MOF standard in the modeling structure, but also embodies the ability of the OCL language in the aspect of describing model constraint. So the models which are built by the XKLbased modeling tool are executable.

关键词： Meta object Facility object constraint language Metamodel Model Execution.

来源：评论

学校读者我要写书评

暂无评论

Exploiting design patterns to automate validation of class invariants

引用

SOFTWARE TESTING VERIFICATION & RELIABILITY 2006年第2期16卷 71-95页

作者： Malloy, Brian A. Power, James F. Clemson Univ Dept Comp Sci Clemson SC 29634 USA Natl Univ Ireland Dept Comp Sci Maynooth Kildare Ireland

In this paper, techniques are presented that exploit two design patterns, the Visitor pattern and the Decorator pattern, to validate invariants about the data attributes in a C++ class automatically. To investigate the pragmatics involved in using the two patterns, a study of an existing, well-tested application, keystone, a parser and front-end for the C++ language, is presented. Results from the study indicate that these two patterns provide flexibility in terms of the frequency and level of granularity of validation of the class invariants, which are expressed in the object constraint language (OCL). The quantitative results measure the impact of these approaches and the additional faults uncovered through validation of the case study. Copyright (C) 2005 John Wiley & Sons, Ltd.

关键词： class invariants validation design patterns object constraint language

来源：评论

学校读者我要写书评

暂无评论

Model Driven Security: From UML models to access control infrastructures

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2006年第1期15卷 39-91页

作者： Basin, D Doser, J Lodderstedt, T ETH CH-8006 Zurich Switzerland Interact Objects Software GmbH D-79100 Freiburg Germany

We present a new approach to building secure systems. In our approach, which we call Model Driven Security, designers specify system models along with their security requirements and use tools to automatically generate system architectures from the models, including complete, configured access control infrastructures. Rather than fixing one particular modeling language for this process, we propose a general schema for constructing such languages that combines languages for modeling systems with languages for modeling security. We present several instances of this schema that combine ( both syntactically and semantically) different UML modeling languages with a security modeling language for formalizing access control requirements. From models in the combined languages, we automatically generate access control infrastructures for server-based applications, built from declarative and programmatic access control mechanisms. The modeling languages and generation process are semantically well-founded and are based on an extension of Role-Based Access Control. We have implemented this approach in a UML-based CASE-tool and report on experiments.

关键词： design languages security Role-Based Access Control Model Driven Architecture Unified Modeling language object constraint language metamodeling security engineering

来源：评论

学校读者我要写书评

暂无评论

Specifying and implementing constraints in GIS-with examples from a geo-virtual reality system

引用

GEOINFORMATICA 2006年第4期10卷 531-550页

作者： Louwsma, Jildou Zlatanova, Sisi van Lammeren, Ron van Oosterom, Peter Waterschap Roer Overmaas NL-6131 KG Sittard Netherlands Delft Univ Technol GIS Technol Res Grp NL-2628 BX Delft Netherlands Wageningen Univ Ctr Geoinformat NL-6700 AA Wageningen Netherlands

constraints are important elements of every modelling process, but until now they have been treated in an ad hoc manner, depending on the specific application domain and the capabilities of the tools used. In GIS and GeoVR applications, constraints are conditions which always have to be valid (true) within the model populated with real geographic object instances. This paper argues that constraints should form a systematic part of the object class definition, similar to other aspects of the definition, viz. attributes, methods and relationships. Also, the implementation of constraints in all GIS and GeoVR subsystems (at front-end, database and exchange (I/O) level) should be derived automatically from the constraints specified by the framework. The paper therefore puts forward a framework for modelling constraints comprising (1) a classification and clarification of constraints, (2) a formal description using the unified modelling language/object constraint language (UML/OCL) and (3) implementation characteristics. The components of the framework are illustrated and applied to SALIX-2, a geo-virtual reality (GeoVR) landscape modelling system.

关键词： object constraints object constraint language unified modelling language virtual reality GIS GeoVR 3D objects

来源：评论

学校读者我要写书评

暂无评论

AVDL: A highly adaptable architecture view description language

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2006年第8期79卷 1180-1206页

作者： Ryoo, Jungwoo Saledian, Hossein Univ Kansas Dept EECS Lawrence KS 66045 USA Penn State Altoona Altoona PA 16601 USA

Architectural views are rapidly gaining a momentum as a vehicle to document and analyze software architectures. Despite their popularity, there is no dedicated language flexible enough to support the specifications of an unbound variety of views including those preexisting and needing to be newly created on demand. In this paper, we propose a novel view description language intended for specifying any arbitrary views, using a uniform set of conventions for constructing views and how to use them. The highly adaptable nature of the new language results from its built-in mechanisms to define different types of views in a systematic and repeatable manner. (C) 2006 Elsevier Inc. All rights reserved.

关键词： software architecture views viewpoints specifications meta object facility object constraint language extensible markup language schema meta-data interchange

来源：评论

学校读者我要写书评

暂无评论

Understanding B specifications with UML class diagram and OCL constraints

Understanding B specifications with UML class diagram and OC...

引用

8th International Conference on Enterprise Information Systems (ICEIS 2006)

作者： Tatibouet, B. Jacques, I. Univ Franche Comte Lab Informat 16 Route Gray F-25030 Besancon France Univ Franche Comte Lab Informat F-25030 Besancon France

ISBN: (纸本)9728865430

B is a formal method (and a specification language) which enables the automatic generation of an executable code through a succession of refinements stemming from an abstract specification. A B specification requires a certain knowledge of mathematical notations (Classical logic and sets) as well as specific terminology (generalized substitutions, B keywords) which may in all likelihood leave a non-specialist of the B notation in the dark. To address this problem, we will extract graphic elements from B specification in an effort to render it more understandable. In a previous work, these visual elements are illustrated in a UML class diagram. These visual elements being insufficient they are completed by OCL constraints allowing to present the invariant and the operations of a B abstract machine.

关键词： B formal method UML notation object constraint language

来源：评论

学校读者我要写书评

暂无评论

Hybrid electric vehicle modeling and analysis in generic modeling environment

Hybrid electric vehicle modeling and analysis in generic mod...

引用

IEEE Vehicle Power and Propulsion Conference (VPPC)

作者： Gao, Wenzhong Musunuri, Shravana Tennessee Technol Univ Dept Elect & Comp Engn Cookeville TN 38505 USA Mississippi State Univ Ctr Adv Vehicular Syst Dept Elect & Comp Engn Mississippi State MS USA Mississippi State Univ Ctr Adv Vechicular Syst Mississippi State MS USA

ISBN: (纸本)9781424401581

This paper introduces a new modeling methodology based on Generic Modeling Environment (GME), a software suitable for modeling and analysis of physical systems. Once a metamodel is configured in GME using Unified Modeling language (UML) and object constraint language (OCL) for a specific engineering domain, application level system model can be constructed and analyzed. UML and OCL can facilitate domain experts' knowledge to be represented and enforced during design process. These concepts are illustrated through a domain-specific modeling environment for electric and hybrid electric vehicles. In particular, this environment is used to evaluate the dynamic performance of a battery electric vehicle design, as shown by some preliminary simulation results.

关键词： hybrid vehicles electric vehicles domain specific modeling environment modeling and simulation resistive companion form unified modeling language object constraint language

来源：评论

学校读者我要写书评

暂无评论

Automatic Test Cases Generation Based on OCL

Automatic Test Cases Generation Based on OCL

引用

第一届国际测量仪器与测试自动化学术会议

作者： Xie Xuanang Zhang Yunhua Jiang Zhongwei (ZheJiang Sci-Tech University, College of Infonnatics & Electronics. HangZhou 310018 China)

A number of researches focus on test cases and their generation from static models based on UML. But. obviously in a UML diagram, it is typically not refined enough to provide all the relevant aspects of a specification. So there is a requirement to describe additional constraints on the objects in the model. OCL is born to make up of the deficiencies in a UML model, fill the gap between traditional formal languages that needs a strong mathematical background and average business. In this paper we propose a method for generating test data for testing based on both UML and OCL. We derive from formal constraints expressed in a dynamic model. It is shown that how the partition analysis of individual methods of classes can be automated. Through parsing to OCL context and dividing constraint technology, constraint conditions. According to constraints-Through algorithm derived from are acquired. constraints Satisfy Problem (CSP). an approach to automatic generation of test cases, is introduced in the paper.

关键词： object constraint language UML diagram grammar parser constraints dividing automatic generation of test cases.

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：