Corpus ID: 61500658

A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain

@inproceedings{Guelfi2004AFA,
  title={A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain},
  author={N. Guelfi and A. Mammar and B. Ries},
  year={2004}
}
  • N. Guelfi, A. Mammar, B. Ries
  • Published 2004
  • Computer Science
  • 3 Citations

    Topics from this paper

    Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions
    • 9
    • PDF
    A formal semantics of timed activity diagrams and its PROMELA translation
    • N. Guelfi, A. Mammar
    • Computer Science
    • 12th Asia-Pacific Software Engineering Conference (APSEC'05)
    • 2005
    • 59
    • PDF
    Efficient: A Toolset for Building Trusted B2B Transactions
    • 16
    • PDF