Titlebook: Structured Object-Oriented Formal Language and Method; Third International Shaoying Liu,Zhenhua Duan Conference proceedings 2014 Springer

employor

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling specification can be constructed in an evolutionary manner; meanwhile, appropriate services are discovered and selected through the specification evolution. We illustrate the basic principle underlying the tool. The tool design and its implementation are also described. An example is presented to demonstrate major features of this tool.

AUGER

多骨

MAOIS

Suppository

sebaceous-gland

Shaoying Liu,Zhenhua DuanIncludes supplementary material:

独轮车

承认

Blatant

巨头

Improved Net Reductions for LTL,X Model Checkingransitions and places could be removed from the synchronization of Büchi automata obtained from LTL.X formulae and 1-safe Petri nets with the new proposed rules. As a result, a compact synchronization is generated. This is useful in improving efficiency of LTL.X model checking of 1-safe Petri nets.