经验研究中情景感知需求获取与建模系统文献综述
作者:
作者简介:

栗元邦(1983-),男,河南南阳人,博士生,主要研究领域为需求工程,普适计算;王帮超(1988-),男,博士生,CCF学生会员,主要研究领域为需求工程,经验软件工程;彭蓉(1975-),女,博士,教授,博士生导师,CCF专业会员,主要研究领域为需求工程,知识工程,服务计算,可信计算;赖涵(1981-),男,博士,讲师,CCF专业会员,主要研究领域为需求工程,服务计算,人机交互;季晶晶(1991-),女,硕士生,主要研究领域为需求工程.

通讯作者:

彭蓉,E-mail:rongpeng@whu.edu.cn

基金项目:

国家重点研发计划(2016YFB051801);国家自然科学基金(61170026);重庆市教委科学技术研究项目(KJ1500630);重庆市检测控制集成系统工程实验室新技术新产品开放课题(1456026)


Systematic Literature Review of Empirical Studies on Context Aware Requirement Elicitation and Modeling
Author:
Fund Project:

National Key Research and Development Program of China (2016YFB051801); National Natural Science Foundation of China (61170026); Scientific and Technological Research Program of Chongqing Municipal Education Commission (KJ1500630); Chongqing Engineering Laboratory for Detection, Control and Integrated System, Chongqing Technology and Business University (1456026)

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [84]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    情景感知(context aware)的应用是当前的一个研究热点,但是,由于情景的复杂性和不确定性,如何获取这些应用的需求面临着巨大挑战,需求工程领域出现了大量的研究来解决这一挑战.使用系统文献综述(systematic literature review)的方法首先分析了不同情景维度对需求获取与建模的支持,统计并深入分析情景感知的需求获取与建模中常用的方法,评估了不同经验方法的技术转移成熟度.最后,基于上述结论,给出了情景感知的需求获取与建模下一步的研究方向.

    Abstract:

    Context-Aware applications become more and more appealing. Eliciting and modeling the context-aware requirements face significant challenges due to the complexity and uncertainty of context. A variety of studies have proposed methods to tackle these challenges. The methodology of systematic literature review is used to analyze which dimensions of context have been used for better requirements elicitation and modeling in context-aware situations, as well as which methods have been used in context aware requirements elicitation and modeling to evaluating the technology transfer maturity of the methods. Future research directions in context aware requirement elicitation and modeling are also discussed.

    参考文献
    [1] Al-alshuhai A, Siewe F. An extension of UML activity diagram to model the behaviour of context-aware systems. In:Proc. of the 2015 IEEE Int'l Conf. on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM). IEEE, 2015. 431-437.[doi:10.1109/CIT/IUCC/DASC/PICOM.2015.62]
    [2] Kwon O, Lee Y. A structured methodology of scenario generation and system analysis for ubiquitous smart space development. In:Proc. of the Ubiquitous Intelligence and Computing. Berlin, Heidelberg:Springer-Verlag, 2008. 90-104.[doi:10.1007/978-3-540-69293-5_9]
    [3] Sutcliffe A, Sawyer P. Modeling personalized adaptive systems. In:Proc. of the Advanced Information Systems Engineering. Berlin, Heidelberg:Springer-Verlag, 2013. 178-192.[doi:10.1007/978-3-642-38709-8_12]
    [4] Choi J. Context-Driven requirements analysis. In:Proc. of the Computational Science and Its Applications (ICCSA 2007). Berlin, Heidelberg:Springer-Verlag, 2007. 739-748.[doi:10.1007/978-3-540-74484-9_63]
    [5] Sutcliffe A, Fickas S, Sohlberg MKM. PC-RE:A method for personal and contextual requirements engineering with some experience. Requirements Engineering, 2006,11(3):157-173.[doi:10.1007/s00766-006-0030-0]
    [6] Staples M, Niazi M. Experiences using systematic review guidelines. Journal of Systems and Software, 2007,80(9):1425-1437.[doi:10.1016/j.jss.2006.09.046]
    [7] Lisboa LB, Garcia VC, Lucrédio D, de Almeida ES, de Lemos MSR, de Mattos FRP. A systematic review of domain analysis tools. Information and Software Technology, 2010,52(1):1-13.[doi:10.1016/j.infsof.2009.05.001]
    [8] Kitchenham BA, Charters S. Guidelines for performing systematic literature reviews in software engineering (version 2.3). Technical Report, EBSE Technical Report EBSE-2007-01, Keele University and Durham University, 2007.
    [9] Dyba T, Dingsoyr T, Hanssen GK. Applying systematic reviews to diverse study types:An experience report. In:Proc. of the 1st Int'l Symp. on Empirical Software Engineering and Measurement (ESEM). 2007. 225-234.[doi:10.1109/ESEM.2007.59]
    [10] Zimmermann A, Lorenz A, Oppermann R. An operational definition of context. In:Proc. of the Modeling and Using Context. Berlin, Heidelberg:Springer-Verlag, 2007. 558-571.[doi:10.1007/978-3-540-74255-5_42]
    [11] Bettini C, Brdiczka O, Henricksen K, Indulska J, Nicklas D, Ranganathan A, Riboni D. A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing, 2010,6(2):161-180.[doi:10.1016/j.pmcj.2009.06.002]
    [12] Hong J, Suh E, Kim SJ. Context-Aware systems:A literature review and classification. Expert Systems with Applications, 2009, 36(4):8509-8522.[doi:10.1016/j.eswa.2008.10.071]
    [13] Peng R, Lai H. DRE-Specific wikis for distributed requirements engineering:A review. In:Proc. of the 201219th Asia-Pacific Software Engineering Conf. (APSEC). IEEE, 2012. 116-126.[doi:10.1109/APSEC.2012.72]
    [14] Khan HH, Mahrin MNB, Chuprat SB. Situational requirement engineering:A systematic literature review protocol. In:Proc. of the 2013 IEEE Conf. on Open Systems (ICOS). IEEE, 2013. 123-126.[doi:10.1109/ICOS.2013.6735060]
    [15] Yang Z, Li Z, Jin Z, Chen Y. A systematic literature review of requirements modeling and analysis for self-adaptive systems. In:Proc. of the Requirements Engineering:Foundation for Software Quality. Springer Int'l Publishing, 2014. 55-71.[doi:10.1007/978-3-319-05843-6_5]
    [16] Almutairi S, Bella G, Abu-Samaha A. Specifying security requirements of context aware system using UML. In:Proc. of the 20127th Int'l Conf. on Digital Information Management (ICDIM). IEEE, 2012. 259-265.[doi:10.1109/ICDIM.2012.6360140]
    [17] Filieri A, Ghezzi C, Tamburrelli G. A formal approach to adaptive software:Continuous assurance of non-functional requirements. Formal Aspects of Computing, 2012,24(2):163-186.[doi:10.1007/s00165-011-0207-2]
    [18] Benabbou A, Bahloul SN, Dhaussy P. An automated transformation approach for requirement specification. Procedia Computer Science, 2016,91:891-900.[doi:10.1016/j.procs.2016.07.107]
    [19] Li YZ, Xiao LY. A study on the smart city server system based on context-aware technology. Computer Engineering & Science, 2016,38(3):443-448(in Chinese with English abstract).
    [20] Xue X, Chang JK, Zeng ZF, An JY. Context-Aware intelligent services system for mine industry. Computer Engineering & Science, 2013,35(9):36-44(in Chinese with English abstract).
    [21] Newell D, Davies P, Austin R, Moore P, Sharma M. Models for an intelligent context-aware blended m-learning system. In:Proc. of the 2015 IEEE 29th Int'l Conf. on Advanced Information Networking and Applications Workshops (WAINA). IEEE, 2015. 405-410.[doi:10. 1109/WAINA.2015.25]
    [22] Anastassova M, Mayora-Ibarra O. Elicitation of user requirements for mobile interaction with visual and RFID tags:A prototype-based exploratory study. In:Proc. of the Human Centered Design. Berlin, Heidelberg:Springer-Verlag, 2009. 159-166.[doi:10. 1007/978-3-642-02806-9_19]
    [23] Oyama K, Dong J, Lu KS, Jiang H, Ming H, Chang CK. Situation-Theoretic analysis of human intentions in a smart home environment. In:Proc. of the Ambient Assistive Health and Wellness Management in the Heart of the City. Berlin, Heidelberg:Springer-Verlag, 2009. 125-132.[doi:10.1007/978-3-642-02868-7_16]
    [24] Rook A, Knauss A, Damian D, Thomo A. A case study of applying data mining to sensor data for contextual requirements analysis. In:Proc. of the 20141st IEEE Int'l Workshop on Artificial Intelligence for Requirements Engineering (AIRE). IEEE, 2014. 43-50.[doi:10.1109/AIRE.2014.6894855]
    [25] Evans C, Brodie L, Augusto JC. Requirements engineering for intelligent environments. In:Proc. of the 2014 Int'l Conf. on Intelligent Environments (IE). IEEE, 2014. 154-161.[doi:10.1109/IE.2014.30]
    [26] Chiu DKW, Hong D, Cheung SC, Kafeza E. Towards ubiquitous government services through adaptations with context and views in a three-tier architecture. In:Proc. of the 40th Annual Hawaii Int'l Conf. on System Sciences (HICSS 2007). IEEE, 2007. 94-103.[doi:10.1109/HICSS.2007.574]
    [27] Hong D, Chiu DKW, Shen VY, Cheung SC, Kafeza E. Ubiquitous enterprise service adaptations based on contextual user behavior. Information Systems Frontiers, 2007,9(4):343-358.[doi:10.1007/s10796-007-9039-2]
    [28] Zhu J, Pung HK, Oliya M, Wong WC. A context realization framework for ubiquitous applications with runtime support. Communications Magazine, IEEE, 2011,49(9):132-141.[doi:10.1109/MCOM.2011.6011744]
    [29] Li WP, Wang WS, Mo T. Survey of contextual computing. Journal of Computer Research and Development, 2015,52(2):542-552.
    [30] Dey AK. Providing architectural support for building context-aware applications[Ph.D. Thesis]. Georgia Institute of Technology, 2000.
    [31] Ruiz-López T, Noguera M, RodríGuez MAJ, Garrido JL, Chung L. REUBI:A requirements engineering method for ubiquitous systems. Science of Computer Programming, 2013,78(10):1895-1911.[doi:10.1016/j.scico.2012.07.021]
    [32] Knauss E, Meyer S, Schneider K. Recommending terms for glossaries:A computer-based approach. In:Proc. of the 1st Int'l Workshop on Managing Requirements Knowledge (MARK 2008). IEEE, 2008. 25-31.[doi:10.1109/MARK.2008.8]
    [33] Huang J, Yang H, Liu L. Reconciling requirements and implementation via reengineering for context-aware service evolution. In:Proc. of the 201135th IEEE Annual Computer Software and Applications Conf. Workshops (COMPSACW). IEEE, 2011. 464-469.[doi:10.1109/COMPSACW.2011.84]
    [34] Ismail I, Moussa F. User requirements deduction in a pervasive environment. In:Proc. of the IEEE Int'l Conf. on Next Generation Mobile Application, Services and Technologies (NGMAST). 2010.[doi:10.1109/NGMAST.2010.21]
    [35] Ben Cheikh A, Front A, Giraudin JP, Coulondre S. An engineering method for context-aware and reactive systems. In:Proc. of the 20126th Int'l Conf. on Research Challenges in Information Science (RCIS). IEEE, 2012. 1-12.[doi:10.1109/RCIS.2012.6240433]
    [36] Kumar C, Poppinga B, Haeuser D, Heuten W, Boll S. Geovisual interfaces to find suitable urban regions for citizens:A user-centered requirement study. In:Proc. of the 2013 ACM Conf. on Pervasive and Ubiquitous Computing Adjunct Publication. ACM Press, 2013. 741-744.[doi:10.1145/2494091.2495999]
    [37] Nieminen MP, Tyllinen M, Runonen M. Digital war room for design requirements for collocated group work spaces. In:Proc. of the Human Interface and the Management of Information; Information and Interaction for Learning, Culture, Collaboration and Business. Berlin, Heidelberg:Springer-Verlag, 2013. 352-361.[doi:10.1007/978-3-642-39226-9_39]
    [38] Pasquale L, Spoletini P, Pometto D, Blasi F, Redaelli T. Requirements engineering meets physiotherapy:An experience with motion-based games. In:Proc. of the Requirements Engineering:Foundation for Software Quality. Berlin, Heidelberg:Springer-Verlag, 2013. 315-330.[doi:10.1007/978-3-642-37422-7_23]
    [39] Brill O, Knauss E. Structured and unobtrusive observation of anonymous users and their context for requirements elicitation. In:Proc. of the 201119th IEEE Int'l Requirements Engineering Conf. (RE). IEEE, 2011. 175-184.[doi:10.1109/RE.2011.6051660]
    [40] Xie H, Chang CK. Detection of new intentions from users using the CRF method for software service evolution in context-aware environments. In:Proc. of the 201539th IEEE Annual Computer Software and Applications Conf. (COMPSAC). IEEE, 2015. 71-76.[doi:10.1109/COMPSAC.2015.60]
    [41] Kaasinen E, Niemela M, Tuomisto T, Valkkynen P, Ermolov V. Identifying user requirements for a mobile terminal centric ubiquitous computing architecture. In:Proc. of the Int'l Workshop on System Support for Future Mobile Computing Applications (FUMCA 2006). IEEE, 2006. 9-16.[doi:10.1109/FUMCA.2006.6]
    [42] Go K. A scenario-based design method with photo diaries and photo essays. In:Proc. of the Human-Computer Interaction, Interaction Design and Usability. Berlin, Heidelberg:Springer-Verlag, 2007. 88-97.[doi:10.1007/978-3-540-73105-4_10]
    [43] Weiss A, Mirnig N, Buchner R, Förster F, Tscheligi M. Transferring human-human interaction studies to HRI scenarios in public space. In:Proc. of the Human-Computer Interaction (INTERACT 2011). Berlin, Heidelberg:Springer-Verlag, 2011. 230-247.[doi:10.1007/978-3-642-23771-3_18]
    [44] Hussein M, Yu J, Han J, Colman A. Scenario-Driven development of context-aware adaptive Web services. In:Proc. of the Web Information Systems Engineering (WISE 2012). Berlin, Heidelberg:Springer-Verlag, 2012. 228-242.[doi:10.1007/978-3-642-35063-4_17]
    [45] Hussein MZB, Han J, Yu J, Colman A. Scenario-Based validation of requirements for context-aware adaptive services. In:Proc. of the 2013 IEEE 20th Int'l Conf. on Web Services (ICWS). IEEE, 2013. 348-355.[doi:10.1109/ICWS.2013.54]
    [46] Kwon O, Lee Y. A structured methodology of scenario generation and system analysis for ubiquitous smart space development. In:Proc. of the Ubiquitous Intelligence and Computing. Berlin, Heidelberg:Springer-Verlag, 2008. 90-104.[doi:10.1007/978-3-540-69293-5_9]
    [47] Alawairdhi M, Aleisa E. A scenario-based approach for requirements elicitation for software systems complying with the utilization of ubiquitous computing technologies. In:Proc. of the 201135th IEEE Annual Computer Software and Applications Conf. Workshops (COMPSACW). IEEE, 2011. 341-344.[doi:10.1109/COMPSACW.2011.63]
    [48] Gregoriades A, Hadjicosti J, Florides C, Pampaka M, Michail H. A driving simulator for discovering requirements in complex systems. In:Proc. of the Conf. on Summer Computer Simulation. Society for Computer Simulation Int'l, 2015. 1-10.
    [49] Maiden N, Seyff N, Grunbacher P, Otojare O, Mitteregger K. Making mobile requirements engineering tools usable and useful. In:Proc. of the 14th IEEE Int'l Requirements Engineering Conf. (RE 2006). IEEE, 2006. 29-38.[doi:10.1109/RE.2006.38]
    [50] Maiden N, Seyff N, Grünbacher P, Otojare OO, Mitteregger K. Determining stakeholder needs in the workplace:How mobile technologies can help. Software, 2007,24(2):46-52.[doi:10.1109/MS.2007.40]
    [51] Seyff N, Graf F, Grünbacher P, Maiden N. Mobile discovery of requirements for context-aware systems. In:Proc. of the Requirements Engineering:Foundation for Software Quality. Berlin, Heidelberg:Springer-Verlag, 2008. 183-197.[doi:10.1007/978-3-540-69062-7_18]
    [52] Inverardi P, Mori M. Requirements models at run-time to support consistent system evolutions. In:Proc. of the 20112nd Int'l Workshop on Requirements@Run. Time (RE@RunTime). IEEE, 2011. 1-8.[doi:10.1109/ReRunTime.2011.6046241]
    [53] Liang W, Qian W, Wu Y, Peng X, Zhao W. Mining context-aware user requirements from crowd contributed mobile data. In:Proc. of the 7th Asia-Pacific Symp. on Internetware. ACM Press, 2015. 132-140.[doi:10.1145/2875913.2875933]
    [54] Zhang Y, Lü TJ, Li HQ. Improved N-gram prediction model research based on context-aware environment. Microcomputer Applications, 2009,30(9):1-7(in Chinese with English abstract).
    [55] Shu FD, Zhao YZ, Wang J. User-Driven requirements elicitation method with the support of personalized domain knowledge. Journal of Computer Research and Development, 2007,44(6):1044-1052(in Chinese with English abstract).
    [56] Henricksen K, Indulska J. Developing context-aware pervasive computing applications:Models and approach. Pervasive and Mobile Computing, 2006,2(1):37-64.[doi:10.1016/j.pmcj.2005.07.003]
    [57] Huang J, Yang H, Xu L, Xu B, Zhang H. Supporting context-Aware service evolution with a process management requirements model. In:Proc. of the 2011 IEEE Int'l Conf. on Service-Oriented Computing and Applications (SOCA). IEEE, 2011. 1-8.[doi:10. 1109/SOCA.2011.6166229]
    [58] Chen XH, Liu J. Modeling software timing requirements:An environment based approach, 2013,36(1):88-103(in Chinese with English abstract).
    [59] Nakagawa H, Ohsuga A, Honiden S. Constructing self-adaptive systems using a kaos model. In:Proc. of the 2nd IEEE Int'l Conf. on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2008). IEEE, 2008. 132-137.[doi:10.1109/SASOW.2008.35]
    [60] Dalpiaz F, Giorgini P, Mylopoulos J. Adaptive socio-technical systems:A requirements-based approach. Requirements Engineering, 2013,18(1):1-24.[doi:10.1007/s00766-011-0132-1]
    [61] Sutcliffe A, Sawyer P. Modeling personalized adaptive systems. In:Proc. of the Advanced Information Systems Engineering. Berlin, Heidelberg:Springer-Verlag, 2013. 178-192.[doi:10.1007/978-3-642-38709-8_12]
    [62] Burnay C, Jureta IJ, Linden I, Faulkner S. A framework for the operationalization of monitoring in business intelligence requirements engineering. Software & Systems Modeling, 2016,15(2):531-552.[doi:10.1007/s10270-014-0417-1]
    [63] Lapouchnian A, Mylopoulos J. Modeling domain variability in requirements engineering with contexts. In:Proc. of the Conceptual Modeling-ER 2009. Berlin, Heidelberg:Springer-Verlag, 2009. 115-130.[doi:10.1007/978-3-642-04840-1_11]
    [64] Ali R, Dalpiaz F, Giorgini P. A goal-based framework for contextual requirements modeling and analysis. Requirements Engineering, 2010,15(4):439-458.[doi:10.1007/s00766-010-0110-z]
    [65] Sun J, Liu F, Zhang H, Liu L, Yu E. Understanding the diversity of services based on users' identities. In:Proc. of the CAiSE. 2011. 612-626.[doi:10.1007/978-3-642-21640-4_45]
    [66] Salifu M, Yu Y, Nuseibeh B. Specifying monitoring and switching problems in context. In:Proc. of the 15th IEEE Int'l Requirements Engineering Conf. (RE 2007). IEEE, 2007. 211-220.[doi:10.1109/RE.2007.21]
    [67] Liu C, Zhang W, Zhao H, Jin Z. A problem oriented approach to modeling feedback loops for self-adaptive software systems. In:Proc. of the 201219th Asia-Pacific Software Engineering Conf. (APSEC). IEEE, 2012. 440-445.[doi:10.1109/APSEC.2012.77]
    [68] Salifu M, Yu Y, Bandara AK, Nuseibeh B. Analysing monitoring and switching problems for adaptive systems. Journal of Systems and Software, 2012,85(12):2829-2839.[doi:10.1016/j.jss.2012.07.062]
    [69] Raji A, Dhaussy P. Use cases modeling for scalable model-checking. In:Proc. of the 201118th Asia Pacific Software Engineering Conf. (APSEC). IEEE, 2011. 65-72.[doi:10.1109/APSEC.2011.25]
    [70] Ivarsson M, Gorschek T. Technology transfer decision support in requirements engineering research:A systematic review of REj. Requirements Engineering, 2009,14(3):155-175.[doi:10.1007/s00766-009-0080-1]
    [71] Guba EG, Lincoln YS. Fourth Generation Evaluation. Newbury Park:SAGE Publications, 1989.
    [72] Rogers EM. Diffusion of Innovations. New York:Simon and Schuster, Inc., 2010.
    [73] Sreethar S, Baburaj E. Investigation on context-aware service discovery in pervasive computing environments. In:Proc. of the Intelligent Informatics. Berlin, Heidelberg:Springer-Verlag, 2013. 393-403.[doi:10.1007/978-3-642-32063-7_42]
    [74] Bencomo N. Requirements for self-adaptation. In:Proc. of the Generative and Transformational Techniques in Software Engineering IV. Berlin, Heidelberg:Springer-Verlag, 2011. 271-296.[doi:10.1007/978-3-642-35992-7_7]
    [75] Wiesner S, Gorldt C, Soeken M, Thoben KD, Drechsler R. Requirements engineering for cyber-physical systems. In:Proc. of the Advances in Production Management Systems; Innovative and Knowledge-Based Production Management in a Global-Local World. Berlin, Heidelberg:Springer-Verlag, 2014. 281-288.[doi:10.1007/978-3-662-44739-0_35]
    [76] Almaliki M, Faniyi F, Bahsoon R, Phalp K, Ali R. Requirements-Driven social adaptation:expert survey. In:Proc. of the Requirements Engineering:Foundation for Software Quality. Springer Int'l Publishing, 2014. 72-87.[doi:10.1007/978-3-319-05843-6_6]
    [77] Hong J, Suh E, Kim SJ. Context-Aware systems:A literature review and classification. Expert Systems with Applications, 2009, 36(4):8509-8522.[doi:10.1016/j.eswa.2008.10.071]
    [78] Alegre U, Augusto JC, Clark T. Engineering context-aware systems and applications:A survey. Journal of Systems and Software, 2016,117:55-83.[doi:10.1016/j.jss.2016.02.010]
    附中文参考文献:
    [19] 李颖智,肖来元.基于情境感知技术的智慧城市服务系统研究.计算机工程与科学,2016,38(3):443-448.
    [20] 薛霄,常静坤,曾志峰,安吉宇.基于情境感知的智慧矿山服务系统研究.计算机工程与科学,2013,35(9):36-44.
    [54] 张芸,吕廷杰,李海强.基于情景感知的N-gram改进预测模型研究.微计算机应用,2009,30(9):1-7.
    [55] 舒风笛,赵玉柱,王继.个性化领域知识支持的用户主导需求获取方法.计算机研究与发展,2007,44(6):1044-1052.
    [58] 陈小红,刘静.基于环境的多形态时间需求建模方法.计算机学报,2013,36(1):88-103.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

栗元邦,彭蓉,季晶晶,王帮超,赖涵.经验研究中情景感知需求获取与建模系统文献综述.软件学报,2018,29(2):320-339

复制
分享
文章指标
  • 点击次数:4509
  • 下载次数: 7474
  • HTML阅读次数: 3994
  • 引用次数: 0
历史
  • 收稿日期:2017-04-11
  • 最后修改日期:2017-06-04
  • 在线发布日期: 2017-11-29
文章二维码
您是第19894093位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号