Pnina Soffer
University of Haifa, Management Information Systems, Faculty Member
Research Interests:
Research Interests:
Alignment-based conformance checking techniques detect and quantify discrepancies between process execution and the expected behavior as depicted in process models. However, often when deviations from the expected behavior occur,... more
Alignment-based conformance checking techniques detect and quantify discrepancies between process execution and the expected behavior as depicted in process models. However, often when deviations from the expected behavior occur, additional actions are needed to remedy and restore the process state. These would seem as further reducing conformance according to existing measures. This paper presents a conformance checking approach which considers the response to and recovery from unexpected deviations during process execution, by analyzing the data updates involved and their impact on the expected behavior. We evaluated our approach by applying it to a real-life case study, utilizing different baseline alignment techniques. The results show that our approach succeed to capture adapted behavior in response to deviations and may provide insights concerning the implications of deviations in the process.
Research Interests:
The MobiGuide project aimed to establish a ubiquitous, user-friendly, patient-centered mobile decision-support system for patients and for their care providers, based on the continuous application of clinical guidelines and on... more
The MobiGuide project aimed to establish a ubiquitous, user-friendly, patient-centered mobile decision-support system for patients and for their care providers, based on the continuous application of clinical guidelines and on semantically integrated electronic health records. Patients would be empowered by the system, which would enable them to lead their normal daily lives in their regular environment, while feeling safe, because their health state would be continuously monitored using mobile sensors and self-reporting of symptoms. When conditions occur that require medical attention, patients would be notified as to what they need to do, based on evidence-based guidelines, while their medical team would be informed appropriately, in parallel. We wanted to assess the system's feasibility and potential effects on patients and care providers in two different clinical domains. We describe MobiGuide's architecture, which embodies these objectives. Our novel methodologies inclu...
Research Interests: Engineering, Medical Informatics, Decision Making, Quality of life, Electronic Health Records, and 10 moreGestational diabetes, Pregnancy, Humans, Female, Atrial Fibrillation, Adult, Computer communication networks, Clinical Decision Support Systems, Guideline Adherence, and Medical and Health Sciences
Business process models abstract complex business processes by representing them as graphical models. Their layout, solely determined by the modeler, affects their understandability. To support the construction of understandable models it... more
Business process models abstract complex business processes by representing them as graphical models. Their layout, solely determined by the modeler, affects their understandability. To support the construction of understandable models it would be beneficial to systematically study this effect. However, this requires a basic set of measurable key visual features, depicting the layout properties that are meaningful to the human user. The aim of this research is thus twofold. First, to empirically identify key visual features of business process models which are perceived as meaningful to the user. Second, to show how such features can be quantified into computational metrics, which are applicable to business process models. We focus on one particular feature, consistency of flow direction, and show the challenges that arise when transforming it into a precise metric. We propose three different metrics addressing these challenges, each following a different view of flow consistency. W...
Research Interests:
Research Interests:
AbstractReference models are an important aid for business process modeling and design. Their aim is to capture domain knowledge and assist in the design of enterprise-specific busi-ness processes. The application of reference models for... more
AbstractReference models are an important aid for business process modeling and design. Their aim is to capture domain knowledge and assist in the design of enterprise-specific busi-ness processes. The application of reference models for process design requires ...
Research Interests: Engineering, Modeling, Commerce, System Analysis and Design, Modeling Language, and 11 moreDomain Analysis, Systems Analysis and Design, Process Design, Reuse, Domain Knowledge, Business Process, Reference model, Reference Service Models, Business process design, Event Driven Process Chain, and Domain Model
Research Interests:
Research Interests:
Research Interests:
1 Department of Management Information Systems University of Haifa, Haifa 31905, Israel iris@mis.hevra.haifa.ac.il, spnina@is.haifa.ac.il ... 2 Department of Information Systems Engineering, Ben-Gurion University of the Negev, Beer Sheva... more
1 Department of Management Information Systems University of Haifa, Haifa 31905, Israel iris@mis.hevra.haifa.ac.il, spnina@is.haifa.ac.il ... 2 Department of Information Systems Engineering, Ben-Gurion University of the Negev, Beer Sheva 84105, Israel ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Virtual organizations are perceived as a means for achieving flexibility. However, shared inter-organizational business processes may pose additional constraints on the internal processes of an organization and reduce their flexibility.... more
Virtual organizations are perceived as a means for achieving flexibility. However, shared inter-organizational business processes may pose additional constraints on the internal processes of an organization and reduce their flexibility. The paper builds on a conceptual model of business processes in a virtual organization. The model aimes at identifying a minimal process definition to support the collaborative process while allowing flexibility of the internal processes. The model is informally presented through a case study of an inter-library loan process, and its implications on flexibility are discussed.
Research Interests:
Research Interests:
Research Interests:
Empirical studies of business process modeling typically aim at understanding factors that can improve model quality. We identify two limitations of such studies. First, the quality dimensions usually addressed are mainly syntactic and... more
Empirical studies of business process modeling typically aim at understanding factors that can improve model quality. We identify two limitations of such studies. First, the quality dimensions usually addressed are mainly syntactic and pragmatic, not addressing semantic quality sufficiently. Second, while findings related to model understanding have been anchored in cognitive theories, findings related to model construction have remained mostly unexplained. This paper proposes to study the process of process modeling, based on ...
... of Turin, Italy Nacer Boudjlida Loria, France Sjaak Brinkkemper Utrecht University, The Netherlands Andy Carver Neumont University, USA Olga De Troyer ... 14 George Koliadis and Aditya Ghose Supporting Change in Business Process... more
... of Turin, Italy Nacer Boudjlida Loria, France Sjaak Brinkkemper Utrecht University, The Netherlands Andy Carver Neumont University, USA Olga De Troyer ... 14 George Koliadis and Aditya Ghose Supporting Change in Business Process Models Using Pattern-Based Constraints ...
Research Interests:
Abstract This paper investigates the need for complementing automated verification of business process models with a validity analysis performed by human analysts. As business processes become increasingly automated through process aware... more
Abstract This paper investigates the need for complementing automated verification of business process models with a validity analysis performed by human analysts. As business processes become increasingly automated through process aware information systems, the quality of process design becomes crucial. Although verification of process models has gained much attention, their validation, relating to the reachability of the process goal, has hardly been addressed. The paper investigates the need for model validation both ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
... of Turin, Italy Nacer Boudjlida Loria, France Sjaak Brinkkemper Utrecht University, The Netherlands Andy Carver Neumont University, USA Olga De Troyer ... 14 George Koliadis and Aditya Ghose Supporting Change in Business Process... more
... of Turin, Italy Nacer Boudjlida Loria, France Sjaak Brinkkemper Utrecht University, The Netherlands Andy Carver Neumont University, USA Olga De Troyer ... 14 George Koliadis and Aditya Ghose Supporting Change in Business Process Models Using Pattern-Based Constraints ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
This Special Issue on Drivers of Business Process Development: Business, IT, Compliance follows the 10th Workshop on Business Process Modeling, Development, and Support (BPMDS'09), organized in conjunction with... more
This Special Issue on Drivers of Business Process Development: Business, IT, Compliance follows the 10th Workshop on Business Process Modeling, Development, and Support (BPMDS'09), organized in conjunction with CAISE'09, which was held in Amsterdam, The Netherlands, June 2009. The special issue is targeted at both researchers and practitioners in the information systems (in the broad sense) community with a focus on business process development and business application software development. The papers in this special ...
Livre: Information systems evolution: caise forum 2010, hammamet, tunisia, june 7-9, 2010, selected extended papers (paperback) (series: lecture notes in SOFFER Pnina, PROPER Erik.
Research Interests:
Empirical studies of business process modeling typically aim at understanding factors that can improve model quality. We identify two limitations of such studies. First, the quality dimensions usually addressed are mainly syntactic and... more
Empirical studies of business process modeling typically aim at understanding factors that can improve model quality. We identify two limitations of such studies. First, the quality dimensions usually addressed are mainly syntactic and pragmatic, not addressing semantic quality sufficiently. Second, while findings related to model understanding have been anchored in cognitive theories, findings related to model construction have remained mostly unexplained. This paper proposes to study the process of process modeling, based on ...
ABSTRACT Declarative process models support process flexibility, whose importance has been widely recognized, particularly for organizations that face frequent changes and variable stimuli from their environment. However, the currently... more
ABSTRACT Declarative process models support process flexibility, whose importance has been widely recognized, particularly for organizations that face frequent changes and variable stimuli from their environment. However, the currently dominant declarative approaches lack expressiveness for addressing the process context namely, environment effects and leading its execution towards a goal. This paper proposes a declarative model which addresses activities as well as states, external events, and goals. The model is based on the Generic Process Model GPM, extended by a notion of activity, which includes a state change aspect and an intentional aspect. The achievement of the intention of an activity may depend on events in the environment and is hence not certain. The paper provides a formalization of the model and describes an execution mechanism. It emphasizes the usefulness of specifying the intentional aspect of activities, by using it as a basis for semantic validation of the model at design time and for a planning module that can guide execution at runtime. These are illustrated by an example from the medical domain.