Science of Computer Programming
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Checking Interaction Consistency in MARMOT Component Refinements
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Complexity metrics for Workflow nets
Information and Software Technology
WSEAS Transactions on Computers
BPM'03 Proceedings of the 2003 international conference on Business process management
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
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
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
Formal verification of stochastic timing behavior in web-based business process collaboration
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
Propagating changes between aligned process models
Journal of Systems and Software
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Checking soundness of business processes compositionally using symbolic observation graphs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
International Journal of Web Services Research
The Journal of Supercomputing
Hi-index | 0.00 |