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

Toward formalizing domain modeling semantics in language syntax

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2005年第1期31卷 21-37页

作者： Evermann, J Wand, Y Victoria Univ Wellington Sch Informat Management Wellington New Zealand Univ British Columbia Sauder Sch Business Vancouver BC V6T 1Z2 Canada

Information Systems are situated in and are representations of some business or organizational domain. Hence, understanding the application domain is critical to the success of information systems development. To support domain understanding, the application domain is represented in conceptual models. The correctness of conceptual models can affect the development outcome and prevent costly rework during later development stages. This paper proposes a method to restrict the syntax of a modeling language to ensure that only possible configurations of a domain can be modeled, thus increasing the likelihood of creating correct domain models. The proposed method, based on domain ontologies, captures relationships among domain elements via constraints on the language metamodel, thus restricting the set of statements about the domain that can be generated with the language. In effect, this method creates domain specific modeling languages from more generic ones. The method is demonstrated using the Unified Modeling Language (UML). Specifically, it is applied to the subset of UML dealing with object behavior and its applicability is demonstrated on a specific modeling example.

关键词： analysis methodologies specification object-oriented design methods design concepts CASE ontology

来源：评论

学校读者我要写书评

暂无评论

design pattern detection using similarity scoring

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2006年第11期32卷 896-909页

作者： Tsantalis, Nikolaos Chatzigeorgiou, Alexander Stephanides, George Halkidis, Spyros T. Univ Macedonia Dept Appl Informat Thessaloniki 54006 Greece

The identification of design patterns as part of the reengineering process can convey important information to the designer. However, existing pattern detection methodologies generally have problems in dealing with one or more of the following issues: Identification of modified pattern versions, search space explosion for large systems and extensibility to novel patterns. In this paper, a design pattern detection methodology is proposed that is based on similarity scoring between graph vertices. Due to the nature of the underlying graph algorithm, this approach has the ability to also recognize patterns that are modified from their standard representation. Moreover, the approach exploits the fact that patterns reside in one or more inheritance hierarchies, reducing the size of the graphs to which the algorithm is applied. Finally, the algorithm does not rely on any pattern-specific heuristic, facilitating the extension to novel design structures. Evaluation on three open-source projects demonstrated the accuracy and the efficiency of the proposed method.

关键词： patterns object-oriented design methods graph algorithms restructuring reverse engineering reengineering

来源：评论

学校读者我要写书评

暂无评论

design of a Simple and Effective object-to-Relational Mapping Technique 07

Design of a Simple and Effective Object-to-Relational Mappin...

引用

22nd ACM Symposium on Applied Computing

作者： Lodhi, Fakhar Ghazali, Muhammad Ahmad Natl Univ Comp & Emerging Sci Dept Comp Sci Lahore Pakistan

ISBN: (纸本)9781595934802

Currently, most object-oriented applications use relational databases to meet their needs for persistent storage. However, object-oriented and relational paradigms represent information in manners that are quite different from each other. This results in two different models for representing the same information, thus increasing the design and maintenance efforts. Several attempts have been made to overcome this impedance mismatch but all of them have fallen short of providing satisfactory results from one aspect or the other. This paper outlines a simple and straightforward approach to effectively overcome this challenge. Our methodology yields a data model that is mechanically derived from the object model without compromising the performance of the system. The physical schema and the basic object persistence and population operations are automatically generated, thus, resulting in a system that makes design and maintenance much easier tasks than before.

关键词： object representation Relational databases object-oriented design methods Data design and management

来源：评论

学校读者我要写书评

暂无评论

Checking Model Consistency using Data-Flow Testing

Checking Model Consistency using Data-Flow Testing

引用

16th Asia-Pacific Software Engineering Conference

作者： Wang, Chen-Wei Cavarra, Alessandra Univ Oxford Comp Lab Oxford OX1 3QD England

ISBN: (纸本)9780769539096

In model-driven development, requirements are captured as a specification model, from which a conforming implementation is automatically generated. Model consistency, with respect to requirements, is a primary concern. If the various structural and integrity constraints are inconsistent, then either the model will admit no implementation, or the implementation produced will not behave according to the intended requirements. We present an approach, based upon data-How testing, to helping developers inspect their models for inconsistency. System models contain classes, attributes, invariants, and methods specified as first-order predicates. We identify for every attribute its intra-method usages. We construct accordingly call sequences demonstrating its inter-method usages. We derive from each call sequence a Boolean constraint, as a test case, ensuring both the execution of the corresponding inter-method usage and the maintenance of invariants. Developers may examine this test suite and compare against their original understandings about the requirements.

关键词： object-oriented design methods model consistency data-flow analysis formal methods programming by contract

来源：评论

学校读者我要写书评

暂无评论

designing of SPF Based Secure Web Application Using Forward Engineering 2

Designing of SPF Based Secure Web Application Using Forward ...

引用

2nd International Conference on Computing for Sustainable Global Development (INDIACom)

作者： Pathak, Nitish Sharma, Girish Singh, B. M. BVICAM New Delhi India Govt NCT Delhi BPIBS Dept CS Delhi India Govt NCT Delhi BPIBS Dept E Delhi India Coll Engn Roorkee Dept CS&E Roorkee Uttar Pradesh India

ISBN: (纸本)9789380544168

In this paper, we propose model driven software development and Security Performance Framework Model to maintain the balance between security and performance for web applications. We know the large scale enterprise web applications are naturally complex and rigid to maintain. To deal with this complexity of web applications, we propose OMG's UML modeling language for forward engineering and SPF based software engineering practices to improve the performance of web applications. Model driven development approaches focus on software automation with generators that translate models into code. One of the major difficulties in developing web applications with object-oriented modeling is to translate a designed model into code that satisfies required real-time performance. We propose a method of automatic code synthesis ensuring that the synthesized code to be efficient enough to use the minimal amount of resources such as CPU time and memory. For implementation of Security Performance framework based trusted operating system, we propose object oriented based Code translation through forward engineering for the same web application. The goal of this paper is to demonstrate a process in which such translation can be formally verified. In this paper, we propose SPF based code verification and object oriented design process for web applications.

关键词： object-oriented design methods UML specification Code generation Model driven software development TOS-Trusted Operating System

来源：评论

学校读者我要写书评

暂无评论

Ontological Modeling Rules for UML: An Empirical Assessment

引用

Data Processor for Better Business Education 2006年第5期46卷 14-29页

The Unified Modeling Language (UML) is widely accepted as the de-facto standard for object-oriented information systems (IS) design and software modeling. Recent research has proposed to extend the use of UML to conceptual modeling of application domains. Conceptual models serve both as the basis for communication and domain understanding among analysts, and as the starting point for IS software design. Prior research has proposed a set of modeling rules to provide the analyst or modeler with guidelines for using UML for conceptual *** paper provides an empirical assessment of the benefits derived from using these modeling rules. Using an experimental study involving 53 subjects, it examines the effects of different levels of modeling rule application on application domain understanding. The results show statistically significant differences in the level of domain understanding that was derived from the various models.

关键词： Analysis Methodologies Specification object-oriented design methods design Concepts Ontology

来源：评论

学校读者我要写书评

暂无评论

Cyclomatic Complexity-Based Encapsulation, Data Hiding, and Separation of Concerns

引用

Journal of Software Engineering and Applications 2021年第1期14卷 44-66页

作者： Charles W. Butler Thomas J. McCabe Colorado State University Fort Collins USA

Three design principles are prominent in software development-encapsulation, data hiding, and separation of concerns. These principles are used as subjective quality criteria for both procedural and object-oriented applications. The purpose of research is to quantify encapsulation, data hiding, and separation of concerns is quantified using cyclomatic-based metrics. As a result of this research, the derived design metrics, coefficient of encapsulation, coefficient of data hiding, and coefficient of separation of concerns, are defined and applied to production software indicating whether the software has low or high encapsulation, data hiding, and separation of concerns.

关键词： object-oriented design methods Reliability Complexity Measures Software design Encapsulation Information Hiding Separation of Concerns McCabe Metrics Coefficient of Encapsulation Coefficient of Data Hiding Coefficient of Separation of Concerns

来源：评论

学校读者我要写书评

暂无评论

User-guided transformations for ontology based simulation design 09

User-guided transformations for ontology based simulation de...

引用

Proceedings of the 2009 Summer Computer Simulation Conference

作者： Özer Özdikiş Umut Durak Halit Oğuztüzün Siemens EC TUBITAK-SAGE Middle East Technical University

Using domain knowledge represented as ontologies for the design of domain specific architectures is a promising approach for better reusability. Tool support is essential for this approach to be effective. We present a flexible, user-guided transformation method to generate a framework architecture model from a domain model. The latter is in the form of an OWL ontology, and the former is in the form of a UML class diagram. We introduce a transformation tool that allows the user to configure mappings from the source OWL constructs of the simulation ontology to the target UML constructs of the simulation design. This user-guided approach is demonstrated on a case study that involves building a framework architecture for ontology-driven trajectory simulation development.

关键词： model driven simulation development ontology languages object-oriented design methods domain engineering ontology based simulation

来源：评论

学校读者我要写书评

暂无评论

Deferring design Decisions in an Application Framework

引用

ACM Computing Surveys 2000年第1期32卷 9-9页

作者： Carey, James E. Carlson, Brent A. IBM Corporation Rochester MN 55901 3605 Hwy. 52N United States

For an application framework to be useful, many design decisions must be deferred to the application developer. The degree to which such decisions should be deferred must be addressed systematically throughout a framework in order for that framework to become successful. The IBM SanFrancisco^TM application framework addresses this issue by implementing specific design patterns which exhibit varying degrees of design deferral. © 2000, ACM. All rights reserved.

关键词： Application Frameworks D.1.5 [Software]: object-oriented Programming D.2.2 [Software Engineering]: design Tools and Techniques D.3.3 [Programming Languages]: Language Constructs and Features design Frameworks object-oriented design methods Patterns

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：