{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,6]]，“日期时间”：“2024-06-06T18:03:15Z”，“时间戳”：1717696995132}，“引用计数”：38，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：{'日期部分“：[2005,10,1]]，”日期时间“：“2005-10-01T00:00:00Z”，“时间戳”：1128124800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：2882，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[2005,10]]}，”DOI“：”10.1016\/j.ic.2004.08.004“，”type“：”journal-article“，”created“：{”date-part“：[[20005,8,31]]，”date-time“：”2005-08-31T11:09:05Z“，”timestamp“：1125486545000}“page”：“1-38”，“source”：“Crossref”、“is-referenced-by-count”：58，“title”：[“正规MSC语言理论”]，“prefix”：“10.1016”，“volume”：“202”，“author”：[{“given”：”Jesper G.“，”family“：”Henriksen“，”sequence“：”first“，”affiliation“：[]}，{“给定”：“Madhavan”，“family”：“Mukund”，“sequence”：“additional“，”从属“：[]}，{”给定“：“Milind”，“family”：“Sohoni”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“P.S.”，”family“：”Thiagarajan“，”sequence“：”additional“，”affiliation:[]}]，“member”：“78”，“reference”：[{“issue”：“2”，“key”：”10.1016\/j.ic.2004.08.004_bib1“，”“首页”：“70”，“article-title”：“消息序列图分析器”，“卷”：“17“，“作者”：“Alur”，“年份”：“1996”，“journal-title”：“软件概念工具”}，{“key”：“10.1016\/j.ic.2004.08.004_bib2”，“series-title”：《第十届并发理论国际会议论文集》（CONCUR\u201999），“首页”：“114”，《文章-标题》：“消息序列图的模型检查”，“author”：“Alur”，”year“1999”}、{“key”：”10.1016\/j.ic.2004.004_bib3“，“series-title”：“第二十二届国际软件工程会议论文集（ICSE 2000）”，“首页”：“304”，“文章标题”：“消息序列图的推断”，“作者”：“Alur”，“年份”：“2000”}，{“key”：“10.1016\/j.ic.2004.08.004_bib4”，“series标题”：“Proceedings Automata，Languages and Programming，28th International Collocium（ICALP 2001）”，“first page”：“797”，“article-title”：“MSC图的可实现性和验证”，“author”：“Alur”，“year”：“2001”}，{“key”：”10.1016\/j.ic.2004.08.004_bib5“，”series-title“：“第三届系统构建与分析工具与算法研讨会论文集（TACAS\u201997）”，“首页”：“259”，“文章标题”：“消息序列图中进程分歧与非局部选择的句法检测”，“作者”：“Ben-Abdallah”，“年份”：“1997”}，{“key”：“10.1016\/j.ic.2004.08.004_bib6”，“series-title”：“第五届软件科学和计算结构基础国际会议论文集（FOSSACS\u201902）”，“首页”：“52”，“文章标题”：“通用常规MSC语言”，“作者”：“Bollig”，“年份”：“2002”}，{“key”：“10.1016\/j.ic.2004.08.004_bib7”，“series-title”：“统一建模语言用户指南”，“author”：“Booch”，“年份”：“1997”｝，｛“密钥”：“10.1016\/j.ic.2004.08.0004_bi8”，“doi断言者”：“crossref”，“首页”：“66”，“doi”：“10.1002\/malq.19600060105”，“文章标题”：“弱二阶算术和有限自动机”，“卷”：“6”，“作者”：“B\u00fcchi”，“年份”：“1960”，“期刊标题”：“Z.Math.Logk-Grundl.Math.”｝，｛“问题”：“1”，“密钥”：“10.1016\/j.ic.2004.08.004_bib9”，“doi-asserted-by”：“crossref”，“first page”：“59”，“doi”：“10.106\/0890-5401（87）90040-X”，“article-title”：“Semi-commutations”，“volume”：”73“，“author”：“Clerbout”，”year“1987”，“journal-title“：”Informat.Comput.“}，{”issue“：”1“，”key“10.1016”//j.ic.2004-2000 8.004_bib10“，”doi-asserted-by“：”crossref“，”first page“：”45“，”doi“：“10.1023\/A:1011227529550”，“article-title”：“LSCs:将生命呼吸到消息序列图中”，“volume”：“19”，“author”：“Damm”，“year”：“2001”，“journal-title“：”Formal Methods Syst.Des.“}，{“key”：”10.1016\/j.ic.2004.08.004_bib11“，”series-title“：“The Book of Traces”，”year“1995”}，}“issue”：“1”，“key“：”10.116\/j-i c.2004.08.004_bib12“，”doi-asserted-by“：“crossref”，“first page”：“67”，“DOI”：“10.1016\/0304-3975（95）00130-1”，“article-title”：“无限记录道上的逻辑可定义性”，“volume”：”154“，“author”：“Ebinger”，“year”：“1996”，“journal-title“：”Theor.Comput.Sci.“}，{”key“：”10.1016\/j.ic.2004.08.004_bib13“，”series-title“：“第29届国际自动化、语言和编程学术讨论会论文集（ICALP\u201902）”，“首页”：“657”，“文章标题”：“无限状态高级MSCs:模型检查和可实现性”，“作者”：“Genest”，“年份”：“2002”}，{“key”：“10.1016\/j.ic.2004.08.004_bib14”，“doi-asserted-by”：“crossref”，“第一页”：”31“doi”：“10.1109\/2.596624”，“article-title”：“使用状态图进行可执行对象建模”，“volume”：“1997”，“author”：“Harel”，“year”：“1997”，“journal-title“：”IEEE Compute.“}，{“key”：”10.1016\/j.ic.2004.08.004_bib15“，“unstructured”：“D.Harel，R.Marelly，指定和执行行为要求：播放方式，软件系统模型。”}，{“key”：“10.1016\/j.ic.2004.08.004_bib16”，“series-title”：“计算机辅助设计中的形式方法，第四届国际会议（FMCAD 2002）”，“首页”：“378”，“文章-标题”：“行为要求的智能播放”，“作者”：“Harel”，“年份”：“2002”}，{“key”：：“2000年自动化、语言和编程国际学术讨论会论文集（ICALP\u201900）”，“首页”：“675”，“文章标题”：“关于消息序列图和有限生成的正则MSC语言”，“作者”：“Henriksen”，“年份”：“2000”}，{“key”：“10.1016\/j.ic.2004.08.004_bib18”，“series-title”：“2000年计算机科学数学基础会议论文集（MFCS\u201900）”，“第一页”：“405”，“文章标题”：“消息序列图的常规集合”，“作者”：“Henriksen”，“年份”：“2000”}，{“key”：“10.1016\/j.ic.2004.08.004_bib19”，“非结构化”：“ITU-TS建议Z.120：消息序列图（MSC），ITU-TS，日内瓦（1997）。“}，{”key“：”10.1016\/j.ic.2004.08.004_bib20“，”series-title“：”计算机科学理论方面研讨会论文集“，”首页“：”489“，”article-title“：“迈向正规MSC语言理论的又一步”，“author”：“Kuske”，“year”：“2002”}，“issue”：“5”，“key”：“10.1016\/j.ic.2004.08.004 _bib21”，“doi-asserted-by”：“crossref”，“”首页”：“473”，“DOI”：“10.1007\/BF01211629”，“文章标题”：“解释消息流图”，“卷”：“7”，“作者”：“Ladkin”，“年份”：“1995”，“期刊标题”：“形式方面计算。“}，{”key“：”10.1016\/j.ic.2004.08.004_bib22“，”series-title“：”第七届软件开发理论与实践国际会议（TAPSOFT\u201997）“，”first page“：“652”，”article-title“：“通过模板匹配验证消息序列图”，”author“：”Levin“，”year“1997”}，”{“key”：“10.1016\/j.ic.2004.08.004 _bib23”，“series-title“：“第27届国际自动化、语言和程序设计学术讨论会论文集（ICALP\u201900）”，“首页”：“396”，“文章标题”：“关于消息序列图的顺序和分支行为的推理”，“作者”：“Madhusudan”，“年份”：“2001”}，{“key”：“10.1016\/j.ic.2004.08.004_bib24”，“series-ttle”：“《第21届软件技术与理论计算机科学基础会议论文集》（FSTTCS\u201901）“，“首页”：“256”，“文章标题”：“超越消息序列图”，“作者”：“Madhusudan”，“年份”：“2001”}，{“key”：“10.1016\/j.ic.2004.08.004_bib25”，“第一页”：author“：”Mauw“，”year“：”1997“}，{“key”：“10.1016\/j.ic.2004.08.004_bib26”，“series-title”：“第十一届并行理论国际会议论文集（CONCUR 2000）”，“首页”：“521”，“article-title”：”从MSCs合成分布式有限状态系统“，”author：“Mukund”，“year”：“2000”}，}“issue”：“1”，”key“：”10.1016\/j.ic.2004.08.004_bib27“，”doi-asserted-by“：”crossref“，”first page“：”221“，”doi“：”10.1016\/S0304-3975（01）00329-2“，”article-title“：”消息传递系统中的有界时间戳“，”volume“：“290”，“author”：“Mukund”，“year”：“2003”，“journal-title”：“Theor。计算。科学。“}，{”key“：”10.1016\/j.ic.2004.08.004_bib28“，”series-title“：”第二届软件科学与计算结构基础国际会议（FOSSACS\u201999）“，”首页“：”273“，”article-title“：“消息序列图的匹配规范”，”author“：”Muscholl“，”year“：”1999“}”，{“key”：“”10.1016\/j.ic.2004.08.004_bib29”，“series-title”：“第24届计算机科学数学基础国际研讨会论文集（MFCS\u201999）”，“首页”：“81”，“文章-title”：“Mazurkiewicz迹上的消息序列图和决策问题”，“作者”：“Muscholl”，“年份”：“1999”}，{“关键字”：“10.1016\/j.ic.2004.004_bib30”，“series-title“：”《第一届软件科学和计算结构基础国际会议论文集》（FOSSACS\u201998）“，”第一页“：”226“，”article-title“：“决定消息序列图的属性”，”author“：”Muscholl“，”year“：”1998“}，{”key“：”10.1016\/j.ic.2004.08.004_bib31“，”doi-asserted-by“：”crossref“，”unstructured“：”E.Rudolph，P.Graubmann，J.Grabowski，消息序列图教程，见：计算机网络和ISDN系统\u2014SDL和MSC，第28卷，1996年。”，“DOI”：“10.1016/0169-7552（95）00122-0”，{“key”：“10.1016/J.ic.2004.08.0004_bi22”，“series title”：“第一届拉丁美洲理论信息学研讨会论文集（Latin\u201992）”首页“：”460“，”article-title“：”rational trace languages的\u201clast\u201d决策问题“，”author“：”Sakarovitch“，”year“：”1992“}，{“key”：“10.1016\/j.ic.2004.08.004_bib33”，“series-title”：“第六届并行理论国际会议论文集（CONCUR\u201995）”，“first page”：”438“，“article-title”：”PTL的跟踪一致子集“，”volume“：”962“，”author“：”Thiagarajan“，”year“：”1995“}，{”issue“：”2“，“key”：“10.1016\/j.ic.2004.08.004_bib34”，”doi-asserted-by“：”crossref“，”first page“：作者“：”Thiagarajan”，“年份”：“2002年”，“新闻标题”：“Informat。计算。“}，{”key“：”10.1016\/j.ic.2004.08.004_bib35“，”series-title“：”理论计算机科学手册，B卷：形式模型和语义“，”first page“：“133”，”article-title“：“无限对象上的自动机”，“author”：“Thomas”，“year”：“1990”}，”{“key”：“10.1016\/j.ic.2004.08.004 _bib36”，“first pages”：“389”，“article-title”：“语言、自动机和逻辑”，“卷“：”第三卷“，”作者“：”托马斯“，”年份“：”1997“}，{“key”：“10.1016\/j.ic.2004.08.004_bib37”，“首页”：“332”，“article-title”：“自动程序验证的自动机理论方法”，“author”：“Vardi”，“year”：“1986”}，“key“：”10.1016\/j.ic.2004.08.004 _bib38“，”第一页“：”99“，”文章-title“：”有限异步自动机注释“，”卷“：”21“，”作者“：”齐埃隆卡“，”年份“：”1987“，”新闻标题“：”R.A.I.R.O.Informat。Th\u00e9或。申请。“}]，”container-title“：[”Information and Calculation“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S089054010500088X？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S089054010500088X？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,1,22]]，“date-time”：“2019-01-22T17:21:37Z”，“timestamp”：1548177697000}，“score”：1，“resource”：{primary“：{”URL“：”https:\\/linkinghub.elsevier.com//retrieve\/pii\/S089 054010500088X“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2005,10]]}，”references-count“：38，”journal-issue“：{“issue”：“1”，”published-print“：{”date-ports“：[2005,10]}}，“alternative-id”：[“S089054010500088X”]，“URL”：“http://\/dx.doi.org\/10.10016\/j.ic.2004.08.004”，“relation”：{}、“ISSN”：[”0890-5401“]，”ISSN-type“：[{”value“：”0890-5401“，”type“:”print“}]，”subject“：[]，“发布了“：{“date-parts”：[[2005,10]]}}}