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: Collaborated modeling, odeling software, Problem diagram decomposition, Problem frames

CLC Number: 

  • TP311
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 Requirements
Modeling Based on Problem Frames Approach[J].Journal of Software,2011,22(2):177-194.(in Chinese)
[5]QUERALT A,TENIENTE E.Verification and Validation of
UML 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)
[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



No Suggested Reading articles found!