The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
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
Process innovation: reengineering work through information technology
Process innovation: reengineering work through information technology
Managing business processes as an information resource
IBM Systems Journal
The ORDIT approach to organisational requirements
Requirements engineering
Representing and using non-functional requirements: a process-oriented approach
Representing and using non-functional requirements: a process-oriented approach
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
A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
System Requirements Engineering
System Requirements Engineering
Cooperative Knowledge Processing: The Key Technology for Intelligent Organizations
Cooperative Knowledge Processing: The Key Technology for Intelligent Organizations
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
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
Accomodating Integrity Constraints During Database Design
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Goal-Driven Business Process Analysis - Application in Electricity Deregulation
CAiSE '98 Proceedings of the 10th 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
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
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
Using an expert panel to validate a requirements process improvement model
Journal of Systems and Software
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Enterprise modeling of a project-oriented fractal company for SMEs networking
Computers in Industry
Conceptual Modeling: Foundations and Applications
Seven process modeling guidelines (7PMG)
Information and Software Technology
Understanding the semantics of data provenance to support active conceptual modeling
Active conceptual modeling of learning
Syntax highlighting in business process models
Decision Support Systems
Plural: A decentralized business process modeling method
Information and Management
Formalizing agent-oriented enterprise models
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
An integrated framework for meta modeling
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
An agent-oriented meta-model for enterprise modelling
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
A decision framework for optimisation of business processes aligned with business goals
International Journal of Business Information Systems
Hi-index | 0.00 |
We present a formal framework for enterprise and business process modelling. 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 constraints are maintained as a result of process execution.