Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions

@inproceedings{Guelfi2004EngineeringOD,
  title={Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions},
  author={N. Guelfi and Guillaume Le Cousin and B. Ries},
  booktitle={OTM Workshops},
  year={2004}
}
  • N. Guelfi, Guillaume Le Cousin, B. Ries
  • Published in OTM Workshops 2004
  • Computer Science
  • For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the modeling language should provide reusability, easy understanding by business analysts, and should ease the validation and verification tasks. In this paper, we present an approach for developing dependable complex business processes using UML that satisfies these requirements. The proposed UML… CONTINUE READING
    9 Citations
    Using event-driven process chains for model-driven development of business applications
    • 19
    • PDF
    Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA
    • PDF
    Goal-Driven Multi-Process Analysis
    • 74
    • PDF
    Improving reliability of cooperative concurrent systems with exception flow analysis
    • 5
    • PDF
    Verification of coordinated exception handling
    • 10
    • Highly Influenced
    Computing Science Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis Bibliographical Details Improving the Reliability of Cooperative Concurrent Systems with Exception Flow

      References

      SHOWING 1-10 OF 19 REFERENCES
      Semantics and Verification of UML Activity Diagrams for Workflow Modelling
      • 257
      • PDF
      UML Activity Diagrams as a Workflow Specification Language
      • 406
      • PDF
      From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach
      • S. Chachkov, Didier Buchs
      • Computer Science
      • Proceedings Second International Conference on Application of Concurrency to System Design
      • 2001
      • 29
      • PDF
      Tool support for verifying UML activity diagrams
      • 147
      • PDF
      Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
      • 83
      Business Modeling With UML: Business Patterns at Work
      • 917
      • PDF
      Fault tolerance in concurrent object-oriented software through coordinated error recovery
      • 222
      • PDF
      Nested Transactions: An Approach to Reliable Distributed Computing
      • 1,063
      • PDF
      Model-Checking in Dense Real-time
      • 1,009
      • PDF