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.
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
Process Mining is a technique to automatically discover and analyze business processes from event logs. Discovering concurrent activities often uses process mining since there are many of them contained in business processes. Since researchers and practitioners are giving attention to the process discovery (one of process mining techniques), then the best result of the discovered process models is...
Business processes, as the instruments used by organisations to produce value, need to comply with a number of internally and externally imposed standards and restrictions. Since the majority of such processes involve the exchange of sensitive third party information, their compliance to security constraints needs to be verified before they can be implemented. Current attempts for the verification...
Requirements elicitation is a crucial activity and one of the first steps in software development process. A popular way to capture and describe requirements is through UML use case models. Transforming requirement specifications into software design models is a complex and error prone software development activity. Software design usually involves several models, each one representing a different...
In this paper we deal with business process verification for reachability, liveness and deadlock-freeness properties. Actual business process verification techniques use formal methods such as model checking that checks exhaustively temporal logics properties, however, in this case, the business process model must be mapped to an abstract mathematical model (like Petri nets, timed automata or process...
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...
Functional testing of business applications in the enterprise is carried out by independent test teams. Test scripts are generated manually or automatically from requirements, treating the IT systems as a black box. For every release, when test scripts fail to execute, the test teams need to ascertain the cause of failure, which could be due to mismatch between the requirements and the test 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...
Business Process Model and Notation(BPMN) is more important in the business process and creating functional models, and is a standard for OMG, which becomes popular in various organizations and in education. Researches related to software testing based on models are prominent. Although most researches use the UML model in software testing, not many researches use the BPMN Model in creating test cases...
Although Business Process Management has emerged as a means to manage and improve business processes, it may require high costs due to the need for software, hardware and technical support. Cloud Computing can help achieve efficient business processes with lower costs, since it provides a fast and cheap way to acquire computing resources in a pay-peruse manner. However, due to safety requirements,...
Management of ship designing is difficult because of the complexity in modeling of the process and large amounts of data throughout the process. Though existing technologies of BPMN can solve the first problem, BPMN does not provide sufficient supports on dealing with complex dependencies in the process, e.g., storage and search problems of correlated data with “many to many” relations. In this paper,...
[Context] Engineering workflows and processes typically include a wide range of organization specific best-practices required for successful project execution. In contrast to business administration processes, engineering processes are highly specific and can include various heterogeneous engineering tools to be integrated in an overall process and project environment. [Challenge] High complexity...
Planning and development an data warehouse ETL (Extraction, Transformation and Load) system, is typically a complex and time consuming task whose complexity is highly influenced not only by the amount of data to analyze, but also the computational effort required to integrate these data in same data structure and storage model in order to load it into a final data repository. Despite its enormous...
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...
This paper presents a methodology for the Model Driven Engineering of complex, multi-actor business processes, mixing tasks executed by humans and by machines. The idea is to enrich business description languages with a few extra details on task assignment, semantics, and typed dataflows, so as to enable a two-step generative approach: first the Process Model is automatically transformed into an Application...
Developing process-oriented enterprise systems not only asks for Business Process Management (BPM) but also for an appropriate user interface and data model. Current BPM and workflow technologies are neither integrated with user dialogs nor offer an appropriate data model. This paper describes a novel integrated framework for modeling process-oriented systems called Processes with User Interfaces...
Business process modeling languages, such as BPMN, offer an abstract view to Web service composition, where business functionalities are decomposed into activities connected through high level control and possibly data flows. Closing the gap between abstract modeling and concrete business process execution requires to solve data mismatches between producer and consumer services with specific adapters...
The essential purpose of BPM (business process modeling) is to construct processes which yield a profit for enterprise. Thus, we should verify whether the models certainly yield a profit beforehand. However, because the flow of a business process diagram generally depends on uncertain factors, it is difficult to define and measure value of business processes both quantitatively and qualitatively....
Modern business process modeling languages such as BPMN or EPC provide users with more constructs to represent real world situations than their predecessors such as IDEF or Petri Nets. But this apparent increase in expressiveness is accompanied by an increase in language complexity. In practice many organizations choose to only use a subset of the available modeling constructs. Using a well established...
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.