14,681 Hits in 6.0 sec

Ensuring correctness during process configuration via partner synthesis

Wil M.P. van der Aalst, Niels Lohmann, Marcello La Rosa
2012 Information Systems  
To address this problem, we present a novel verification approach inspired by the "operating guidelines" used for partner synthesis.  ...  We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline.  ...  The main contribution of this paper is an innovative approach for ensuring correctness during process configuration.  ... 
doi:10.1016/ fatcat:kbjcykpdpjfbpay5nemf46oywu


Danie Viljoen, Johann Holm
2017 South African Journal of Industrial Engineering  
Applications of this life cycle model in the description of development processes for airborne electronic equipment are presented.  ...  The life cycle model provides a clear-cut and comprehensive framework for the development process in order to streamline planning and control.  ...  In the context of this paper, the term 'validation' firstly implies the process by which the correctness and completeness of life cycle data and other process outputs are ensured.  ... 
doi:10.7166/28-3-1843 fatcat:oocvlmlcmfbc3dsf6enzk76edy

Business Process Variability Modeling

Marcello La Rosa, Wil M. P. Van Der Aalst, Marlon Dumas, Fredrik P. Milani
2017 ACM Computing Surveys  
It is common for organizations to maintain multiple variants of a given business process, such as multiple sales processes for different products or multiple bookkeeping processes for different countries  ...  Conventional business process modeling languages do not explicitly support the representation of such families of process variants.  ...  Partner Synthesis With the aim to address the shortcomings of [van der Aalst et al. 2010] , the work in ] proposes a new technique for ensuring behavioral correctness during process configuration.  ... 
doi:10.1145/3041957 fatcat:eblsa5ybzje7joa3rr2gzofobq

ASTRO: Supporting Composition and Execution of Web Services [chapter]

Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
2005 Lecture Notes in Computer Science  
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes.  ...  This configuration gives the possibility to test the composed process controlling the execution of the partner processes. Step 6.  ...  The automated synthesis techniques provided by the "Planning via Model Checking" framework can be also exploited to generate process monitors, i.e., pieces of code that detect and signal whether the external  ... 
doi:10.1007/11596141_39 fatcat:ikp4ref6xvhonjjnr6agvldw74

SYNTHESYS+ Abridged Grant Proposal

Vincent Smith, Kristina Gorman, Wouter Addink, Christos Arvanitidis, Ana Casino, Katherine Dixey, Gabriele Dröge, Quentin Groom, Elspeth Haston, Donald Hobern, Sandra Knapp, Dimitrios Koureas (+2 others)
2019 Research Ideas and Outcomes  
next 30 years – creating a sustainable future for ourselves and the natural systems on which we depend – and for answering fundamental scientific questions about ecological, evolutionary, and geological processes  ...  of a European Loans and Visits System (ELViS) providing, for the first time, a unified gateway to accessing digital, physical and molecular collections; and a new data processing platform (the Specimen  ...  Incorporating a large number of partners in the testing process will ensure compatibility with the wide variety of collection management approaches across SYNTHESYS+ partners.  ... 
doi:10.3897/rio.5.e46404 fatcat:5vflttylg5bb5ouwwvj33qymqy

A Product Line engineering practices model

François Coallier, Roger Champagne
2005 Science of Computer Programming  
Ensure Core Assets Integrity Processes to ensure that core assets are stable before being available to the production teams.  ...  In the case of the VRAPS model however, an assessment process is described and actual templates used to conduct interviews during this process are provided.  ... 
doi:10.1016/j.scico.2004.10.006 fatcat:tkeuxbu73zez5l2tdnz6eyy3zy

Lifecycle Management of Business Process Variants [chapter]

Manfred Reichert, Alena Hallerbach, Thomas Bauer
2014 Handbook on Business Process Management 1  
Such variant support will foster more systematic process configuration as well as process maintenance.  ...  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

Intrinsically Disoredered Proteins in Replication Process [chapter]

Apolonija Bedina
2013 The Mechanisms of DNA Replication  
On the other hand, DNA synthesis is a crucial step during the recombination process.  ...  Repair DNA synthesis during the recombination process is similar to normal S-phase replication, but has specific properties.  ... 
doi:10.5772/51673 fatcat:4nv7gxxokfgldp75gd54mw6r34

Towards Co-Design of Business Processes and Information Systems Using Web Services

Karthikeyan Umapathy
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
Co-Design of business processes and information systems seems to provide a reasonable approach to meeting this need.  ...  This emergent state requires enterprises to dynamically adjust both business processes and information systems as the environment shifts.  ...  In order to correct this miss-configuration, the design of business processes and deployed information systems need to continuously be re-negotiated.  ... 
doi:10.1109/hicss.2007.569 dblp:conf/hicss/Umapathy07 fatcat:lgud222yiff3no6bu3ge3foimy

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
2017 IEEE Transactions on Software Engineering  
ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing  ...  process only Tool to generate controller offline Controller synthesis algorithm Correctness adaptation effects [13] Proof of safety, no deadlock, and no starvation of system processes  ...  The former sub-goal is obtained through using suitable software engineering processes (via the away goal SuitableSoftEngProcess, which also covers the use of the methods mentioned in Section 5.2.1 to ensure  ... 
doi:10.1109/tse.2017.2738640 fatcat:zm2hp3c3g5bsxl72dvcrdl3eiq

The effect of chromosome 5B on synapsis and chiasma formation in wheat, triticum aestivum cv. Chinese Spring

Preben Bach Holm, Xingzhi Wang
1988 Carlsberg Research Communications  
of correction of multiple pairing associations.  ...  the number of lateral components in multiple associations already from the beginning of zygotene and in trihaploid wheat and wheat-rye hybrids in a two-to threefold increase in the number of pairing partner  ...  impression that the correction process as well as the directionality of the correction primarily is driven by the ongoing process ofsynapsis.  ... 
doi:10.1007/bf02907179 fatcat:7aczse4bbfgc5ftlidvbiotiay

ADVICE: A New Approach for Near-Real-Time Monitoring of Surface Displacements in Landslide Hazard Scenarios

Paolo Allasia, Andrea Manconi, Daniele Giordan, Marco Baldo, Giorgio Lollino
2013 Sensors  
ADVICE has speed-up and facilitated the understanding of the landslide phenomenon, the communication of the monitoring results to the partners, and consequently the decision-making process in a critical  ...  ; (ii) data collection, filtering, and validation; (iii) data analysis and restitution through a set of dedicated software; (iv) recognition of displacement/velocity threshold, early warning messages via  ...  a user-friendly manner, to ensure a correct understanding of the phenomenon.  ... 
doi:10.3390/s130708285 pmid:23807688 pmcid:PMC3758594 fatcat:3vom62tjefaqfjil44juei7yea

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases [article]

Radu Calinescu, M. Usman Iftikhar University of York, UK,
2018 arXiv   pre-print
ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing  ...  technique Controller synthesis [70] Proof that controller synthesis algorithm generates controllers that guarantee correct and deadlock free adaptations Controller synthesis process only  ...  The former sub-goal is obtained through using suitable software engineering processes (via the away goal SuitableSoftEngProcess, which also covers the use of the methods mentioned in Section 5.2.1 to ensure  ... 
arXiv:1703.06350v2 fatcat:puftbpq7bbfznb2x3ntq34n3le

Examining how firms leverage IT to achieve firm productivity: RBV and dynamic capabilities perspectives

Gary Pan, Shan-Ling Pan, Chu-Yeong Lim
2015 Information & Management  
via information flexibility during implementation, and forms the core focus at the external business scope level.  ...  Collectively, both domains ensure that the firm possessed important IT skills and business knowledge during decision making (Nelson, 1991) .  ... 
doi:10.1016/ fatcat:nmqpmdxmvfhblnerpuretzs5ky

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
2021 Journal of universal computer science (Online)  
This approach allows to provide the designers with correct and cost-effective configuration decisions.  ...  In this context, configurable process models are used to offer flexibility by representing process variants in a generic manner.  ...  propose an approach inspired by the "operating guidelines" used for partner synthesis for verifying that configurations do not lead to behavioral issues like deadlocks and livelocks.  ... 
doi:10.3897/jucs.70978 fatcat:fw7zujodmjgspezke4twsexuna
« Previous Showing results 1 — 15 out of 14,681 results