免费论文：鉴于模子查看的处事流的进程构造考证接洽

处事流是一个运转的交易过程。处事流处置的手段是为了让符合的人或软硬件在适合的功夫实行精确的处事。它的重要特性是使处置进程机动化，使人和百般运用东西共同实行交易震动。一个处事流是精确的，常常包括三个上面，辨别是语法精确、构造精确和语义精确。正文所计划的是处事流的构造精确性。构造精确性是指处事流不生存构造特殊，在实行进程中不妨平常中断。暂时，保护软硬件精确性的本领主假如经过软硬件尝试。然而软硬件尝试不只资源奢侈大，体例查看性也不够强。为了最早的创造题目，最径直的本领即是举行体例建立模型，模子领会和体例本质考证。模子查看是实足机动且高效的情势考证本领。过程二十有年的兴盛，变成了最胜利的情势化机动考证本领之一。正文的接洽目的是经过模子查看的本领对处事流的进程构造本质举行考证。正文的接洽功效囊括以次几个上面：运用UML里面包括的扩充体制，对UML震动图举行扩充，将UML建立模型与模子查看本领贯串，承诺用户在处事流中运用UML原模子不扶助、而模子查看本领中私有的语汇来刻画体例。作品给出了一种由矫正的UML模子到PROMELA的变换计划。经过两者的贯串，使得处事流建立模型既用户和睦可视化又可经过模子查看本领保证其论理的精确性。为了更好的扶助用户和睦性，作品给出了一个和睦的用户界面，该界面在Eclipse下开拓，运转在Windows+SPIN+MinGW坏境下。按照给出的建立模型计划和变换本领，作品给出一个范例，并举行试验，并对试验截止举行了领会证明。在作品的结果，作品将正文提出的本领与其余举行了比较领会，越发精确了计划的对立上风。

来源：半壳优胜育转载请保留出处和链接！

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