Formal Methods to Improve Public Administration Business Processes.
Andrea PoliniAndrea PolzonettiBarbara RePublished in: RAIRO Theor. Informatics Appl. (2012)
Keyphrases
- business processes
- formal methods
- business process
- public administration
- web services
- process model
- workflow management systems
- formal specification
- business rules
- business objectives
- e government
- knowledge based systems
- inter organizational
- business process management
- digital government
- public sector
- business environment
- workflow systems
- model checker
- service oriented architecture
- software engineering
- wireless sensor networks
- database systems
- knowledge base
- business partners
- information systems