Computer Science ›› 2018, Vol. 45 ›› Issue (9): 119-122.doi: 10.11896/j.issn.1002-137X.2018.09.018

• NASAC 2017 • Previous Articles     Next Articles

Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development

ZHANG Xiao1, LI Zhi1,2, ZHAO Zi-yan1, FU Chang-lan1, LI Wei-dong1, YU Yue-kun1, WANG Chao1   

  1. College of Computer Science and Information Technology,Guangxi Normal University,Guilin,Guangxi 541004,China1
    Guangxi Key Laboratory of Multi-source Information Mining & Security,Guangxi Normal University,Guilin,Guangxi 541004,China2
  • Received:2017-10-15 Online:2018-09-20 Published:2018-10-10

Abstract: Software modeling tools are essential for assisting requirements engineers in system analysis during the requirements and design phase.At present,few existing requirements modeling tools can be run across different platforms,support online multi-user collaborations,and verify the correctness and completeness of requirements models.As the problem frames(PF) approach attracts much attention in the requirements engineering community,a computer-aided PF modeling tool,which provides good user experience and is compatible with multiple platforms,was developed in this paper.This work solves two difficult problems,i.e.,automatic verification of the correctness and completeness of problem diagrams and mechanized decomposition of complex problem diagrams.Therefore,an online platform for requirements modeling,sharing and verification was established to support multi-user logins,deploy databases in the clouds and facilitate multi-user collaborations.

Key words: odeling software, Problem frames, Problem diagram decomposition, Collaborated modeling

CLC Number: 

  • TP311
[1] CLELAND-HUANG J,CHANG C K,CHRISTENSEN M.Event-Based Traceability for Managing Evolutionary Change[J].IEEE Transactions on Software Engineering,2003,29(9):796-810.
[2] SEATER R,JACKSON D.Problem frame transformations:deriving specifications from requirements[C]∥International Workshop on Advances and Applications of Problem Frames.ACM,2006:71-80.
[3] JACKSON M.软件开发问题框架:现实世界问题的结构化分析:analyzing and structuring software development problems[M].China Machine Press,2005.
[4] CHEN X H,YIN B,JIN Z.Ontology-Guided RequirementsModeling Based on Problem Frames Approach[J].Journal of Software,2011,22(2):177-194.(in Chinese)陈小红,尹斌,金芝.基于问题框架的需求建模:一种本体制导的方法[J].软件学报,2011,22(2):177-194.
[5] QUERALT A,TENIENTE E.Verification and Validation ofUML Conceptual Schemas with OCL Constraints[J].Acm Transactions on Software Engineering & Methodology,2012,21(2):1-41.
[6] RICHTERS M,GOGOLLA M.On formalizing the UML object constraint language OCL[C]∥International Conference on Conceptual Modeling.Springer,Berlin,Heidelberg,1998:449-464.
[7] JIANG Z F,WANG L Z,LI X D,et al.An Approach to Genera-te Test Cases Based on UML Sequence Diagrams[J].Computer Science,2004,31(7):131-136.(in Chinese)江泽凡,王林章,李宣东,等.基于UML顺序图的测试方法[J].计算机科学,2004,31(7):131-136.
[8] LI Z,HALL J G,RAPANOTTI L.On the systematic transformation of requirements to specifications[J].Requirements Engineering,2014,19(4):397-419.
[9] JACKSON M.Where,Exactly,Is Software Development?[M]∥Formal Methods at the Crossroads.From Panacea to Foundational Support.Springer Berlin Heidelberg,2003:115-131.
[10] CHEN X,LIU J L.Analysis and Comparison between the Structures of Client/Server and Browser/Server[J].Journal of Chongqing Institute of Technology Management,2000,14(2):100-103.
[11] JACKSON M.System Behaviours and Problem Frames:Concepts,Concerns and the Role of Formalisms in the Development of Cyber-physical Systems[M].Dependable Software Systems Engineering,2015:79-104.
[1] LI Zhi, DENG Jie, YANG Yi-long, WEI Shang-feng. Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML [J]. Computer Science, 2020, 47(12): 65-72.
[2] 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.
[3] GAO Ning and LI Zhi. Research on Behavior-driven Development Based on Problem Frames [J]. Computer Science, 2017, 44(11): 187-190.
[4] 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.
[5] 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.
[6] 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.
Full text



[1] . [J]. Computer Science, 2018, 1(1): 1 .
[2] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[3] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[4] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[5] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[6] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[7] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[8] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[9] GENG Hai-jun, SHI Xin-gang, WANG Zhi-liang, YIN Xia and YIN Shao-ping. Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph[J]. Computer Science, 2018, 45(4): 112 -116 .
[10] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .