Filters








8,610 Hits in 2.5 sec

Instantaneous Soundness Checking of Industrial Business Process Models [chapter]

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2009 Lecture Notes in Computer Science  
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains.  ...  Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis.  ...  Conclusion We showed that different techniques can be used to check the soundness of industrial business process models reliably in fractions of a second.  ... 
doi:10.1007/978-3-642-03848-8_19 fatcat:yznwuhgnzvatzp5bqlaxjeyvki

Analysis on demand: Instantaneous soundness checking of industrial business process models

Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2011 Data & Knowledge Engineering  
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and other domains.  ...  Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis.  ...  Conclusion We showed that different techniques can be used to check the soundness of industrial business process models reliably in fractions of a second.  ... 
doi:10.1016/j.datak.2011.01.004 fatcat:ayo5ajmnnrd5fctbqu3nonpmaq

Artificial Intelligence-Based Decision-Making Algorithms, Internet of Things Sensing Networks, and Deep Learning-Assisted Smart Process Management in Cyber-Physical Production Systems

Mihai Andronie, George Lăzăroiu, Mariana Iatagan, Cristian Uță, Roxana Ștefănescu, Mădălina Cocoșatu
2021 Electronics  
manufacturing systems", "smart process manufacturing", "smart industrial manufacturing processes", "networked manufacturing systems", "industrial cyber-physical systems," "smart industrial production  ...  processes", and "sustainable Internet of Things-based manufacturing systems".  ...  Functional and behavioral modeling assists in the reshaping of Industry 4.0-based manufacturing systems.  ... 
doi:10.3390/electronics10202497 fatcat:rryhw72fhvalloix23qkxwh4ca

A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline [chapter]

Wil M. P. van der Aalst
2012 Lecture Notes in Computer Science  
The Business Process Management (BPM) conference series celebrates its tenth anniversary. This is a nice opportunity to reflect on a decade of BPM research.  ...  model analysis, process mining, process flexibility, and process reuse.  ...  The paper "Instantaneous Soundness Checking of Industrial Business Process Models" [27] also presented at BPM 2009 is a typical example of a paper tagged with use case verify model (VerM).  ... 
doi:10.1007/978-3-642-32885-5_1 fatcat:vsdmeiwlirfetoazni3pmv3e6m

Towards a new metamodel for the Task Flow Model of the Discovery Method [article]

Carlos Alberto Fernandez-y-Fernandez
2012 arXiv   pre-print
This paper presents our proposal for the evolution of the metamodel for the Task Algebra in the Task Flow model for the Discovery Method.  ...  We propose additional characteristics to improve the capabilities of the metamodel to represent accurately the Task Flow Model.  ...  The model is intended to capture the essentials parts of a system [1] and is used to represent the business processes from a user-centred, or stakeholder's perspective.  ... 
arXiv:1205.0750v1 fatcat:lakhe5sr65bzngzyhzkp62kjau

Business Impact of Pervasive Technologies: Opportunities and Risks

Elgar Fleisch
2004 Human and Ecological Risk Assessment  
Object value logging and embedded services are examples of more radical changes, which not only affect processes, but also business models.  ...  Once closed digital management control loops are in place and generating high data granularity, incremental process changes such as an automatic quality check, enhance the overall efficiency of controlling  ...  Value logging and embedded services are examples of more radical changes that will not only affect processes, but also business models.  ... 
doi:10.1080/10807030490513838 fatcat:s6m5mgygerb3nnppnqog3obkim

A reference architecture for managing dynamic inter-organizational business processes

Alex Norta, Paul Grefen, Nanjangud C. Narendra
2014 Data & Knowledge Engineering  
This research was partly conducted in the EU-FP6 research project CrossWork [49] , SOAMeS (Service Oriented Architecture in Multichannel e-Services), Trusted Business Transactions (Academy of Finland  ...  Science and Tallinn University of Technology Department of Informatics.  ...  Finally, a local verifier component checks the soundness of designed processes and rules.  ... 
doi:10.1016/j.datak.2014.04.001 fatcat:2cmxvya7yjcn7ebv2o4ejyssxy

An overview of a network design system

W. E. Bracker, B. R. Konsynski
1980 Proceedings of the May 19-22, 1980, national computer conference on - AFIPS '80  
DESIGN As with any system, computer communications networks are made up of various interrelated components, all of which are critical to the network design process.  ...  The logical design components are as critical to the design process as the various physical elements. Figure 1 presents a partial list of the physical and logical design components.  ...  Deitrick describes an automated computer-controlled editing sound system (ACCESS) that provides the editor with the capability to digitally create, modify and store sound instantaneously.  ... 
doi:10.1145/1500518.1500525 dblp:conf/afips/BrackerK80 fatcat:bbdi2hgwc5aopcaxgoiehjoy4e

Inter-organizational concurrent engineering: A case study in PCB manufacturing

Robert de Graaf, Luuk Kornelius
1996 Computers in industry (Print)  
Nevertheless, suppliers have a stroug competitive edge, since they are capable of entering customer-supplier-networks can therewith be established instantaneously.  ...  Analysis of a European PCB supplier's difficulties in implementing CE, with the Readiness Assessment for Concurrent Engineering (RACE), led to a maturity model for supplier involvement in electronic design  ...  Womack et al. made clear that, in the automotive industry, this niche approach called for a redesign of the business process, including engineering [20] .  ... 
doi:10.1016/0166-3615(96)00020-6 fatcat:cevhwgs24va47i34jge5o54eoa

Lifecycle Management of Business Process Variants [chapter]

Manfred Reichert, Alena Hallerbach, Thomas Bauer
2014 Handbook on Business Process Management 1  
Contemporary Business Process Management tools do not adequately support the modeling and management of such process variants.  ...  This chapter deals with advanced concepts for the configuration and management of business process variants. Typically, for a particular business process, different variants exist.  ...  emerge when configuring concrete process variants out of a configurable process model.  ... 
doi:10.1007/978-3-642-45100-3_11 dblp:series/ihis/ReichertHB15 fatcat:koqxsktg5rbz7le5oa6ma5wspu

A Conceptual Framework for User Input Evaluation in Rich Internet Applications [chapter]

Matthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder
2009 Lecture Notes in Computer Science  
We discuss aspects to be considered for consistent reactions to user input, and describe how evaluation rules can be formulated for model-driven development. 1  ...  application's user interface is, the more important is the need to guide users filling out the forms-typically by highlighting invalid input, showing/hiding or enabling/disabling particular fields according to business  ...  Data Model Validation In the previous step, we have ensured that only technically sound input (i.e. input of the proper type) is accepted into the application's data model.  ... 
doi:10.1007/978-3-642-02818-2_22 fatcat:rubh7dkq3vh3jm23fvhl6cdux4

IoT-Driven Workflows for Risk Management and Control of Beehives

Charbel Kady, Anna Maria Chedid, Ingred Kortbawi, Charles Yaacoub, Adib Akl, Nicolas Daclin, François Trousset, François Pfister, Gregory Zacharewicz
2021 Diversity  
A key contribution will be the run and triggering of a business process model based on apicultural business rules learned from experience and system observed events.  ...  Later, the evolution of the weight of each individual hive, obtained by either measurement or inference, will be associated with a graphical workflow diagram expressed with the business process model and  ...  Conflicts of Interest: The authors declare no conflict of interest. Diversity 2021, 13, 296  ... 
doi:10.3390/d13070296 fatcat:ebyen5v6bngptpmshulx3qdpdq

A methodology for cost-benefit analysis of information security technologies

Wen Zeng
2018 Concurrency and Computation  
and potential costs incurred by the implementation process.  ...  In this document, the benefits of implementing a digital rights management product in enterprises are quantified using stochastic Petri nets models and are compared with the security needs of a corporation  ...  Figure 3 shows the structure of a SAN model representing business process associated with MS IRM we discussed.  ... 
doi:10.1002/cpe.5004 fatcat:544fbigeorglji2nwsnszd463u

Business Process Management: A Comprehensive Survey

Wil M. P. van der Aalst
2013 ISRN Software Engineering  
Business Process Management (BPM) research resulted in a plethora of methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes.  ...  This survey aims to structure these results and provide an overview of the state-of-the-art in BPM. In BPM the concept of a process model is fundamental.  ...  For example, the paper "Instantaneous Soundness Checking of Industrial Business Process Models" [55] presented at BPM 2009 is a typical example of a paper tagged with use case verify model (VerM).  ... 
doi:10.1155/2013/507984 fatcat:nbrcrvwnwnh6rgttbyj7vy4xhm

The Viable Systems Model Applied to a Smart Network: The Case of the UK Electricity Market [chapter]

Duncan R. Shaw, Bob Snowdon, Christopher P. Holland, Peter Kawalek, Brian Warboys
2005 Smart Business Networks  
at a strategic, business process and technical level; and the use of Beer's VSM to analyse an electricity market.  ...  We investigate the concept of Smart Business Networks by using Beer's Viable System Model (VSM) to analyse how such a network mitigates the affect of emergent, and therefore unforecastable, demands upon  ...  Acknowledgements We acknowledge the support of the Engineering and Physical Sciences Research Council (EPSRC) in funding our Flexible Business Integration project.  ... 
doi:10.1007/3-540-26694-1_20 fatcat:rqxo2urpjvew7ez64tl6oqnx7q
« Previous Showing results 1 — 15 out of 8,610 results