Computer Science ›› 2020, Vol. 47 ›› Issue (12): 65-72.doi: 10.11896/jsjkx.201200044

Special Issue: Software Engineering & Requirements Engineering for Complex Systems

Previous Articles     Next Articles

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).

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

CLC Number: 

  • 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] YANG Wen-hua,XU Chang,YE Hai-bo,ZHOU Yu,HUANG Zhi-qiu. Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems [J]. Computer Science, 2020, 47(3): 11-18.
[2] JIA Jing-dong, ZHANG Xiao-man, HAO Lu, TAN Huo-bin. Analysis of Focuses of Requirements Engineering in Industry [J]. Computer Science, 2020, 47(12): 25-34.
[3] XU Bing-feng, HE Gao-feng, ZHANG Li-ning. Risk Modeling for Cyber-physical Systems Based on State/Event Fault Trees [J]. Computer Science, 2019, 46(5): 105-110.
[4] ZHANG Xiao, LI Zhi, ZHAO Zi-yan, FU Chang-lan, LI Wei-dong, YU Yue-kun, WANG Chao. Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development [J]. Computer Science, 2018, 45(9): 119-122.
[5] LIU Zhe and LI Zhi. Research and Development of Computer-aided Requirements Engineering Tool Based on Multi-modal Interaction Technologies [J]. Computer Science, 2017, 44(4): 177-181.
[6] LIU Chun, HUANG Ran-ran and HAN Dao-jun. Goal Oriented Approach for Analayzing Event Model of Cyber-physical Systems [J]. Computer Science, 2017, 44(4): 100-103.
[7] GUO Yan-yan, ZHANG Nan and TONG Xiang-rong. Survey on Formal Semantics of UML Sequence Diagram [J]. Computer Science, 2017, 44(2): 17-30.
[8] GAO Ning and LI Zhi. Research on Behavior-driven Development Based on Problem Frames [J]. Computer Science, 2017, 44(11): 187-190.
[9] HU Xiang, JIAO Li and CHAI Ye-sheng. Transforming UML to GSPN for Performance Analysis [J]. Computer Science, 2016, 43(11): 49-54.
[10] YANG Zhi-cai, QIU Hang-ping, QUAN Ji-chuan and LEI Zhi-peng. Node Importance Ordering for Topology Structure of Cyber-physical Systems [J]. Computer Science, 2015, 42(8): 128-131.
[11] WANG Cong, WANG Zhi-xue and XU You-yun. UML-based C4ISR Capability Requirement Modeling Language [J]. Computer Science, 2015, 42(2): 150-156.
[12] HE Zheng-hai and LI Zhi. Research and Development of Computer-aided Requirements Analysis Tool Based on Human-computer Interaction [J]. Computer Science, 2015, 42(12): 181-183.
[13] ZHU Li-lu and LI Zhi. Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach [J]. Computer Science, 2015, 42(12): 136-142.
[14] LIU Guo-yuan,WAN Guang-hai,PANG Liu and LI Zhi. Research and Development of Computer-aided Requirements Engineering Tool Based on Problem Frames [J]. Computer Science, 2014, 41(11): 137-140.
[15] JIANG Peng,CHEN Xin and LI Xuan-dong. Method to Automatic Testcase Generation toward Safety Critical Scenarios of Cyber-physical Systems [J]. Computer Science, 2014, 41(11): 124-127.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!