免费论文摘要：构件动作情势化刻画与考证本领接洽

鉴于构件的软硬件开拓本领（Component-Based Software Development，CBSD）运用已有的构件来组建新的软硬件体例，不妨灵验普及软硬件开拓功效，贬低开拓用度，普及软硬件的品质和真实性。所以，构件本领在软硬件开拓中的运用越来越普遍，并渐渐浸透到及时体例的开拓中。暂时，已有越来越多的软构件体例安置运用到宇航航天、军事进程遏制、引导通信、交通处置等及时遏制范围。这类人命攸关和安定攸关范围的及时构件体例对精确性、真实性等确凿本质诉求较高，少许情景下体例即使没辙在诉求的功夫内实行规则举措，大概会激励宏大的灾害。然而，这类体例常常具备运用范围宏大、搀杂性高档特性，体例各构成构件之间常常交互一再，时序动作搀杂，将它们组建到一道时常常展示构件间动静动作不相容、动作和议辩论等百般难以预见的缺点。保护体例在功效和本能（功夫）上的精确性与真实性，提防灾害的爆发，是暂时搀杂反馈式软硬件构件本领所面对的重要挑拨之一。情势化刻画具备普遍、简略、无二义性、透彻等特性，鉴于软硬件体例的情势化刻画即可对该体例的百般确凿本质举行机动领会和考证，所以对搀杂构件体例的动作举行情势化刻画和考证对于普及体例的精确性、真实性与安定性具备要害意旨。在对暂时国表里接洽近况所有领会归纳的普通上，正文对准怎样刻划和考证构件动作的功夫性和交互性等题目，鉴于SOFA（SOFtware Appliances）构件模子，从构件动作的情势化刻画本领、构件动作相容性和可替代性的考证、构件搀杂交互动作刻画、面向大范围搀杂构件体例的功夫动作和议约减本领和考证本领等几个上面举行了体例深刻的接洽，重要处事囊括：1）提出了鉴于SOFA构件模子的构件及时动作的情势化刻画表面。对准动作和议（Behavior Protocol，BP）没辙刻画构件动作的功夫特性等题目，咱们提出了功夫动作和议（Timed Behavior Protocol，TBP），给出了庄重的语法、语义刻画。TBP谈话具备杰出的情势化普通，语法语义设置完备，对带功夫的并发过程表白明显，简略，容易进修和控制，符合于对及时并发构件体例动作的建立模型。在体例建立模型的普通上，体例领会职员、步调安排职员和用户不妨经过模子举行交谈，制止歧异性，更要害的是情势化模子为体例的情势化领会和机动考证供给了普通。过程及时扩充后，动作和议考证华夏已完备的动作相容性、死锁查看等考证本领均可接受。其余，因为体例中介入了功夫，可设置构件动作中与功夫关系的活性、安定性等本质，并对体例的那些本质举行考证，咱们为此供给了表面普通。2）给出了构件功夫动作和议的相容性、可替代性考证表面，并开拓了相映的考证东西。为更好地扶助搀杂及时构件体例的开拓，咱们必需供给对准TBP模子的考证表面和机动化考证东西。构件动作的情势化刻画、考证应以构件模子为普通，咱们引见了鉴于功夫动作和议的构件模子，给出了构件模子的情势化设置；领会了体例内两个构件之间大概的联系，给出鉴于构件模子和功夫动作和议的构件组建表面；给出了功夫动作和议的相容性表面，领会了构件拉拢中罕见的相容性缺点，给出了考证本领；给出了鉴于功夫动作和议的构件代替性表面、考证本领和平条约减本领。咱们鉴于模子检查表面开拓了功夫动作和议拉拢和考证东西TCBV（Timed Component Behavior Verifier），该东西实行了构件功夫动作和议的输出、编纂、图形表露、动作拉拢、精化功效，并扶助对动作和议举行相容性、可代替性领会考证，把鉴于构件的确凿拉拢的情势化刻画本领和构件拉拢的确凿本质考证贯串了起来，从表面和试验观点考证了构件拉拢的确凿性。3）鉴于自效果表面接洽了构件的搀杂交互动作，提出了功夫构件交互自效果表面。引见了构件交互动作情势化建立模型的两类本领及优缺陷，在此普通上提出了功夫构件交互自效果（Timed Component Interaction Automata，TCIA）的建立模型本领，给出了功夫构件交互自效果的关系设置、拉拢算法和运用示例。功夫构件交互自效果引入了功夫牵制、功夫价格、功夫价格计划半环、构件拉拢档次等观念，既不妨领会地刻画构件交互情景，又不妨表白出构件体例的体制构造消息和及时消息。4）提出了面向搀杂构件体例的功夫动作和议及其数据笼统本领，给出了鉴于遏制流的自上而下的搀杂构件体例动作刻画和考证本领。为了对搀杂体例动作举行建立模型，咱们扩充了TBP，承诺事变带参数，并引入IF THEN ELSE、WHILE等操纵来扶助搀杂体例的刻画，而且接洽了对准搀杂TBP步调的数据笼统表面。为刻画搀杂体例的动作和功夫牵制消息，咱们提出了功夫动作遏制流自效果（Timed Behavior Control Flow Automata，TBCFA）模子，给出了它的语法和语义设置。经过领会TBCFA，咱们不妨结构构件可达图（Component Reachability Graph，CRG）以扶助体例领会和考证，给出了CRG的结构和考证本领。这对于搀杂构件体例动作刻画和考证具备要害意旨。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/208365.html