检索结果-南通市图书馆

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

uml模型在信息系统需求分析中的应用

现代计算机 2024年第12期30卷 62-66+78页

作者：胡振章张治坤广西智尚数字科技有限公司技术部广西博联信息通信技术有限责任公司软件研发部

系统需求分析是软件信息系统开发活动的起始环节，使用uml模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法，根据不同软件系统的需求描述，选取适当的uml分析模型从不同的角度对需求中的功能点进行描述，可以使系统用... 详细信息

系统需求分析是软件信息系统开发活动的起始环节，使用uml模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法，根据不同软件系统的需求描述，选取适当的uml分析模型从不同的角度对需求中的功能点进行描述，可以使系统用户、需求分析人员以及未来的设计开发人员能通过多个角度观察目标系统的应用场景、业务流程、系统对象的状态变化；从抽象的维度了解目标系统的功能、系统对象之间的关系、业务规则和约束。通过一个用于车辆管理的信息化系统的需求分析过程，分别探讨了用例图、活动图（业务流程图）、状态转换图三种uml模型的适用场景和使用方法，以及在实践工作中的注意事项。为相似的信息化系统的需求分析实践提供一种可供参考的操作方法。

关键词： uml 需求分析用例图活动图状态图

在线全文

学校读者我要写书评

暂无评论

基于uml的铁路信号图纸校核系统研究

铁路通信信号工程技术 2024年第4期21卷 15-20页

作者：黄程辉周荣宿世明苏琛吴阿龙中国铁路广州局集团有限公司广州510699 广西沿海铁路股份有限公司钦州电务段广西钦州535000 甘肃省轨道交通信号与控制评测行业技术中心兰州730070 兰州安信铁路科技有限公司兰州730070

针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用uml技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理... 详细信息

针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用uml技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理;对铁路信号图纸数据库进行介绍;从系统结构、测试范围、功能验证等方面详细介绍图纸校核系统。该图纸校核系统可以在工程实施中提供施工图审查、校核,提升现场作业效率。

关键词：铁路信号系统数据化图纸校核 uml

基于uml与UPPAAL的高铁列控临时限速切换场景建模与验证

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

山东交通学院学报 2024年第3期32卷 31-38页

作者：周翔滨州市交通运输局山东滨州256600

为提高高速铁路列控临时限速命令在临时限速服务器(temporary speed restriction server, TSRS)与无线闭塞中心(radio block center, RBC)跨界重叠区域信息传递过程的时效性和安全性,建立TSRS切换与RBC切换跨界重叠区域限速流程的数学模... 详细信息

为提高高速铁路列控临时限速命令在临时限速服务器(temporary speed restriction server, TSRS)与无线闭塞中心(radio block center, RBC)跨界重叠区域信息传递过程的时效性和安全性,建立TSRS切换与RBC切换跨界重叠区域限速流程的数学模型,根据中国列车运行控制系统(Chinese train control system, CTCS)CTCS-2/CTCS-3高铁列控系统间临时限速命令交互的特点,采用统一建模语言(unified modeling language, uml)与时间自动机模型理论相结合的方法,采用形式化验证工具UPPAAL寻找临时限速命令在跨界重叠区域信息传递的不足和漏洞。研究结果表明:列控临时限速是高铁安全运行的重要组成部分,其与高铁列控高铁调度集中(centralized traffic control, CTC)、RBC、列控中心(train control center, TCC)等相关子系统有频繁的信息交互,不同子系统间信息传递过程不同,Timer(时间控制器)、Resend(重发控制器)、TSRS和RBC时间自动机数学模型验证结果为TSRS切换与RBC切换信息在跨界重叠区域的传递时间小于3 s,且时间自动机模型信息通道无锁死情况,大大提高高铁列车运行的时效性和安全性。

关键词：临时限速时间自动机 uml UPPAAL 高铁列控

维普期刊数据库博看期刊

基于uml和ASP的艺术类考试成绩查询系统设计与实现

在线全文

学校读者我要写书评

暂无评论

科学技术创新 2024年第12期 96-99页

作者：鲍建军安徽艺术学院安徽合肥

本文采用统一建模语言uml对考试成绩查询系统进行建模,设计了基于uml的艺术类考试成绩查询系统模型,利用ASP技术实现考试成绩查询系统,大大提高艺术类考试成绩管理工作的效率和质量。

关键词： uml 面向对象方法 ASP 数据库建模

Automated transformations from uml behavior models to contracts

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2014年第12期57卷 216-232页

作者： LI Dan LI XiaoShan LIU ZhiMing Volker STOLZ Faculty of Science and Technology University of Macau Guizhou Academy of Sciences School of Computing Telecommunications and Networks Birmingham City University Department of Informatics University of Oslo

In model driven architecture(MDA),system requirements are first captured by uml(unified modeling language)use cases with sequence diagrams to describe their intended use and implemented by classes of objected-oriented languages in the subsequent design *** is important that the dynamic behavior specified by the sequence diagrams is in full compliance with the implementation *** paper proposes an automatic approach and tool support for generating class contracts,which define a precondition and a postcondition for each operation of the *** former serves as a guard to ensure invocations of the operations respect the semantics introduced by the sequence diagrams,and the latter places the system in a legal state to facilitate the succeeding operation *** contracts can be easily mapped to code of an object-oriented language such as ***,the approach helps to bridge the gap between the requirements and design stages of system development *** use our model transformation tool to first generate a uml protocol state machine from the sequence diagrams,and then derive the contracts for a controller *** transformations take into account the concurrency and critical constructs of the respective uml diagrams.

关键词： model-driven development uml sequence diagrams state machines model transformations QVT

uml statechart based rigorous modeling of real-time system

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Harbin Institute of Technology(New Series) 2005年第1期12卷 74-80页

作者：赖明志尤晋元 Dept. of Computer Science and Engineering Shanghai Jiaotong University Shanghai 200030 China

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used uml with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended uml statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.

关键词：实时系统 uml 计算机技术建模方法软件

Applying uml and Machine Learning to Enhance System Analysis and Design

在线全文

学校读者我要写书评

暂无评论

International Journal of Communications, Network and System Sciences 2023年第5期16卷 67-76页

作者： Aparna Gadhi Ragha Madhavi Gondu Chinna Manikanta Bandaru Keerthana Chit Reddy Olatunde Abiona Department of Computer Information Systems Indiana University Northwest Gary IN USA

System analysis and design (SAD) is a crucial process in the development of software systems. The impact of modeling techniques and software engineering practices on SAD has been the focus of research for many years. Two such techniques that have had a significant impact on SAD are Unified Modeling Language (uml) and machine learning. uml has been used to model the structure and behavior of software systems, while machine learning has been used to automatically learn patterns in data and make predictions. The purpose of this paper is to review the literature on the impact of uml and machine learning on SAD. We summarize the findings from several studies and highlight the key insights related to the benefits and limitations of these techniques for SAD. Our review shows that both uml and machine learning have had a positive impact on SAD, with uml improving communication and documentation, and machine learning improving the accuracy of predictions. However, there are also challenges associated with their use, such as the need for expertise and the difficulty of interpreting machine learning models. Our findings suggest that a combination of uml and machine learning can enhance SAD by leveraging the strengths of each technique.

关键词： uml Machine Learning System Analysis Design Implementation

Composition of uml Class Diagrams Using Category Theory and External Constraints

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2022年第12期15卷 436-468页

作者： Alexey Tazin Mieczyslaw M. Kokar Department of Electrical and Computer Engineering Northeastern University Boston USA

In large software development projects, there is always a need for refactoring and optimization of the design. Usually software designs are represented using uml diagrams (e.g., class diagrams). A software engineering team may create multiple versions of class diagrams satisfying some external constraints. In some cases, subdiagrams of the developed diagrams can be selected and combined into one diagram. It is difficult to perform this task manually since the manual process is very time consuming, is prone to human errors, and is not manageable for large projects. In this paper, we present algorithmic support for automating the generation of composing diagrams, where the composed diagram satisfies a given collection of external constraints and is optimal with respect to a given objective function. The composition of diagrams is based on the colimit operation from category theory. The developed approach was verified experimentally by generating random external constraints (expressed in SPARQL and OWL), generating random class diagrams using these external constraints, generating composed diagrams that satisfy these external constraints and computing class diagram metrics for each composed diagram.

关键词： uml OWL Class Diagram Composition Reasoning Software Requirements

基于uml与着色Petri网的预警情报智能推荐的建模与验证

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

兵器装备工程学报 2022年第12期43卷 291-298页

作者：牛犇黄志良吴俊杰张福群李子墨空军预警学院武汉430019

针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、uml、Petri网等多种军事复杂系统建模方法,提出了采用uml和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过uml工具对智能推荐系统... 详细信息

针对将智能推荐系统应用在联合作战中推荐预警情报的研究,对比了IDEF、uml、Petri网等多种军事复杂系统建模方法,提出了采用uml和着色Petri网混合方法对预警情报智能推荐在联合作战中的应用进行建模与验证。通过uml工具对智能推荐系统及其情报流进行了用例图、类图以及活动图等方面的概念建模,建立了规范化、统一化、可视化的模型,再凭借Petri网严谨数学分析以及其对复杂网络的强大建模能力,将uml模型映射为着色Petri网模型,实现了从内向外,从静态到动态,从模块化到系统化的循序渐进的建模过程。以X海方向XX联指,应对敌舰载机突袭任务为情况想定,利用CPN-Tools进行仿真,验证了预警情报智能推荐的着色Petri网模型具有可达性、有界性、公平性、安全性以及活性。上述验证结果,说明该模型是合理的,也说明使用uml和着色Petri网混合建模方法对预警情报智能推荐在联合作战中应用进行建模与验证是可行的,为下一步基于智能推荐系统的设计、构建和优化研究提供了科学性和可行性的支撑。

关键词：预警情报智能推荐 uml 着色Petri网 CPN-Tools