DSpace Repository

Browsing Technical Reports by Author "Jin Song DONG"

Browsing Technical Reports by Author "Jin Song DONG"

Sort by: Order: Results:

  • Jin Song DONG; Yuanfang LI; Hai WANG (2004-02-01)
    Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise and powerful modelling techniques to capture ...
  • Jin Song DONG; Ping HAO; Sheng Chao QIN; Jun SUN; Yi WANG (2003-06-01)
    The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting more complete and coherent requirement models for complex real-time systems. However, the challenge is how ...

Search DSpace


Browse

My Account