STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
The complexity of word problems—this time with interleaving
Information and Computation
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Decision Support Systems - Special issue: workshop on information technology and systems (WITS '93)
On a question of A. Salomaa: the equational theory of regular expression
Theoretical Computer Science
On the automatic generation of workflow processes based on product structures
Computers in Industry
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
Proceedings of the Seventh International Conference on Data Engineering
Workflow and Process Synchronization with Interaction Expressions and Graphs
Proceedings of the 17th International Conference on Data Engineering
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
AHEAD: A Graph-Based System for Modeling and Managing Development Processes
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Business artifacts: An approach to operational specification
IBM Systems Journal
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Principles of Program Design
Analyzing workflows implied by instance-dependent access rules
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Eliciting information for product modeling using process modeling
Data & Knowledge Engineering
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Journal of Management Information Systems
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Non-destructive integration of form-based views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Scientific workflow design with data assembly lines
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
Discovering characteristics of stochastic collections of process models
BPM'11 Proceedings of the 9th international conference on Business process management
On generating *-sound nets with substitution
Information Systems
Hi-index | 0.00 |
The best practice in information system development is to model the business processes that have to be supported and the database of the information system separately. This is inefficient because they are closely related. Therefore we present a framework in which it is possible to derive one from the other. To this end we introduce a special class of Petri nets, called Jackson nets, to model the business processes, and a document type, called Jackson types, to model the database. We show that there is a one-to-one correspondence between Jackson nets and Jackson types. We illustrate the use of the framework by an example.