The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Model Checking of Workflow Schemas
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verifying process models built using parameterized state machines
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing exceptions in the medical workflow systems
Proceedings of the 28th international conference on Software engineering
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Using software engineering technology to improve the quality of medical processes
Companion of the 30th international conference on Software engineering
A benchmark for evaluating software engineering techniques for improving medical processes
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview
Proceedings of the 1st ACM International Health Informatics Symposium
Process-based derivation of requirements for medical devices
Proceedings of the 1st ACM International Health Informatics Symposium
A conceptual approach to database applications evolution
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Using model-based assurance to strengthen diagnostic procedures
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Incremental verification with mode variable invariants in state machines
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-critical healthcare processes. Tool-supported techniques are needed to find and correct flaws in such processes. On another hand, event-based formalisms such as Labeled Transition Systems (LTS) prove effective for analyzing agent behaviors.