Communicating sequential processes
Communicating sequential processes
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
A Validation of Object-Oriented Design Metrics as Quality Indicators
IEEE Transactions on Software Engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
ACM Computing Surveys (CSUR)
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
View integration of behavior in object-oriented databases
Data & Knowledge Engineering
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compatibility and inheritance in software architectures
Science of Computer Programming
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Behavior Consistent Extension of Object Life Cycles
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Behavior Consistent Refinement of Object Life Cycles
ER '97 Proceedings of the 16th International Conference on Conceptual Modeling
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
A survey of behaviour and equivalence preserving refinements of Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Discovering Direct and Indirect Matches for Schema Elements
DASFAA '03 Proceedings of the Eighth International Conference on Database Systems for Advanced Applications
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
iMAP: discovering complex semantic matches between database schemas
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Service-based processes: design for business and technology
Proceedings of the 2nd international conference on Service oriented computing
Consistency between Executable and Abstract Processes
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Process-aware information systems: bridging people and software through process technology
Process-aware information systems: bridging people and software through process technology
Queue - Workflow Systems
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Ontology Matching
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Classification of Differences between Similar BusinessProcesses
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Constructing customized process views
Data & Knowledge Engineering
Structural Matching of BPEL Processes
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Consistency in multi-viewpoint design of enterprise information systems
Information and Software Technology
The Role of Visual Modeling and Model Transformations in Business-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Theories of meaning in schema matching: An exploratory study
Information Systems
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Process View Derivation and Composition in a Dynamic Collaboration Environment
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
BPEL to BPMN: The Myth of a Straight-Forward Mapping
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Graph Matching Algorithms for Business Process Model Similarity Search
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Aligning Business Process Models
EDOC '09 Proceedings of the 2009 IEEE International Enterprise Distributed Object Computing Conference (edoc 2009)
Change Propagation in Process Models Using Behavioural Profiles
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
What makes process models understandable?
BPM'07 Proceedings of the 5th international conference on Business process management
View-based process visualization
BPM'07 Proceedings of the 5th international conference on Business process management
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
The ICoP Framework: identification of correspondences between process models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Similarity of business process models: Metrics and evaluation
Information Systems
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
A declarative foundation of process models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Business process design by view integration
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
BPEL processes matchmaking for service discovery
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Evaluation of technical measures for workflow similarity based on a pilot study
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Simulation-Based graph similarity
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Bridging Global and Local Models of Service-Oriented Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Propagating changes between aligned process models
Journal of Systems and Software
Hi-index | 0.00 |
Process-aware information systems typically involve various kinds of process stakeholders. That, in turn, leads to multiple process models that capture a common process from different perspectives and at different levels of abstraction. In order to guarantee a certain degree of uniformity, the consistency of such related process models is evaluated using formal criteria. However, it is unclear how modelling experts assess the consistency between process models, and which kind of notion they perceive to be appropriate. In this paper, we focus on control flow aspects and investigate the adequacy of consistency notions. In particular, we report findings from an online experiment, which allows us to compare in how far trace equivalence and two notions based on behavioural profiles approximate expert perceptions on consistency. Analysing 69 expert statements from process analysts, we conclude that trace equivalence is not suited to be applied as a consistency notion, whereas the notions based on behavioural profiles approximate the perceived consistency of our subjects significantly. Therefore, our contribution is an empirically founded answer to the correlation of behaviour consistency notions and the consistency perception by experts in the field of business process modelling.