Qi-wen Zhang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the described system. To solve these problems, a novel formalization method of UML2.0 sequence diagram based on the temporal description logics(TDLs) is proposed in this paper.(More)
Supply chain collaboration (SCC) becomes a critical symbol of enterprise competitiveness. Restructuring of SCC requires combination among different business process unit on distributed node. Combinatorial technology based on WSC provides a system integrated environment for openly restructuring business process unit between enterprise collaboration,(More)
  • 1