Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles

Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, Roman VaculĂ­n. Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. In Mario Bravetti, Tevfik Bultan, editors, Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Volume 6551 of Lecture Notes in Computer Science, pages 1-24, Springer, 2010. [doi]

No reviews for this publication, yet.