Similar Search Results

Comparing and evaluating Petri net semantics for BPEL

Lohmann, Niels; Verbeek, Eric; Ouyang, Chun; Stahl, … - In: International journal of business process integration … 4 (2009) 1, pp. 60-73

Persistent link: https://www.econbiz.de/10003867266

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

Amme, Wolfram; Martens, Axel; Moser, Simon - In: International journal of business process integration … 4 (2009) 1, pp. 47-59

Persistent link: https://www.econbiz.de/10003875657

SCORE framework : a layered approach for enterprise architecture

Chakraborty, Priyanka; Sarkar, Anirban - In: International journal of business and systems research 13 (2019) 4, pp. 438-467

Persistent link: https://www.econbiz.de/10012145772

A graph grammar-based dynamic reconfiguration for virtualized Web service-based composite architectures

Rodriguez, Ismael Bouassida; Halima, Riadh Ben; Drira, … - In: Business system management and engineering : from open …, (pp. 181-196). 2012

Persistent link: https://www.econbiz.de/10009736460

Towards bridging the gap between reprensentation and formalism in the context of systems life cycle management processes

2013

Dans le contexte de la gestion des cycles de vie des systèmes (SDLC), on observe un fossé entre, d'une part, les représentations utilisées pour modéliser les méthodologies sous forme de processus, par exemple en utilisant business process model and notation (BPMN), et d'autre part les...

Persistent link: https://www.econbiz.de/10010469595

Geschäftsprozessmodellierung mit der "Unified Modeling Language (UML)"

Kreische, David (contributor) - 2004

Persistent link: https://www.econbiz.de/10002470558

Analyzing interacting BPEL processes

Lohmann, Niels; Massuthe, Peter; Stahl, Christian; … - In: Business process management : 4th international …, (pp. 17-32). 2006

Persistent link: https://www.econbiz.de/10003696247

High-level Petri nets for the process description and control in service-oriented manufacturing systems

Mendes, J. Marco; Leitão, Paulo; Colombo, Armando W.; … - In: International journal of production research 50 (2012) 6, pp. 1650-1665

Persistent link: https://www.econbiz.de/10009562922

Formal verification of UML2 timing diagrams based on Time Petri Nets

Louati, Aymen; Barkaoui, Kamel - In: International journal of information systems in the … 8 (2016) 2, pp. 87-97

Persistent link: https://www.econbiz.de/10011493947

The minimum spanning tree problem with fuzzy costs

Janiak, Adam; Kasperski, Adam - In: Fuzzy optimization and decision making : a journal of … 7 (2008) 2, pp. 105-118

Persistent link: https://www.econbiz.de/10003726140

1
2
3
4
5
6
7
8
9
10
Next
Last