Qi-wen Zhang

Learn 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)
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)
  • 1