The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This demo introduces BProVe, a tool supporting automated verification of Business Process models. BProVe analysis is based on a formal operational semantics defined for the BPMN 2.0 modelling language, and is provided as a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting...
Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for...
Industry 4.0 denotes a recent trend that aims at exploiting Cyber Physical Systems (CPS), based on IoT (Internet of Things) and cloud computing technologies, to obtain increased degrees of cooperation and communication in production systems, thus leading to what is referred to as Cyber Physical Production Systems (CPPS) or “Smart Factories”.
The problem which companies want to face is the integration of the applications in an information system (IS) and the interconnection of the system itself with other information systems. The interoperability of IS constitutes, their ability to communicate and to inter-operate following a given model using a common language favoring the sharing of information for better performance and profitability...
Currently, Business Process Model and Notation (BPMN) has becoming one of the main languages for creating a description of processes and developing executable frameworks for the management of the process itself. In this context, one important aspect of process management is the possibility of process analysis and optimization, which many times relies on real data collected during the process execution...
The deep knowledge of internal and external business processes, along with the capability of governing them, are a key requirement for enterprises to survive. In the dynamic and unpredictable worldwide market, the achievement of business goals depends on the ability of enterprises to adapt to new market conditions by promptly re-engineering their processes. The cost for process re-engineering may...
Clinical safety checklists receive much research attention since they can reduce medical errors and improve patient safety. Computerized checklist support systems are also being developed actively. Such systems should individualize checklists based on information from the patient's medical record while also considering the context of the clinical workflows. Unfortunately, the form definitions, database...
Business process “BP” modeling and simulation is performed on different levels. For each level, a set of formalisms or languages are more suitable. BPMN “Business Process Modeling Notation” is a less formal language used at the conceptual phase of BPs modeling. However, models in BPMN cannot be executed directly. They need to be transformed to another language. In this paper, we present a BPMN models...
The use of simulation-based approaches for the analysis of business processes enables the design-time prediction of the process behavior and/or the operation-time process reconfiguration. However, the effectiveness of BP simulation is still limited for several reasons (e.g., lack of simulation know-how of BP analysts, simulation model parameters that can be hard to gather, large semantic gap between...
The achievement of business goals is heavily affected by the capability of enterprises to design, enforce and govern business processes. The dynamism of the market requires business goals to be constantly tuned, thus obliging the enterprise to continuously re-design processes. The cost for process re-engineering may be not negligible, if we consider that it may require several refinement steps and...
In enterprises it is important to control whether unlawful events occur or business objects are in unlawful states during business process execution. Existing modelling methods such as BPMN and Archi Mate do not to a full extent support description of conceivable and lawful state and event spaces that can affect execution of the process. This gap jeopardizes compliance of business process models with...
The business process model is commonly created as a fundamental high level analysis model. The BPMN is one of the well known and widely used to represent the business process model. Recently, the BPMN workflow patterns are proposed as standardized business process model building blocks. The BPMN workflow patterns also provide the business analysts the common patterns of solutions to various workflow...
Business Process models in the case of real life systems are often very complex. Hierarchization allows for managing model complexity by “hiding” process details into sub-levels. This helps to avoid inconsistencies and fosters reuse of similar parts of models. Configuration, in turn, gives the opportunity to keep different models in one configurable model. In the paper, we propose an approach for...
Much research work has been discussing the transformation between different process modeling languages. The focus was often put on model syntax rather than on the integrity of process content. Here an established approach for evaluating information content is used to assess the information content change that results due to process model transformation from EPC to BPMN business process representation...
The correctness of business process models is critical for IT system development. The properties of business processes need to be analyzed when they are designed. In particular, business processes usually have various constraints on time and resources, which may cause serious problems like bottlenecks and deadlocks. In this paper, we propose an approach based on the model checking technique for verifying...
In recent years, business process models are increasingly being used as a means for business process improvement. Business rules can be seen as requirements for business processes, in that they describe the constraints that must hold for business processes that implement these business rules. Therefore, in principle one could devise (automated) transformations from business rules to business processes...
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizations. Quality requirements play a central role in service sourcing and, together with Service Level Agreements, facilitate service selection and measurement of service delivery effectiveness. This empowers customers to make...
Use cases are a key technique to elicit software requirements from the point of view of the user of a system. Their prevalence is noticeable ever since the onset of agile programming techniques. Within SOA projects however, business process models are used for capability analysis and gap detection. Business process models present a global view of the system and hence are more suited for gap detection...
The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. However, BPMN lacks a formal semantics and many of its features are subject to interpretation, which is hindered the BPMN as a standard to statically check the semantic correctness of models. The fact that BPMN integrates constructs from graph-oriented process definition languages with features...
Summary form only given. Article describes business modeling systems, their definition and short description are also proposed. Practical aspects of business modeling for informative -communicative systems are discussed.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.