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
    Background Citations
    1
    Methods Citations
    2

    Topics from this paper

    Explore Further: Topics Discussed in This Paper

      3 Citations
      Citation Type

      Citation Type

      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