计算机科学

计算机科学 ›› 2020, Vol. 47 ›› Issue (12): 65-72.doi: 10.11896/jsjkx.201200044

所属专题： 复杂系统的软件工程和需求工程

• 复杂系统的软件工程和需求工程* • 上一篇    下一篇

从信息物理融合系统问题模型到UML用例图的变换方法

李智1,2,3, 邓杰1,2,3, 杨溢龙4, 韦尚锋1,2,3   

  1. 1 广西师范大学计算机科学与信息工程学院 广西 桂林 541004
    2 广西多源信息挖掘与安全重点实验室 广西 桂林 541004
    3 广西区域多源信息集成与智能处理协同创新中心 广西 桂林 541004
    4 北京航空航天大学软件学院 北京 100191
  • 收稿日期:2020-09-04 修回日期:2020-10-28 出版日期:2020-12-15 发布日期:2020-12-17
  • 通讯作者: 杨溢龙(yilongyang@buaa.edu.cn)
  • 作者简介:zhili@gxnu.edu.cn
  • 基金资助:
    国家自然科学基金项目(61862009);广西自然科学基金项目(2018GXNSFAA281314);广西研究生教育创新计划项目(JXXYYJSCXXM-001)

Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML

LI Zhi1,2,3, DENG Jie1,2,3, YANG Yi-long4, WEI Shang-feng1,2,3   

  1. 1 College of Computer Science and Information Technology Guangxi Normal University Guilin Guangxi 541004,China
    2 Guangxi Key Laboratory of Multi-source Information Mining & Security Guilin Guangxi 541004,China
    3 The Guangxi Collaborative Innovation Center of Multi-source Information Integration and Intelligent Processing Guilin Guangxi 541004,China
    4 College of Software Beihang University Beijing 100191,China
  • Received:2020-09-04 Revised:2020-10-28 Online:2020-12-15 Published:2020-12-17
  • About author:LI Zhi,born in 1969Ph.DprofessorPh.D supervisoris a distinguished member of China Computer Federation.His main research interests include problem-oriented requirements engineering for big data analyticsmodelingverifying and testing cyber-physical systems (CPSs) based on problem framesand human-computer interaction.
    YANG Yi-long,born in 1988Ph.Dassistant professor.His main research interests include automated and intelligent software engineering.
  • Supported by:
    National Natural Science Foundation of China (61862009),Provincial Natural Science Foundation of Guangxi (2018GXNSFAA281314) and Innovation Project of GuangXi Graduate Education(JXXYYJSCXXM-001).

PDF (PC)

1290

摘要： 问题框架(Problem FramesPF)方法在需求工程研究中已经获得广泛重视特别是应用于基于环境建模的信息物理融合系统中但如何有效地把问题模型(问题图及相关描述)转换为软件设计和实现仍是一个亟待解决的问题.文中提出了一种问题框架与模型驱动技术相结合的方法其可将问题模型转换为UML(Unified Modeling Language)需求模型中的用例图和概念类图进而指导软件系统的设计和实现.所开发的CASE工具通过支持领域涉众和软件设计人员合作建模来提高需求质量并允许从问题空间的需求模型平滑过渡到解空间的软件设计.通过文献中一个基准案例(邮件分拣控制问题)的扩展版本展示了其可行性及在实际应用场景下的使用从而对推动问题框架方法从理论研究走向实际应用具有重要意义.

关键词: 模型驱动工程, 统一建模语言, 问题框架, 信息物理融合系统, 需求工程

Abstract: Problem Frames (PF) have attracted extensive attention and research from the requirements engineering communityparticularly in the environment-based modeling of cyber-physical systems (CPS).Howevereffectively transforming the problem models (i.e.problem diagrams with associated descriptions) of PF into the design and implementation of software is still an open problem to be solved.This paper proposes an approach to automatically transforming problem diagrams into UML (Unified Modeling Language) conceptual class diagrams and use case diagramswhich can directly guide downstream designs and implementations.A method of combining PF and model-driven Technology is proposed.This methodtogether with the developed tool supportimproves the quality of requirements through collaborative modeling by stakeholders and software designersthus allowing for the smooth transition from modeling in the problem space to software design in the solution space.This method is applied to the package router control problema benchmark case study in the PF literatureto illustrate its feasibility and how the work can be used in a practical settingwhich plays an important role in promoting the PF approach from theory further into practice.

Key words: Cyber-physical systems, Model-driven Engineering, Problem Frames, Requirements Engineering, Unified Modeling Language

中图分类号: 

  • TP311
[1] JACKSON M.Problem Frames:Analyzing and Structuring Software Development Problems[M].New York,Oxford:Addison-Wesley,2001.
[2] JIN Z.Environment modeling-based requirements engineeringfor software intensive systems[M].Cambridge,MA:Morgan Kaufmann,2018.
[3] JACKSON M.Software requirements &specifications:a lexicon of practice,principles and prejudices[M].ACM Press/Addison-Wesley Publishing Co.,1995.
[4] HALL J,RAPANOTTI L,JACKSON M.Problem OrientedSoftware Engineering:Solving the Package Router Control Problem[J].IEEE Transactions on Software Engineering,2008,34(2):226-241.
[5] YANG Y,LI X,KE W,et al.Automated Prototype Generation from Formal Requirements Model[J].IEEE Transactions on Reliability,2019,69(2):632-656.
[6] YANG Y,LI X,LIU Z,et al.RM2PT:A tool for automated prototype generation from requirements model[C]//41st International Conference on Software Engineering:Companion Proceedings (ICSE-Companion).IEEE,2019:59-62.
[7] YANG Y,KE W,LI X.RM2PT:Requirements Validationthrough Automatic Prototyping[C]//2019 IEEE 27th International Requirements Engineering Conference (RE).IEEE,2019:484-485.
[8] LI Z,JIN Z.From user requirements to software specifications:An approach based on problem transformation[J].Journal of Software,2013(5):961-976.
[9] LIU G Y,WANG G H,PANG L,et al.Research and Development of Computer-aided Requirements Engineering Tool Based on Problem Frames[J].Computer Science,2014,41(11):137-140.
[10] ZHU S Y.Overview of Software Engineering Technology [M].Science Press,2002.
[11] STEINBERG D,BUDINSKY F,PATERBOSTRO M,et al.EMF:Eclipse Modeling Framework 2.0[M].Addison-Wesley Professional,2009.
[12] OUBELLI L A,OUSSALAH M.Design and Development ofBusiness Rules Management System (Brms) Using Atland Eclipse Sirius[J].International Journal of Computer Science &Information Technology ,2016,8(5):93-105.
[13] JOUAULT F,ALLILAIRE F,BEZIVIN J,et al.ATL:A Model Transformation Tool[J].Science of Computer Programming,2008,72(1/2):31-39.
[14] KURTEV I,VAND B K.A synthesis-based approach to transformations in an MDA software development process[C]//Model Driven Ar hitecture:Foundations and Applications.2003:121.
[15] MAYERHOFER T,LANGER P,WIMMER M,et al.xMOF:Executable DSMLs based on fUML[C]//International Conference on Software Language Engineering.Springer,Cham,2013:56-75.
[16] TATIBOUËT J,CUCCURU A,GÉRARD S,et al.Formalizing execution semantics of UML profiles with fUML models[C]//International Conference on Model Driven Engineering Languages and Systems.Springer,Cham,2014:133-148.
[17] HUDAK P.Modular domain specific languages and tools[C]//Proceedings.Fifth International Conference on Software Reuse (Cat.No.98TB100203).IEEE,1998:134-142.
[18] VIYOVI V,MAKSIMOVI M,PERISI B.Sirius:A rapid development of DSM graphical editor[C]//IEEE 18th International Conference on Intelligent Engineering Systems INES 2014.IEEE,2014:233-238.
[19] VUJOVIC V,MAKSIMOVIC M,PERISIC B.Comparativeanalysis of DSM Graphical Editor frameworks.Graphiti vs.Sirius[C]//Proc of ERK'2014.Portoroz,2014:7-10.
[20] ATL:Atlas Transformation Language,version 0.1[OL].[2020-06-26].http://www.eclipse.org/atl/documentation/old/ATL_Installation_Guide[v0.1].pdf.
[1] 杨志斌, 杨永强, 袁胜浩, 周勇, 薛垒, 程高辉.
安全关键软件术语推荐和需求分类方法
Terminology Recommendation and Requirement Classification Method for Safety-critical Software
计算机科学, 2021, 48(5): 32-44. https://doi.org/10.11896/jsjkx.210100105
[2] 贾经冬, 张筱曼, 郝璐, 谭火彬.
工业界需求工程关注点分析
Analysis of Focuses of Requirements Engineering in Industry
计算机科学, 2020, 47(12): 25-34. https://doi.org/10.11896/jsjkx.201200048
[3] 徐丙凤, 何高峰, 张黎宁.
基于状态事件故障树的信息物理融合系统风险建模
Risk Modeling for Cyber-physical Systems Based on State/Event Fault Trees
计算机科学, 2019, 46(5): 105-110. https://doi.org/10.11896/j.issn.1002-137X.2019.05.016
[4] 张晓, 李智, 赵子岩, 付昌兰, 李伟东, 禹月昆, 王超.
面向问题的软件开发协同建模工具的研究与实现
Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development
计算机科学, 2018, 45(9): 119-122. https://doi.org/10.11896／j.issn.1002-137X.2018.09.018
[5] 徐丙凤, 何高峰.
基于攻击图的信息物理融合系统渗透测试方法
Penetration Testing Method for Cyber-Physical System Based on Attack Graph
计算机科学, 2018, 45(11): 143-148. https://doi.org/10.11896／j.issn.1002-137X.2018.11.021
[6] 刘喆,李智.
基于多通道交互技术的计算机辅助需求分析系统的研发
Research and Development of Computer-aided Requirements Engineering Tool Based on Multi-modal Interaction Technologies
计算机科学, 2017, 44(4): 177-181. https://doi.org/10.11896/j.issn.1002-137X.2017.04.039
[7] 刘春,黄冉冉,韩道军.
基于目标的信息物理融合系统事件模型的分析
Goal Oriented Approach for Analayzing Event Model of Cyber-physical Systems
计算机科学, 2017, 44(4): 100-103. https://doi.org/10.11896/j.issn.1002-137X.2017.04.022
[8] 郭艳燕,张楠,童向荣.
UML顺序图形式化语义的研究综述
Survey on Formal Semantics of UML Sequence Diagram
计算机科学, 2017, 44(2): 17-30. https://doi.org/10.11896/j.issn.1002-137X.2017.02.002
[9] 汤小春,田凯飞.
基于语义模型的实时数据有效性保证策略研究
Validity Protection Strategy for Real Time Data in CPS Based on Semantics
计算机科学, 2017, 44(12): 11-16. https://doi.org/10.11896/j.issn.1002-137X.2017.12.002
[10] 高宁,李智.
基于问题框架的行为驱动开发研究
Research on Behavior-driven Development Based on Problem Frames
计算机科学, 2017, 44(11): 187-190. https://doi.org/10.11896/j.issn.1002-137X.2017.11.028
[11] 胡翔,焦莉,柴叶生.
从UML到GSPN的转换和性能分析方法
Transforming UML to GSPN for Performance Analysis
计算机科学, 2016, 43(11): 49-54. https://doi.org/10.11896/j.issn.1002-137X.2016.11.009
[12] 杨志才,裘杭萍,权冀川,雷智朋.
CPS拓扑结构节点重要性排序方法
Node Importance Ordering for Topology Structure of Cyber-physical Systems
计算机科学, 2015, 42(8): 128-131.
[13] 王聪,王智学,徐友云.
基于UML的面向C4ISR能力需求分析的对象建模语言
UML-based C4ISR Capability Requirement Modeling Language
计算机科学, 2015, 42(2): 150-156. https://doi.org/10.11896/j.issn.1002-137X.2015.02.033
[14] 何正海,李智.
基于人机交互的计算机辅助软件需求分析工具的研发
Research and Development of Computer-aided Requirements Analysis Tool Based on Human-computer Interaction
计算机科学, 2015, 42(12): 181-183.
[15] 朱利鲁,李智.
问题框架中问题领域因果行为的形式化验证
Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach
计算机科学, 2015, 42(12): 136-142.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发