Rik Eshuis

Publications

• Modeling Uncertainty in Declarative Artifact-Centric Process Models using Fuzzy Logic
• Enterprise Computing
• A Method for Integrated Modeling of KiPs and Contextual Goals
• Context-aware modeling for knowledge-intensive medicinal product development processes
• Information acquisition for service contract quotations made by repair shops
• Determining capacity of shunting yards by combining graph classification with local search
• Assessing suitability of adaptive case management
• Introduction to the proceedings of the workshop on Intelligent Service Clouds (ISC) 2015
• Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services
• Information Governance in Dynamic Networked Business Process Management
• A reference framework for advanced flexible information systems
• Deriving consistent GSM schemas from DCR graphs
• Message from the RW-BPMS 2016 Workshop Chairs
• Information governance as a dynamic capability in service oriented business networking
• Evolving process views
• Modeling Uncertainty in Declarative Artifact-Centric Process Models
• Reasoning about property preservation in adaptive case management
• Representing Variability in Enterprise Architecture: A Case Study
• Information governance requirements for architectural solutions supporting dynamic business networking
• Feature-oriented composition of declarative artifact-centric process models
• Guiding Knowledge Workers Under Dynamic Contexts
• Beyond Business Development
• Extracting Reusable Fragments From Data-Centric Process Variants
• Verifying the manipulation of data objects according to business process and data models
• Feature-oriented engineering of declarative artifact-centric process models
• Context-Aware Process Modelling for Medicinal Product Development
• Consistency Checking of Goal Models and Case Management Schemas
• Property preservation in adaptive case management
• Service outsourcing with process views
• Synthesizing data-centric models from business process models
• Creating agility in traffic management by collaborative service-dominant business engineering
• Synthesizing object life cycles from business process models
• Information quality in dynamic networked business process management
• Converting unstructured into semi-structured process models
• Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge
• Decisions for information or information for decisions? Optimizing information gathering in decision-intensive processes
• Extracting Features From Process Variants in Case Management
• Conceptual Modeling in Support of Economic and Regulatory Viability Assessment
• Reasoning about property preservation in adaptive case management
• Towards an architecture for cooperative-intelligent transport system (C-ITS) applications in the Netherlands
• Business model prototyping for intelligent transport systems: a service-dominant approach
• Reference architecture for mobility-related services : a reference architecture based on GET service and SIMPLI-CITY project architectures
• Introduction to the 4th International Workshop on Data- and Artifact-Centric BPM (DAB 2015)
• A process aware information system to support agility in relief operations
• Modeling uncertainty in declarative artifact-centric process models
• Decision support for declarative artifact-centric process models
• Modeling decision-intensive processes with declarative business artifacts
• Modeling rolling stock maintenance logistics at Dutch Railways with declarative business artifacts
• Assessing performance of mined business process variants
• Modeling information gathering for decisions in business processes
• ECOWS'09 - 7th IEEE European Conference on Web Services: Preface
• Architecture support for flexible chain management
• Translating safe Petri nets to statecharts in a structure-preserving way
• Transforming process models : executable rewrite rules versus a formalized Java program
• Translating safe petri nets to statecharts in a structure-preserving way
• Synthesizing object life cycles from business process models
• Flexible construction of complex service compositions from reusable semantic knowledge
• Statechartable Petri nets
• Diagnosing correctness of semantic workflow models
• Generating minimal protocol adaptors for loosely coupled services
• Splitting GSM schemas: A framework for outsourcing of declarative artifact systems
• Constructing process views for service outsourcing
• Constructing minimal protocol adaptors for service composition
• Agile cooperative process-aware information systems (ProGility 2009) workshop report
• Transactional process views
• Business protocol adaptation for flexible chain management
• A framework for service outsourcing using process views
• An integer programming based approach for verification and diagnosis of workflows
• Specification and verification of harmonized business-process collaborations
• Internet-based support for process-oriented instant virtual enterprises
• Composing services into structured processes
• Reconciling statechart semantics
• Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08: Preface
• Constructing customized process views
• Dynamic business network process management in instant virtual enterprises
• Agile cooperative process-aware information systems (ProGility 2008) workshop report
• Second IEEE workshop on agile cooperative process-aware information systems (ProGility 2007) - Workshop report
• Structural matching of BPEL processes
• PINCET - Process Integration of Collaborative Enterprises
• Structured service composition
• Business Protocol Adaptation for Flexible Chain Management
• Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
• Designing a modular infrastructure for exploratory integration of interoperability approaches
• Architecture support for flexible business chain integration using protocol adaptors
• Business process composition
• Outlook
• Transforming process models: Executable rewrite rules versus a formalized Java program
• Architecture aspect
• Synthesizing object-centric models from business process models
• Splitting GSM schemas: A framework for outsourcing of declarative artifact systems
• Constructing customized process views
• Structural matching of BPEL processes
• Dynamic business network process management in instant virtual enterprises
• Proceedings of the sixth IEEE European conference on web services (ECOWS'08), 12-14 November 2008 Dublin, Ireland
• An integer programming based approach for diagnosing workflows
• An efficient method to construct minimal protocol adaptors
• Minimal protocol adaptors for interacting services
• Design of complex architectures using a three dimension approach : the crosswork case
• An overview on protocol adaptors for service component integration
• Proceedings of the 7th IEEE European conference on web services (ECOWS'09), Eindhoven, The Netherlands, 9-11 November 2009
• Reactive Petri nets for workflow modeling
• Animating ebXML transactions with a workflow engine
• An execution algorithm for UML activity graphs
• Verification support for workflow design with UML activity graphs
• Comparing refinements for failure and bisimulation semantics
• Symbolic model checking of UML activity diagrams
• Tool support for verifying UML activity diagrams
• Efficient: A Tool Set for Supporting the Modelling and Validation of ebXML Transactions
• Requirements-level semantics and model checking of object-oriented statecharts
• Requirements-level semantics for UML statecharts
• Animating ebXML transactions with a workflow engine
• Comparing Petri net and activity diagram variants for workflow modelling - A quest for reactive Petri nets
• Reactive Petri nets for workflow modeling
• Requirements-level semantics for UML statecharts
• A real-time execution semantics for UML activity diagrams
• Structured service composition
• Efficient: A tool set for supporting the modelling and validation of ebXML transactions
• Comparing petri net and activity diagram variants for workflow modelling -A quest for reactive petri nets
• Semantics and verification of UML activity diagrams for workflow modelling
• On nets with structured concurrency
• A Workflow Formation Architecture for the Automotive Sector
• Statecharting Petri nets
• Reference architecture for reverse logistics in the high-tech industry
• A Reference Architecture for Reverse Logistics in the High-Tech Industry
• Guidance for goal achievement in knowledge-intensive processes using intuitionistic fuzzy sets
• Real-Time Data-Driven Maintenance Logistics
• Intervention strategies for improving business process outcomes: A causal rule mining approach