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]

Authors

Richard Hull

This author has not been identified. Look up 'Richard Hull' in Google

Elio Damaggio

This author has not been identified. Look up 'Elio Damaggio' in Google

Fabiana Fournier

This author has not been identified. Look up 'Fabiana Fournier' in Google

Manmohan Gupta

This author has not been identified. Look up 'Manmohan Gupta' in Google

Fenno Terry Heath

This author has not been identified. Look up 'Fenno Terry Heath' in Google

Stacy Hobson

This author has not been identified. Look up 'Stacy Hobson' in Google

Mark H. Linehan

This author has not been identified. Look up 'Mark H. Linehan' in Google

Sridhar Maradugu

This author has not been identified. Look up 'Sridhar Maradugu' in Google

Anil Nigam

This author has not been identified. Look up 'Anil Nigam' in Google

Piyawadee Sukaviriya

This author has not been identified. Look up 'Piyawadee Sukaviriya' in Google

Roman Vaculín

This author has not been identified. Look up 'Roman Vaculín' in Google