Filters








55,494 Hits in 4.8 sec

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  ...  The analysis shows that existing approaches are characterized by the fact that they extend a conventional process modeling language with constructs to capture customizable process models.  ...  Questionnaire models offer both abstraction and guidance for the configuration of process models.  ... 
doi:10.1145/3041957 fatcat:eblsa5ybzje7joa3rr2gzofobq

Combining configuration and recommendation to define an interactive product line configuration approach [article]

Camille Salinesi
2012 arXiv   pre-print
The proposed approach, called interactive configuration supports the combination by organizing the configuration process in a series of partial configurations where decisions are made by the recommendation  ...  This paper proposes an approach that combines two complementary forms of guidance: configuration and recommendation, to help customers define their own products out of a product line specification.  ...  This raises the question of how to increase scalability in the guidance of the configuration process, while maintaining a reasonable performance?  ... 
arXiv:1206.2520v1 fatcat:22shdim2rzhnrmd4ysckmd5hpy

DAIDALUS: Detect and avoid alerting logic for unmanned systems

Cesar Munoz, Anthony Narkawicz, George Hagen, Jason Upchuch, Aaron Dutle, Maria Consiglio, James Chamberlain
2015 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)  
These algorithms have been formally specified in a mathematical notation and verified for correctness in an interactive theorem prover.  ...  This paper presents DAIDALUS (Detect and Avoid Alerting Logic for Unmanned Systems), a reference implementation of a detect and avoid concept intended to support the integration of Unmanned Aircraft Systems  ...  These formal proofs give a high level of assurance that the formal models of the algorithms are correct.  ... 
doi:10.1109/dasc.2015.7311588 fatcat:dxqo4uvbjvbkdjb3ydtyjz2wgu

A Modelling Method for Consistent Physical Devices Management: An ADOxx Case Study [chapter]

Srdjan Zivkovic, Krzysztof Miksa, Harald Kühn
2011 Lecture Notes in Business Information Processing  
The method introduces a hybrid modelling approach.  ...  In this paper, we report about conceptualization of a DSM method for physical devices management, that is implemented based on the ADOxx metamodelling platform.  ...  Acknowledgment This research has been co-funded by the European Commission and by the Swiss Federal Office for Education and Science within the 7th FP project MOST # 216691.  ... 
doi:10.1007/978-3-642-22056-2_12 fatcat:xqrcf3tgqze3fds6rydovpzak4

ICAROUS: Integrated configurable algorithms for reliable operations of unmanned systems

Maria Consiglio, Cesar Munoz, George Hagen, Anthony Narkawicz, Swee Balachandran
2016 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)  
This paper describes a new capability referred to as ICAROUS (Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems), which is being developed under the UTM project.  ...  ICAROUS also provides a highly configurable user interface that enables the modular integration of mission-specific software components.  ...  ACKNOWLEDGMENT Special thanks to Connor Brooks and Alex Rivera for their contribution to the visual obstacle detection logic and their support to the ICAROUS project.  ... 
doi:10.1109/dasc.2016.7778033 fatcat:vvhi3vvs4rh2fghf5nqs7egsdy

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do [chapter]

Brian Butka, Janusz Zalewski, Andrew J. Kornecki
2009 Lecture Notes in Computer Science  
to prove the design is correct.  ...  This paper examines what is unique to hardware design, areas where formal methods can be applied to advantage in hardware design and how errors can exist in the hardware even if formal methods are used  ...  Since synthesis of a correct environment for analysis of the voter's normal and offnormal behavior is a key factor when applying formal verification tools, this paper is focused on: 1) approaches used  ... 
doi:10.1007/978-3-642-04468-7_17 fatcat:kecmx2fqbzdcroisstidgpcpl4

A formal approach to reuse successful traceability practices in SPL projects

Angelina Espinoza, Goetz Botterweck, Juan Garbajosa
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
This paper presents an approach for formalizing and reusing traceability practices in SPL Engineering.  ...  In this paper, we focus specifically on the product derivation process, to show the advantages of this formalization approach to reuse traceability knowledge.  ...  For that, we need a formal representation to keep this traceability knowledge without ambiguousness, assuring its correct reuse in all new projects.  ... 
doi:10.1145/1774088.1774573 dblp:conf/sac/EspinozaBG10 fatcat:4rktoophoraf5exhgzthrsuu3m

Towards Formal Specification and Generation of Autonomic Policies [chapter]

Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin
2005 Lecture Notes in Computer Science  
notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations, with the goal of self-generation of provable autonomic policies.  ...  Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gaining momentum as the way forward in designing reliable systems to hide complexity and conquer IT management  ...  At the University of Ulster by the Centre for Software Process Technologies (CSPT), funded by Invest NI through the Centres of Excellence Programme, under the EU Peace II initiative.  ... 
doi:10.1007/11596042_126 fatcat:6ujphglpzza7liby6jsvtrbrnu

Guiding the evolution of product-line configurations

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
2021 Journal of Software and Systems Modeling  
We propose a formal foundation and a methodology that enables domain engineers to guide application engineers through configuration evolution by sharing knowledge on product-line evolution and by defining  ...  AbstractA product line is an approach for systematically managing configuration options of customizable systems, usually by means of features.  ...  As the configuration subset of a guidance element is defined formally, this can be evaluated using a SAT solver or a simple Boolean evaluation algorithm.  ... 
doi:10.1007/s10270-021-00906-w fatcat:2bndloszljhsfekrh5ibxj7bn4

Perspectives on software safety case development for unmanned aircraft

Ewen Denney, Ganesh Pai, Ibrahim Habli
2012 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012)  
Our approach combines formal and non-formal reasoning, yielding a semi-automatically assembled safety case, in which part of the argument for autopilot software safety is automatically generated from formal  ...  The considerations for assuring aviation software safety, when using an approach such as the one in this paper, are also discussed in the context of the relevant standards and existing (process-based)  ...  We also thank Mark Sumich and Corey Ippolito for their feedback.  ... 
doi:10.1109/dsn.2012.6263939 dblp:conf/dsn/DenneyPH12 fatcat:gbc4fcnvzjdyhl3ezsd354cxkm

Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
2009 Electronical Notes in Theoretical Computer Science  
Formal methods can effectively support the model driven develoment and analysis of IT applications in many domains.  ...  An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to  ...  Tool support for a SIL 2 development process The SIL 2 assessment and certification requires a rigorous development process according to EN 50129 and EN 50128.  ... 
doi:10.1016/j.entcs.2009.09.008 fatcat:4hn2dgsz6vefzkx4xtjuypo5ou

Model-Driven Design of Clinical Guidance Systems [article]

Maryam Rahmaniheris, Yu Jiang, Lui Sha
2016 arXiv   pre-print
In this paper, we propose a domain-specific model-driven design approach to address these challenges for designing clinical guidance systems.  ...  For evaluation, we apply the approach to the design of clinical guidance systems for cardiac arrest. The generated code can be deployed and interact with existing guidance systems.  ...  Proposed Approach: In this paper, we propose a domainspecific model-driven approach for designing clinical guidance system, in which we develop a cyber-medical-human.  ... 
arXiv:1610.06895v1 fatcat:km3ofbwkzfh5vicwfptr75nhem

Process Engine Selection Support [chapter]

Simon Harrer
2014 Lecture Notes in Computer Science  
Early results show the general feasibility of our approach for BPEL engines for a single capability.  ...  for typical requirements, and c) support the user in their selection of a process engine by determining and explaining the fitness of the engines for a single process or a given set of processes using  ...  processes, or provide guidance for process adaption to target other engines.  ... 
doi:10.1007/978-3-662-45550-0_3 fatcat:74teli2tfbbanljkml5esmqbym

Towards an understanding of decision complexity in IT configuration

Bin Lin, Aaron B. Brown, Joseph L. Hellerstein
2007 Proceedings of the 2007 symposium on Computer human interaction for the management of information technology - CHIMIT '07  
To identify these opportunities, we need a model of decision complexity for configuring and operating computing systems.  ...  This paper extends previous work on models and metrics for IT configuration complexity by adding the concept of decision complexity.  ...  If we can do this, we can provide a highlevel framework for assessing decisions in IT processes and for providing guidance to system designers seeking to reduce decision complexity. III.  ... 
doi:10.1145/1234772.1234776 dblp:conf/chimit/LinBH07 fatcat:ofbyldh6zzdknlomxw2gtd5zd4

Model-Driven Enterprise Systems Configuration [chapter]

Jan Recker, Jan Mendling, Wil van der Aalst, Michael Rosemann
2006 Lecture Notes in Computer Science  
A promising idea to manage and simplify the configuration process is based on the premise of using reference models for this task.  ...  Our paper continues along this idea and delivers a two-fold contribution: first, we present a generic process for the task of model-driven Enterprise Systems configuration including the steps of (a) Specification  ...  ES configuration based on configurable reference models is a multi-facetted task requiring guidance to the overall process.  ... 
doi:10.1007/11767138_25 fatcat:7cgevrfevjfh3cylr6ak4xqgv4
« Previous Showing results 1 — 15 out of 55,494 results