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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

21 篇 会议

馆藏范围

21 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

21 篇 工学
- 21 篇 软件工程
- 7 篇 计算机科学与技术...
- 4 篇 电气工程

主题

21 篇 topological func...
4 篇 system modelling
4 篇 model driven arc...
3 篇 knowledge base
3 篇 natural language...
3 篇 computation inde...
3 篇 system analysis
2 篇 frames
2 篇 execution model
2 篇 uml
2 篇 cause-and-effect...
2 篇 domain modelling
2 篇 knowledge acquis...
2 篇 causal dependenc...
2 篇 formal problem d...
1 篇 non-functional r...
1 篇 causality extrac...
1 篇 cim to pim trans...
1 篇 requirements mod...
1 篇 bpmn

机构

6 篇 riga tech univ d...
4 篇 riga tech univ d...
4 篇 riga tech univ d...
1 篇 riga tech univ d...
1 篇 riga tech univ f...
1 篇 riga tech univ d...
1 篇 riga tech univ d...
1 篇 riga tech univ d...
1 篇 riga tehn univ d...
1 篇 riga tech univ 1...
1 篇 riga tech univ 1...

作者

12 篇 osis janis
10 篇 nazaruka erika
5 篇 ovchinnikova vik...
4 篇 nazaruks vladisl...
3 篇 asnina erika
3 篇 solomencevs artu...
2 篇 griberman viktor...
2 篇 alksnis gundars
1 篇 sukovskis uldis
1 篇 cespedes kelly v...
1 篇 jansone asnate

语言

21 篇 英文

检索条件"主题词=Topological Functioning Model"

共 21 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

The topological functioning model as a Reference model for Software Functional and Non-functional Requirements 13

The Topological Functioning Model as a Reference Model for S...

引用

13th International Conference on Evaluation of Novel Approaches to Software Engineering

作者： Nazaruka, Erika Osis, Janis Riga Tech Univ Dept Appl Comp Sci Setas Iela 1 LV-1048 Riga Latvia

ISBN: (纸本)9789897583001

Specification of non-functional requirements in models is a challenge due to extra-functional nature of the requirements. The topological functioning model (TFM) can serve as a reference model for specifying mappings from both functional and non-functional requirements to the functional characteristics and structure of the modelled system. The main principle presented in this paper extends a way of specification of the TFM functional characteristics and causal relationships and provides a specification of mapping types as tuples of TFM functional features extended with requirements and characteristics of these relationships, namely, completeness and overlapping for functional requirements, and scope and dynamic characteristics for nonfunctional ones. This allows propagating the mappings from requirements to software implementing constructs, that would be useful for further architectural decisions and development of test cases.

关键词： topological functioning model Functional Requirements Non-functional Requirements Requirements modelling

来源：评论

学校读者我要写书评

暂无评论

Retrieving the Topology from the Knowledge Frame System for Composition of the topological functioning model 13

Retrieving the Topology from the Knowledge Frame System for ...

引用

13th International Conference on Evaluation of Novel Approaches to Software Engineering

作者： Nazaruks, Vladislavs Osis, Janis Riga Tech Univ Dept Appl Comp Sci Setas Iela 1 LV-1048 Riga Latvia

ISBN: (纸本)9789897583001

model-driven software development considers models as a core artefact for generation of software source code. This requires models to be formal and complete enough for further transformations and code generation. It requires clear understanding of such knowledge as functionality, objects and dependencies in the problem domain. In our approach, this knowledge is kept in the frame-based system. The completeness and consistency of the knowledge can be verified by generating and validating the topological functioning model (TFM). The TFM is a model, which elements are linked by the topology, i.e. by cause and effect relations among the functional characteristics of the domain. Automated composition of the TFM requires retrieving appropriate conditions on cause and effect functional characteristics of the system from the knowledge base. The proposed algorithm reads data of functional characteristics kept in the knowledge base, relates those of them, where a cause condition corresponds to an effect condition, and generates data for the corresponding cause-and-effect relation. The difficulty is that conditions can be combined using logical operators AND, OR, XOR, as well as can use negation NOT. The benefit is that any inconsistency in the retrieved topology could be discovered and marked for further analysis. This should force careful analysis of the problem domain before generation of the design model. That could lead to decreasing a number of errors made due to uncertainty in the analysis.

关键词： System modelling Frames Knowledge Base topological functioning model Causal Dependencies Causal Implication

来源：评论

学校读者我要写书评

暂无评论

Joint Usage of Frames and the topological functioning model for Domain Knowledge Presentation and Analysis 12

Joint Usage of Frames and the Topological Functioning Model ...

引用

12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Nazaruks, Vladislavs Osis, Janis Riga Tech Univ Dept Appl Comp Sci Setas Iela 1 LV-1048 Riga Latvia

ISBN: (纸本)9789897582509

Joint usage of frames and topological functioning model (TFM) provides proper analysis of knowledge in the domain under study. The main issue in domain knowledge analysis is completeness of discovered knowledge. Formal representation of the knowledge in frames allows automated construction and validation of the TFM, thus allowing to discover white places in knowledge. Analysing TFM metamodels, the structure of the frame system for generation of the TFM is proposed. The frame system leads to highlighting structural knowledge, while validation of the generated TFM shows white places in behavioural knowledge. Validation of the TFM does not guarantee the complete identity of obtained knowledge to the domain, since the knowledge is based on expert opinions. Thus, analysis of the problem domain is shifted from the separate investigation of dynamic and structural aspects of the system to holistic understanding of domain phenomena. The presented results should be refined if other derived models are added.

关键词： System modelling Frames Knowledge Base topological functioning model

来源：评论

学校读者我要写书评

暂无评论

Meaning of Cause-and-effect Relations of the topological functioning model in the UML Analysis model 12

Meaning of Cause-and-effect Relations of the Topological Fun...

引用

12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Nazaruka, Erika Riga Tehn Univ Dept Appl Comp Sci Setas Iela 1 LV-1048 Riga Latvia

ISBN: (纸本)9789897582509

topological functioning model specifies functional and structural characteristics of a system in the holistic manner. Cause-and-effect relations link cause and effect functional characteristics of the system, illustrating causality in it. The Unified modelling Language (UML) provides its own relationship kinds among elements. Traditionally, a use of UML relationships depends on analyst's experience in UML and knowledge about the system. However, after TFM transformation meaning of cause-and-effect relations in UML model is not always clear. The paper summarizes research results on this matter and provides mapping guidelines from TFM causal relations to often used UML relationships. These guidelines can be applied in further (manual or automated) refinement of UML diagrams.

关键词： System modelling System Analysis topological functioning model Cause-and-Effect Relations Associations UML

来源：评论

学校读者我要写书评

暂无评论

Lessons Learned on using Execution model Implementation in Sparx Enterprise Architect for Verification of the topological functioning model 12

Lessons Learned on using Execution Model Implementation in S...

引用

12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Ovchinnikova, Viktoria Nazaruka, Erika Riga Tech Univ Dept Appl Comp Sci Setas Iela 1 LV-1048 Riga Latvia

ISBN: (纸本)9789897582509

The execution model can improve analysis, testing and verification of software systems and their features right from the early stages of development. It helps to decrease risks and the possibility of future defects. One of the main goals and challenges for modern modeling tools is the ability to generate usable source code using the modeling approach. The system functionality can be shown as topological functioning model and this functionality can be validated with the help of modeling tools. The paper presents an overview of modeling tools for the execution of models and the ways that they can aid software development. Four modeling tools are reviewed and compared based on their features and documentation - Cameo Simulation Toolkit, Enterprise Architect, Papyrus with Moka and BridgePoint. Two of them - Cameo Simulation Toolkit and Enterprise Architect, are analyzed and compared in practice. Results of the overview are the base for future work, where the tools will be applied for case studies.

关键词： Execution model UML modeling Tools topological functioning model

来源：评论

学校读者我要写书评

暂无评论

topological functioning model for Software Development within MDA (Survey) 11

Topological Functioning Model for Software Development withi...

引用

11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

作者： Solomencevs, Arturs Riga Tech Univ Dept Appl Comp Sci Riga Latvia

ISBN: (纸本)9789897581892

The approach called topological functioning modeling for model Driven Architecture (TFM4MDA) uses topological functioning model (TFM) as a formal holistic problem domain model. The approach is revolutionary, because it brings formalism to the earliest stages of software development - the analysis of problem domain, and provides formal transformations to UML design models. A copious amount of effort has been put into the development of TFM4MDA. Furthermore, TFM has not always been used in software development. This paper represents a literature survey of 69 articles about TFM and its application. The goal of this work is to trace the research of TFM and TFM4MDA approach, to throw light on the results of the research, and to reveal some weaker areas of it. The goal is successfully achieved and the conclusions are made.

关键词： topological functioning model Software Development Formal Problem Domain model model Driven Architecture

来源：评论

学校读者我要写书评

暂无评论

Comparison of topological functioning model for Software Engineering with BPMN Approach in the Context of model Driven Architecture 11

Comparison of Topological Functioning Model for Software Eng...

引用

11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

作者： Osis, Janis Solomencevs, Arturs Riga Tech Univ Dept Appl Comp Sci Riga Latvia

ISBN: (纸本)9789897581892

OMG's model Driven Architecture (MDA) proposes a computation independent view on the information system. It is used to specify the requirements and to describe how the system works within its environment. The key part of MDA is model transformation. Computation independent model (CIM) must be transformed to a platform independent model (PIM). The problem is that software development approaches that hold by MDA principles have informal models on CIM level. Without mathematical formalism, it is not possible to properly transform CIM to PIM. topological functioning model for Software Engineering (TFM4SE) approach addresses this issue, and applies topological functioning model (TFM) as a formal CIM. In this paper, TFM4SE is compared to approach that uses Business Process model and Notation for CIM modeling. The comparison focuses on CIM modeling and on transformation to class diagram on PIM level. The results show what advantages and drawbacks does the formalism of TFM bring into the software development.

关键词： topological functioning model model Driven Architecture Formal CIM CIM to PIM Transformation

来源：评论

学校读者我要写书评

暂无评论

The Validation Possibility of topological functioning model using the Cameo Simulation Toolkit 11

The Validation Possibility of Topological Functioning Model ...

引用

11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

作者： Ovchinnikova, Viktoria Nazaruka, Erika Riga Tech Univ Dept Appl Comp Sci Setas St 1 Riga Latvia

ISBN: (纸本)9789897581892

According to requirements provided by customers, the description of to-be functionality of software systems needs to be provided at the beginning of the software development process. Documentation and functionality of this system can be displayed as the topological functioning model (TFM) in the form of a graph. The TFM must be correctly and traceably validated, according to customer's requirements and verified, according to TFM construction rules. It is necessary for avoidance of mistakes in the early stage of development. Mistakes are a risk that can bring losses of resources or financial problems. The hypothesis of this research is that the TFM can be validated during this simulation of execution of the UML activity diagram. Cameo Simulation Toolkit from NoMagic is used to supplement UML activity diagram with execution and allows to simulate this execution, providing validation and verification of the diagram. In this research an example of TFM is created from the software system description. The obtained TFM is manually transformed to the UML activity diagram. The execution of actions of UML activity diagrams was manually implemented which allows the automatic simulation of the model. It helps to follow the traceability of objects and check the correctness of relationships between actions.

关键词： topological functioning model Execution model Foundational UML UML Activity Diagram

来源：评论

学校读者我要写书评

暂无评论

Verification of BPMN model Functional Completeness by using the topological functioning model 11

Verification of BPMN Model Functional Completeness by using ...

引用

11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

作者： Nazaruka, Erika Ovchinnikova, Viktoria Alksnis, Gundars Sukovskis, Uldis Riga Tech Univ Dept Appl Comp Sci Setas Iela 1 Riga Latvia

ISBN: (纸本)9789897581892

BPMN (Business Process model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. Verification of BPMN models is important since graphical fragmentary presentation could be a source of errors such as incompleteness, deadlocks, livelocks, incorrect terminations etc. We consider verification of model completeness. The model is transformed to the topological functioning model (TFM) in order to check completeness of inputs, outputs and functioning cycles of the entire specified system. The proposed approach is dedicated to the verification of the model at the beginning of analysis, and it could be supplemented by other methods at the design stage. This approach is more dedicated to analysis of the whole system, than to the verification of the concrete fragment work.

关键词： BPMN model Verification Completeness topological functioning model

来源：评论

学校读者我要写书评

暂无评论

The Algorithm of Transformation from UML Sequence Diagrams to the topological functioning model 10

The Algorithm of Transformation from UML Sequence Diagrams t...

引用

10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Ovchinnikova, Viktoria Asnina, Erika Riga Tech Univ Dept Appl Comp Sci Meza St 1 K3 Riga Latvia

ISBN: (纸本)9789897581434

It is difficult and time-consuming to migrate a legacy system to some new platform or integrate it with other software system manually. High-level abstract models (domain models) of the existing software system must be got for further merging with new domain models. TFM4MDA (topological functioning modeling for model Driven Architecture) is an approach for software development from the high level of abstraction to the lower levels. The formal TFM (topological functioning model) for software system analysis can be obtained stepwise from the low levels using RE (Reverse Engineering) techniques. The algorithm for transformation from UML sequence diagrams to the TFM is suggested in this research. It is based on the previous research results. Additional information about other approaches such as MDRE (model-Driven Reverse Engineering) and ADM (Architecture Driven Modernization) is overviewed in order to use it for further analysis and full formalization of the transformation considered in our work.

关键词： topological functioning model Reverse Engineering model-driven Architecture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共3页 << < 1 2 3 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：