Analyzing critical process models through behavior model synthesis

No abstract is available for this paper.

• Publication year

  2009

• Venue

  2009 IEEE 31st International Conference on Software Engineering

• Publication date

  2009-05-16

• Fields of study

  Medicine, Computer Science, Engineering

• Identifiers
  DOI 10.1109/ICSE.2009.5070543
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Requirements Engineering: From System Goals to UML Models to Software Specifications

  2009cited by this paper
• Using software engineering technology to improve the quality of medical processes

  2008cited by this paper
• Symbolic model checking of UML activity diagrams

  2006cited by this paper
• Concurrency - state models and Java programs

  2006cited by this paper
• Scenarios, goals, and state machines: a win-win partnership for model synthesis

  2006cited by this paper
• Managing exceptions in the medical workflow systems

  2006cited by this paper
• Modeling Computer-Supported Clinical Guidelines and Protocols

  2005cited by this paper
• Modeling Computer-Supported Clinical Guidelines and Protocols A Survey

  2005cited by this paper
• Generating annotated behavior models from end-user scenarios

  2005influential reference
• Verifying process models built using parameterized state machines

  2004cited by this paper
• Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

  2004cited by this paper
• Synthesis of Behavioral Models from Scenarios

  2003cited by this paper
• Message Sequence Charts

  2003cited by this paper
• Fluent model checking for event-based systems

  2003influential reference
• Systems and Software Verification

  2001cited by this paper
• Systems and Software Verification, Model-Checking Techniques and Tools

  2001cited by this paper
• Model checking of workflow schemas

  2000cited by this paper
• Concurrency State Models and Java Programs

  2000cited by this paper
• Handling Obstacles in Goal-Oriented Requirements Engineering

  2000cited by this paper
• Integrated care pathways

  1998cited by this paper
• Disseminating medical knowledge: the PROforma approach

  1998cited by this paper
• Automated consistency checking of requirements specifications

  1996cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper

• Synthesizing Clock-Efficient Timed Automata

  2020cites this paper
• Satisfiability Checking of Clinical Practice Guidelines Using an Analyzer

  2020cites this paper
• Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model

  2019cites this paper
• Timed Scenarios: Consistency, Equivalence and Optimization

  2018cites this paper
• Requirements engineering for electronic healthcare records

  2018cites this paper
• From Scenarios to Timed Automata

  2017cites this paper
• Assessing the effectiveness of five process elicitation methods: A case study of chemotherapy treatment plan review.

  2017cites this paper
• Optimal Clock Allocation for Synthesized Acyclic Timed Automata

  2016cites this paper
• Semantic Technology in Business Process Modeling and Analysis. Part 1: Matching, Modeling Support, Correctness and Compliance

  2015cites this paper
• Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation

  2015cites this paper
• Generating Process Models in Multi-View Environments

  2015cites this paper
• Model-Based Guidance for Human-Intensive Processes

  2015cites this paper
• Analyzing Critical Decision-Based Processes

  2014cites this paper
• Validating the functional design of embedded systems against stakeholder intentions

  2014cites this paper
• Process Execution and Enactment in Medical Environments

  2014cites this paper
• Building high assurance human-centric decision systems

  2014influential citation
• Component-Aware Triggered Scenarios

  2014cites this paper
• Funktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie - Stand der Wissenschaft und Forschungsfragestellungen

  2013cites this paper
• Synthesis and distribution of modal transition systems from triggered scenarios

  2013cites this paper
• Transformation operators for easier engineering of medical process models

  2013influential citation
• Generating Natural-language Process Descriptions from Formal Process Models

  2012cites this paper
• Incremental Verification with Mode Variable Invariants in State Machines

  2012cites this paper
• Validation of requirements for hybrid systems: A formal approach

  2012cites this paper
• Towards automated surgical robotics: A requirements engineering approach

  2012cites this paper
• A Formal Diagrammatic Approach to Compensable Workflow Modelling

  2012cites this paper
• Using model-based assurance to strengthen diagnostic procedures

  2011cites this paper
• Generating Natural-language Process Descriptions from Formal Process Definitions

  2011cites this paper
• Using Auto-Generated Diagnostic Trees to Support Test Procedures

  2011cites this paper
• A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes

  2010influential citation
• A New Approach for Goal-oriented Analysis of Healthcare Processes

  2010cites this paper
• A benchmark for evaluating software engineering techniques for improving medical processes

  2010cites this paper
• A Conceptual Approach to Database Applications Evolution

  2010cites this paper
• Process-based derivation of requirements for medical devices

  2010cites this paper
• Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview

  2010cites this paper
• Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees

  2009cites this paper