Consistency in model integration

Authors:
Kees van Hee;Natalia Sidorova;Lou Somers;Marc Voorhoeve
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, MB Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, MB Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, MB Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, MB Eindhoven, The Netherlands
Venue:
Data & Knowledge Engineering - Special issue: Business process management
Year:
2006

Citing 11
Cited 7

Electronic meeting systems

Communications of the ACM - Special issue on computer graphics: state of the arts
Information systems engineering: a formal approach

Information systems engineering: a formal approach
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
The Unified Modeling Language user guide

The Unified Modeling Language user guide
A uniform approach to true-concurrency and interleaving semantics for Petri nets

Theoretical Computer Science
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering

IEEE Transactions on Software Engineering
Way of Z

Way of Z
Communication and Concurrency

Communication and Concurrency
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
User interface prototyping based on UML scenarios and high-level Petri nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Use cases as workflows

BPM'03 Proceedings of the 2003 international conference on Business process management

Designing Case Handling Systems

Transactions on Petri Nets and Other Models of Concurrency I
Towards a Methodology for Semantic Business Process Modeling and Configuration

Service-Oriented Computing - ICSOC 2007 Workshops
Empirical Studies in Process Model Verification

Transactions on Petri Nets and Other Models of Concurrency II
Towards automatization of domain modeling

Data & Knowledge Engineering
Verification of business process integration options

BPM'06 Proceedings of the 4th international conference on Business Process Management
Evaluating the Consistency between Navigation and Data Models for Web Applications

International Journal of Information System Modeling and Design
How to guarantee compliance between workflows and product lifecycles?

Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems based on the modeling of use cases and object life cycles as Petri nets. Synchronization by place fusion allows the derivation of an integrated model that can be verified and validated. We illustrate our approach by a case study.