面向问题的软件开发协同建模工具的研究与实现

doi:10.11896／j.issn.1002-137X.2018.09.018

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 Xiao¹, LI Zhi^1,2, ZHAO Zi-yan¹, FU Chang-lan¹, LI Wei-dong¹, YU Yue-kun¹, WANG Chao¹

College of Computer Science and Information Technology,Guangxi Normal University,Guilin,Guangxi 541004,China¹
Guangxi Key Laboratory of Multi-source Information Mining & Security,Guangxi Normal University,Guilin,Guangxi 541004,China²

Received:2017-10-15 Online:2018-09-20 Published:2018-10-10

Abstract

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

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.

0
/ / Recommend

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

URL: https://www.jsjkx.com/EN/10.11896／j.issn.1002-137X.2018.09.018

https://www.jsjkx.com/EN/Y2018/V45/I9/119

References

[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 Requirements
Modeling 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 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)
江泽凡,王林章,李宣东,等.基于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.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 0

No Suggested Reading articles found!

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

PDF (PC)

Abstract

Cite this article

share this article

References

Related Articles 6

Metrics

Comments

Recommended 0

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