Constraint propagation and progressive verification for component-based process model Article

Deng, Y, Wang, J, He, XD et al. (2004). Constraint propagation and progressive verification for component-based process model . INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 14(5), 471-496. 10.1142/S0218194004001750

cited authors

  • Deng, Y; Wang, J; He, XD; Tsai, JJP

authors

publication date

  • October 1, 2004

published in

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • SPECIFICATION
  • Science & Technology
  • Technology
  • constraints verification
  • petri nets
  • system composition
  • system design
  • temporal logic

Digital Object Identifier (DOI)

publisher

  • WORLD SCIENTIFIC PUBL CO PTE LTD

start page

  • 471

end page

  • 496

volume

  • 14

issue

  • 5