Communications of the ACM - Special issue on analysis and modeling in software development
Artificial intelligence and mathematical theory of computation
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Goal-based process analysis: a method for systematic process redesign
COCS '93 Proceedings of the conference on Organizational computing systems
The ORDIT approach to organisational requirements
Requirements engineering
Goal decomposition and scenario analysis in business process reengineering
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
System Requirements Engineering
System Requirements Engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
AI Models for Business Process Reengineering
IEEE Expert: Intelligent Systems and Their Applications
Goal-Driven Business Process Analysis - Application in Electricity Deregulation
CAiSE '98 Proceedings of the 10th International Conference on Advanced Information Systems Engineering
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Efficient maintenance of temporal integrity in knowledge bases
Efficient maintenance of temporal integrity in knowledge bases
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Business Process Modelling and Design — A Formal Model and Methodology
BT Technology Journal
Procedural security analysis: A methodological approach
Journal of Systems and Software
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
| Hi-index | 0.00 |
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities and constraints) allow business analysts to capture enterprise knowledge in a way that is both intuitive and mathematically formal. We also outline the basic steps of a methodology that allows business analysts to produce detailed, formal specifications of business processes from high-level enterprise objectives. The use of a formal language permits us to verify that the specifications possess certain correctness properties, namely that the responsibilities assigned to roles are fulfilled and that the constraints are maintained.