Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling workflow processes with colored Petri nets
Computers in Industry
Distributed and Parallel Databases
PEP - More than a Petri Net Tool
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
On Net Modeling of Industrial Size Concurrent Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
YAWL: yet another workflow language
Information Systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Architectures for enterprise integration and interoperability: Past, present and future
Computers in Industry
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Automatic structure-based code generation from coloured Petri nets: a proof of concept
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Camel in Action
Revisiting Naur's programming as theory building for enterprise architecture modelling
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Romeo: a tool for analyzing time petri nets
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A pattern language for process execution and integration design in service-oriented architectures
Transactions on Pattern Languages of Programming I
Reducing Adapter Synthesis to Controller Synthesis
IEEE Transactions on Services Computing
Construction of messaging-based enterprise integration solutions using AI planning
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
WICSA-ECSA '12 Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
| Hi-index | 0.00 |
Enterprise Integration Patterns allow us to design a middleware system conceptually before actually implementing it. So far, the in-depth analysis of such a design was not feasible, as these patterns are only described informally. We introduce a translation of each of these patterns into a Coloured Petri Net, which allows to investigate and improve middleware system designs in early stages of development in a number of use cases, including validation and performance analysis using simulation, automatic completion of control-flow in middleware designs, verifying a design for errors and functional properties, and obtaining an implementation in automatic way.