• ExSpect

  • Referenced in 11 articles [sw04390]
  • process modelling. It is suitable for business process modelling, production chain modelling, use case modelling...
  • Pyomo

  • Referenced in 53 articles [sw04910]
  • Modeling is a fundamental process in many aspects of scientific research, engineering, and business. This ... text beautifully illustrates the breadth of the modeling capabilities that are supported by this...
  • VipTool

  • Referenced in 14 articles [sw13755]
  • establish a simulation and modelling concept for business processes given by Petri nets, which ... evaluation of partially ordered execution runs (processes) instead of totally ordered sequences of transition occurrences ... methods concerned with causality and concurrency modelled by partially ordered runs of p/t-nets. Namely, functionalities...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow ... temporal logic formula with a variety of model checking tools...
  • Oryx

  • Referenced in 1 article [sw08486]
  • Layout techniques coupled with web2.0-based business process modeling. The most wide-spread notation for process ... models is the Business Process Modeling Notation (BPMN). With Oryx, we have a open-source...
  • BPSim++

  • Referenced in 1 article [sw15974]
  • develop a simulation library for business process modelling. Though much of the hype about business ... business processes. To meet this need, Business Process Simulation has been promoted, often by consultants ... usable library of modelling components for simulating business processes, implemented in C++ using the Visual...
  • UML2Alloy

  • Referenced in 13 articles [sw09885]
  • illustrate their implications on the model transformation process. The presented approach is explained ... example of a secure e-business system...
  • BPA-Sec4Cloud

  • Referenced in 1 article [sw17688]
  • cloud. The use of business process standards to model and execute business needs is growing ... Computing has been adopted to realize business processes, which basically consists of executing the process ... enforced in essential tasks of the business process. This fact leads to the need ... security-aware business process automation, from its modeling to its deployment...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • transforms a process specified in the Business Process Execution Language for Web Services into ... data format of the Petri net based model checker. LoLA also offers the opportunity...
  • FlowAgent

  • Referenced in 1 article [sw01585]
  • architecture and object-oriented system modeling which construct business process on service components seem...
  • EMiT

  • Referenced in 4 articles [sw00237]
  • process models from event logs originating from transactional systems in logistics, banking, e-business, health ... care, etc. The algorithms used for process mining are complex and in practise large logs ... needed to derive a high-quality process model. To support these efforts, the process mining...
  • BPMN2

  • Referenced in 1 article [sw27530]
  • Modeler is a graphical modeling tool for authoring business processes. The primary goal of BPMN2...
  • VeTIS

  • Referenced in 0 articles [sw18335]
  • Business Vocabularies and Business Rules and transforming them into UML class models supplemented with ... tool and organically combines with simple development process, which pursues ... defining requirements via use cases and modelling business processes via activities...
  • HybridILPMiner

  • Referenced in 2 articles [sw25956]
  • improvement of business processes. Process discovery, i.e. discovering a process model based on an event...
  • PolyAnalyst

  • Referenced in 2 articles [sw13568]
  • incorporates it in business processes in the form of predictive models...
  • jBPT

  • Referenced in 2 articles [sw33172]
  • design, execution, and evaluation of business processes. The library offers a broad range of basis ... functionality and, due to its open publishing model, can easily be extended...
  • Yasper

  • Referenced in 2 articles [sw14836]
  • Yasper puts Petri net modeling in the hands of business analysts and software architecture designers ... familiar terms (XOR choice, workflow, cases, roles, processing time and cost), and can directly ... manual and automatic simulations on the resulting models to analyze correctness and performance. Yasper...
  • Metasonic

  • Referenced in 1 article [sw12251]
  • Suite is based on subject-oriented business process management (S-BPM). S-BPM focuses ... aspect of your company’s organizational culture. Processes are a form of organization, and organization ... communication. Only in this way can processes be modeled meaningfully ... with reality, in a single model (that serves business and IT equally...
  • DaGen

  • Referenced in 6 articles [sw04981]
  • provides possibilities for distributed execution of business processes and Web Services. This caused the emergence ... Internet. We demonstrate how DAML-S models can be automatically translated into high-level nets...
  • Grappa

  • Referenced in 5 articles [sw10517]
  • terms of graphs, such as process flows, business workflows or program dependencies, can be built ... version of Improvise, a multimedia process modeling environment, was written on top of Grappa...