Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
Designing interaction
Selected papers of the Second Workshop on Concurrency and compositionality
Situating conversations within the language/action perspective: the Milan conversation model
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Experiences with workflow management: issues for the next generation
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
A notation for malleable and interoperable coordination mechanisms for CSCW systems
COCS '95 Proceedings of conference on Organizational computing systems
Freeflow: mediating between representation and action in workflow systems
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Coordination mechanisms: towards a conceptual foundation of CSCW systems design
Computer Supported Cooperative Work - Special issue on the design of cooperative systems
Groupware and teamwork: invisible aid or technical hindrance?
Groupware and teamwork: invisible aid or technical hindrance?
Of maps and scripts—the status of formal constructs in cooperative work
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
The synthesis problem for elementary net systems is NP-complete
Theoretical Computer Science
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Enterprise information systems
A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Understanding Computers and Cognition: A New Foundation for Design
Understanding Computers and Cognition: A New Foundation for Design
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Computer Supported Cooperative Work and Petri Nets
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Ad-hoc workflow: problems and solutions
DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
Workflow from within and without: technology and cooperative work on the print industry shopfloor
ECSCW'95 Proceedings of the fourth conference on European Conference on Computer-Supported Cooperative Work
Rethinking CSCW systems: the architecture of MILANO
ECSCW'97 Proceedings of the fifth conference on European Conference on Computer-Supported Cooperative Work
A language/action perspective on the design of cooperative work
Human-Computer Interaction
Workflow management systems for process organisations
Workflow management systems for process organisations
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Flexible Access Control Model for Dynamic Workflow Using Extended WAM and RBAC
Computer Supported Cooperative Work in Design IV
Flexibility in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Resilient Business Process Management: Framework and services
Expert Systems with Applications: An International Journal
Federated enactment of workflow patterns
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
Optimizing exception handling in workflows using process restructuring
BPM'06 Proceedings of the 4th international conference on Business Process Management
Flexible business process management using forward stepping and alternative paths
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Determining Sound Markings in Structured Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
A Petri net model for changing units of learning in runtime
Knowledge-Based Systems
A systematic literature review of service choreography adaptation
Service Oriented Computing and Applications
An end-user approach to business process modeling
Journal of Network and Computer Applications
Hi-index | 0.00 |
In order to support both the redesign of a Business Process and its continuous improvement, the technology supporting it must be as flexible as possible. Since workflow management systems are the main technology for supporting Business Processes, they and, in particular, their modeling framework must satisfy a long list of apparently conflicting requirements: the models must be both cognitive artifacts and executable programs; they must be simple and yet able to support exceptions; they must support both static and dynamic changes. In this chapter, after briefly discussing the above requirements, we present the formal aspects of the modeling framework of the MILANO workflow management system. Its flexibility is based on a net-theoretical modeling framework which lets simple process models deliver a large class of services to its users.