Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Characterizations of Reducible Flow Graphs
Journal of the ACM (JACM)
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
On the Duality of Information-Centric and Activity-Centric Models of Business Processes
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Generating Business Process Models from Object Behavior Models
Information Systems Management
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Transforming process models: executable rewrite rules versus a formalized java program
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Modeling and enacting complex data dependencies in business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
| Hi-index | 0.00 |
Business process models expressed in UML activity diagrams can specify the flow of stateful business objects among activities. Such business process models implicitly specify the life cycles of those objects. To check the consistency of a business process model with an existing object life cycle or to generate or configure software supporting the business process, these implicit life cycles need to be discovered. This paper presents an approach for synthesizing an object life cycle from a business process model in which the object occurs in different states. The synthesized object life cycles are expressed as hierarchical statecharts. The approach makes implicit life cycles contained inside business process models explicit. The synthesis approach has been implemented using a graph transformation tool and has been applied to case studies.