{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T21:03:59Z”，“时间戳”：1649019839143}，“引用-计数”：7，“发布者”：“世界科学出版社私人有限公司”，“问题”：“02”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-contain惰性物质”：[“国际期刊。柔软。工程知识。英语“]，”published-print“：{”date-parts“：[[2013,3]]}，”abstract“：”本文介绍了SyBeL（系统行为建模语言），这是一种基于XML的软件系统建模形式。特别是，SyBeL侧重于系统行为的描述，以捕获其功能需求，并设计用于满足一些最流行的软件工程问题。底层XML语言的使用使得SyBeL生成的工件可以立即用于进一步的自动操作（例如，自动生成测试用例），而不需要中间模型，就像通常在半形式化方法中所做的那样。此外，我们正在各种实际案例研究中试验SyBeL<\/jats:p>“，”DOI“：”10.1142\/s02181940135006x“，”type“：”journal-article“，”created“：{”date-parts“：[[2013,6,18]]，”date-time“：”2013-06-18T03:52:24Z“，”timestamp“：1371527544000}，”page“：“223-257”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“SyBeL:一种系统建模语言增强软件开发过程中的自动支持“]，”前缀“：”10.1142“，”卷“：”23“，”作者“：[{”给定“：”GIUSEPPE DELLA“，”家族“：”PENNA“，“sequence”：“first”，“affiliation:[{“name”：“拉奎拉大学计算机科学系，via Vetoio，Coppito，L'Aquila 67100，Italy”}]}，{“给定”：“SERGIO”，“family”：拉奎拉大学计算机科学系，via Vetoio，Coppito，L'Aquila 67100，Italy“}]}，{”given“：”BENEDETTO“，”family“：”INTRIGILA“，”sequence“：”additional“，”affiliation“：[{”name“：”University of Rome“Tor Vergata”数学系，via-Orazio Raimondo，Rome 00173，Itali“}]neneneep，{“given”：“DANIELE”，“family”：“MAGAZENI”，“sequence“：”additional“，”affiliation“：[{”name“：”英国伦敦WC2R 2LS，伦敦斯特兰德国王学院信息学系“}]}，{”given“：”ROBERTO DEL“，”family“：”SORDO“，”sequence”：“additional”，“affiliance”：[{“name”：“SinergieIT sri，via Giacomo Dina，Rome 00128，Italy”}]}，{“given”：“GIUSEPPE CARDINALE”，“family”：“CICCOTTI”，“sequence“”从属关系“：[{“name”：“技术创新咨询办公室，INAIL\u2014意大利工人赔偿管理局，via Santuario Regina degli Apostoli，Rome 00145，Italy”}]}]，“成员”：“219”，“在线发布”：{“date-parts”：[[2013,6,17]]}，“reference”：[{“key”：“rf2”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1025890110119”}，{“密钥”：“r5”，“series-title“：”Prentice Hall计算机科学国际系列“，”volume-title“：”通信系统的有限转换系统\u2014语义“，”author“：”Arnold Andr\u00e9“，”year“：”1994“}，{“key”：“rf6”，”doi-asserted-by“：”publisher“，”doi“：”10.1142\/S02189008066“}面向对象软件工程：一种用例驱动方法”，“author”：“Jacobson I.”，“year”：“1992”}，{“key”：“rf12”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/PL00010342”}、{“key”：”rf16“，”volume-title“：”The Unified Modeling Language Reference Manual“，”author“：”Rumbaugh J.“对象约束语言：用Uml精确建模”，“author”：“Warmer J.B.”，“year”：“1998”}]，“container-title”：[“International Journal of Software Engineering and Knowledge Engineering”]，“original title”：[]，“Language”：“en”，“link”：[{“URL”：“https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S02181940135006X”，“content-type”：“unspecified”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,8,6]]，”date-time“：”2019-08-06T19:26:56Z“，”timestamp“：1565119616000}，”score“：1，”resource“：{“primary”：{“URL”：“https:\//www.worldscience.com\/doi\/abs\/10.1142\/S021840135006X”}，“subtitle”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2013,3]]}，“references-count”：7，“journal-issue”：{“issue”：“02”，“published-online:{“date-parts”：[[2013,6,17]]}，“published-print”：{“date-parts”：[[2013,3]]}}，”alternative-id“：[”10.1142\/S02819401350006X“]，”URL“http://\/dx.doi.org\/10.1142\/s02181940135006x”，“relation”：{}、“ISSN”：[“0218-1940”，“1793-6403”]，“ISSN-type”：[{“value”：“0218-1440”，”type“：”print“}，{“值”：“1793-6403”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2013,3]]}}