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
LI Zhi1,2,3, DENG Jie1,2,3, YANG Yi-long4, WEI Shang-feng1,2,3
CLC Number:
[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. |
|