Development of a Modular Framework for Automatic Validation and Verification of UML/OCL Models
开发用于 UML/OCL 模型自动验证和验证的模块化框架
基本信息
- 批准号:235548835
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2013
- 资助国家:德国
- 起止时间:2012-12-31 至 2015-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
In order to face the steadily increasing complexity of today's software systems, the Unified Modeling Language (UML) together with the Object Constraint Language (OCL) has been established as a de-facto standard. UML/OCL allows for the description of the requirements, the behavior, and the structure of complex systems by hiding precise implementation details at the same time. As a result, UML/OCL enables to prove the correctness of a specified system already in the absence of an implementation. Considering the increasing time-to-market constraints, this aspect becomes particularly more and more important. As a consequence, several approaches aiming for the validation and verification of UML/OCL models have been developed in the recent past. However, they only address dedicated aspects such as single verification tasks or selected UML/OCL description means so far. Since practically relevant systems are usually specified through a variety of diagrams of different type, these approaches are often not applicable. Furthermore, existing verification approaches usually apply a single proof engine only. Hence, advantages of the different proof technologies have not been fully exploited so far. Because of this, methods for validation and verification of UML/OCL models are not established in current design tools.Within the proposed project, these problems should be addressed. The project aims at the development of a generic framework for the verification of UML/OCL models which (1) is based on automatic proof technologies, (2) supports different combinations of UML description means as well as verification tasks, and (3) allows for an easy exchange of proof engines. For this purpose, single diagram types or combinations of them as well as corresponding verification tasks shall not be treated separately. Instead, they shall be transformed into a base model which is powerful enough to represent diverse UML/OCL description means but only relies on atomic constructs in order to allow for a flexible usage within the framework.In the proposal, the general ideas of the planned framework are outlined. For the conduct of the project, the complementary expertise of two research groups is applied. The resulting framework shall be evaluated by means of a practically relevant example, namely the validation and verification of the so called XÖV standard.
为了面对当今软件系统日益增长的复杂性,统一建模语言(UML)和对象约束语言(OCL)已经被确立为事实上的标准。UML/OCL通过同时隐藏精确的实现细节,允许描述复杂系统的需求、行为和结构。因此,UML/OCL能够在没有实现的情况下证明指定系统的正确性。考虑到上市时间限制的增加,这方面变得越来越重要。因此,在最近的过去,已经开发了几种方法,旨在验证和验证UML/OCL模型。然而,他们只解决了专门的方面,如单一的验证任务或选择UML/OCL描述手段到目前为止。由于实际相关的系统通常通过不同类型的各种图表来指定,因此这些方法通常不适用。此外,现有的验证方法通常仅应用单个证明引擎。因此,不同的证明技术的优点还没有得到充分利用。因此,在目前的设计工具中还没有建立UML/OCL模型的确认和验证方法,这些问题需要在项目中得到解决。该项目旨在开发一个通用框架,用于验证UML/OCL模型,该框架(1)基于自动证明技术,(2)支持UML描述方法和验证任务的不同组合,(3)允许轻松交换证明引擎。为此,不应单独处理单一图表类型或其组合以及相应的验证任务。相反,它们应被转换成一个基本模型,这是强大到足以表示不同的UML/OCL描述手段,但只依赖于原子结构,以允许在框架内灵活使用。为了开展该项目,利用了两个研究小组的互补专门知识。由此产生的框架应通过一个实际相关的例子进行评估,即所谓的XÖV标准的确认和验证。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr. Martin Gogolla其他文献
Professor Dr. Martin Gogolla的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Martin Gogolla', 18)}}的其他基金
Abstrakte Implementierung von und Dokumentation mit UML
使用 UML 进行抽象实现和文档
- 批准号:
5186750 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Research Grants
相似国自然基金
基于Modular积图和最大团的草图形状匹配技术研究
- 批准号:61305091
- 批准年份:2013
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
相似海外基金
CRII: OAC: Development of a modular framework for the modeling of peptide and protein binding to membranes
CRII:OAC:开发用于模拟肽和蛋白质与膜结合的模块化框架
- 批准号:
2347997 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Education DCL: EAGER: Developing a Cyber-Aerial Computing Curriculum for Improving Sky-of-Privacy-Things Education through a Modular-Based Integrated Framework
教育 DCL:EAGER:开发网络航空计算课程,通过基于模块化的集成框架改善隐私天空教育
- 批准号:
2335681 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
A Modular Framework for Data-Driven Neurogenetics to Predict Complex and Multidimensional Autistic Phenotypes
数据驱动神经遗传学预测复杂和多维自闭症表型的模块化框架
- 批准号:
10826595 - 财政年份:2023
- 资助金额:
-- - 项目类别:
RUI: Collaborative Research: CDS&E: A Modular Multilayer Framework for Real-Time Hyperspectral Image Segmentation
RUI:合作研究:CDS
- 批准号:
2411519 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
BIOMELD: A Modular Framework for Designing and Producing Biohybrid Machines
BIOMELD:用于设计和生产生物混合机器的模块化框架
- 批准号:
10044516 - 财政年份:2022
- 资助金额:
-- - 项目类别:
EU-Funded
I-Corps: Designing an Adaptive, Modular Framework for Wheelchair Users
I-Corps:为轮椅使用者设计自适应模块化框架
- 批准号:
2111153 - 财政年份:2021
- 资助金额:
-- - 项目类别:
Standard Grant
A framework for designing and deploying heterogenous modular Network Functions for next generation networks
用于为下一代网络设计和部署异构模块化网络功能的框架
- 批准号:
2812977 - 财政年份:2021
- 资助金额:
-- - 项目类别:
Studentship
Chemically Precise Framework Materials as a Modular Platform Technology for Electroanalysis
化学精确的框架材料作为电分析的模块化平台技术
- 批准号:
10028638 - 财政年份:2020
- 资助金额:
-- - 项目类别:
Chemically Precise Framework Materials as a Modular Platform Technology for Electroanalysis
化学精确的框架材料作为电分析的模块化平台技术
- 批准号:
10675543 - 财政年份:2020
- 资助金额:
-- - 项目类别:
RUI: Collaborative Research: CDS&E: A Modular Multilayer Framework for Real-Time Hyperspectral Image Segmentation
RUI:合作研究:CDS
- 批准号:
2003740 - 财政年份:2020
- 资助金额:
-- - 项目类别:
Standard Grant