Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Bridging the Gap between Business Processes and Service Composition through Service Choreographies

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Paris; France

  • Source: IFIP WG8.1 Working conference on Method Engineering (ME'2011) ; https://inria.hal.science/hal-00953442 ; IFIP WG8.1 Working conference on Method Engineering (ME'2011), Apr 2011, Paris, France.

تفاصيل العنوان

×
Conference

An SOA Based Approach to Improve Business Processes Flexibility in PLM

Subjects: SOA; Manufacturing Process; PLMCosta de Caparica; Portugal

  • Source: IFIP Advances in Information and Communication Technology ; 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) ; https://univ-smb.hal.science/hal-00621310 ; 2nd Doctoral

تفاصيل العنوان

×
Conference

Management of multi-language business processes with 'AProMoRe'

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]; [INFO.INFO-WB]Computer Science [cs]/WebSan Francisco; CA; United States

  • Source: Proc. of the 8th Int. Conference on Service Oriented Computing, demo session ; https://inria.hal.science/hal-00953831 ; Proc. of the 8th Int. Conference on Service Oriented Computing, demo session,

تفاصيل العنوان

×
Conference

Quantifying the Similarity of BPMN Processes

Subjects: Business Processes; BPMN; Automated VerificationVirtual; Japan

  • Source: APSEC 2022 - 29th Asia-Pacific Software Engineering Conference ; https://inria.hal.science/hal-03890531 ; APSEC 2022 - 29th Asia-Pacific Software Engineering Conference, Dec 2022, Virtual, Japan.

تفاصيل العنوان

×
Academic Journal

Checking Business Process Evolution

Subjects: LNT; BPMN; model transformation

  • Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-01920273 ; Science of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩.

تفاصيل العنوان

×
Academic Journal

Resource Provisioning Strategies for BPMN Processes: Specification and Analysis using Maude

Subjects: Business processes; BPMN; resource provisioning

  • Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-03487960 ; Journal of Logical and Algebraic Methods in Programming, 2021, pp.1-50.

تفاصيل العنوان

×
Conference

VBPMN: Automated Verification of BPMN Processes

Subjects: business processes; BPMN; verificationTurin; Italy

  • Source: 13th International Conference on integrated Formal Methods (iFM 2017)https://inria.hal.science/hal-0159166513th International Conference on integrated Formal Methods (iFM 2017), Sep 2017,

تفاصيل العنوان

×
Academic Journal

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

Subjects: Maude; automated verification; BPMN

  • Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-02345895 ; Science of Computer Programming, 2019, 183, pp.1-32. ⟨10.1016/j.scico.2019.102303⟩.

تفاصيل العنوان

×
Academic Journal

A Typology of best practices for processes improvement

Subjects: Benchmarking; Best Practices; Performance

  • Source: Benchmarking An International Journal ; https://hal.science/hal-00486460 ; Benchmarking An International Journal, 2005, 12 (1), pp.45-60

تفاصيل العنوان

×
  • 1-10 ل  33 نتائج ل ""business processes""