Generating Class Contracts from Deterministic UML Protocol Statemachines.

Ivan Porres Irum Rauf

Published in: MoDELS (Workshops) (2009)

Keyphrases

supply chain
lightweight
database design
object oriented modeling
database
web services
object oriented
electronic commerce
modeling language
formal analysis