Intention is choice with commitment
Artificial Intelligence
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Representing and using non-functional requirements: a process-oriented approach
Representing and using non-functional requirements: a process-oriented approach
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
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
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Towards an integrated toolset for program understanding
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A dynamic data production model for the Alaska SAR facility
ACM SIGGROUP Bulletin - Special issue: enterprise modelling: case studies and business process re-engineering
A collaborative fuzzy expert system for the Web
ACM SIGMIS Database
A simulation test bed for computational modeling of business processes
ICIS '97 Proceedings of the eighteenth international conference on Information systems
Representing Software Engineering Knowledge
Automated Software Engineering
Business Process Modelling and Design — A Formal Model and Methodology
BT Technology Journal
A formal framework for business process modelling and design
Information Systems
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Formal Model for Business Process Modeling and Design
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Modelling Strategic Actor Relationships to Support Intellectual Property Management
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Modelling Trust for System Design Using the i* Strategic Actors Framework
Proceedings of the workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference: Trust in Cyber-societies, Integrating the Human and Artificial Perspectives
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Hierarchic Decomposition in Agent Oriented Conceptual Modelling
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
How Agile COTS Selection Methods are (and can be)?
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Enterprise architecture analysis with extended influence diagrams
Information Systems Frontiers
Structuring business objectives: a business process modeling perspective
BPM'03 Proceedings of the 2003 international conference on Business process management
From entities and relationships to social actors and dependencies
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Framework for decisional business modeling and requirements modeling in data mining projects
IDEAL'09 Proceedings of the 10th international conference on Intelligent data engineering and automated learning
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
PLANT: A pattern language for transforming scenarios into requirements models
International Journal of Human-Computer Studies
Hi-index | 0.00 |
Most models fail to capture the rationale behind processes, making business reengineering less effective. The authors describe their i* framework, which views organizations as collections of actors with strategic interests, and interdependencies involving goals, tasks, and resources. The authors also describe the ConGolog framework, which supports reasoning about the dynamics of processes under incomplete knowledge.Competitive pressures, customer demands, and ever-changing regulatory conditions are forcing many companies to rethink the way they do business. A fundamental part of this rethinking process is to link production procedures and organizational services to business goals and objectives. At present, there is little formal support for this kind of reasoning. Business process design is usually done informally, and individual design decisions are hard to relate to business objectives. Traditional modeling techniques--structured analysis, dataflow diagrams, and entity-relationship diagrams--describe what a business process is, but they cannot express the why of the process--the motivations, intents, and rationales behind the activities and entities. This is a serious drawback. A central argument in business process reengineering is that if you don't understand why things are done the way they are, you are likely to automate outdated processes (leading to the proverbial "paving of the cow path") and miss the opportunity to innovate the process itself.In choosing among alternative business processes, analysts must be able both to describe relationships and to propose and argue about solutions from strategic perspectives. Artificial intelligence in general and knowledge representation in particular can help in modeling organizations and in analyzing alternatives. Recognizing the value of AI in this area, we developed a framework for modeling and analyzing organizations in support of several applications, including business process reengineering. The i* framework (i* stands for distributed intentionality) views processes as involving social actors who depend on one another for goals to be achieved, tasks to be performed, and resources to be furnished. The i* framework includes two models: Strategic Dependency Model, which describes the network of relationships among actors. Strategic Rationale Model, which describes and supports the reasoning that each actor has about its relationships with other actors. We have formally represented these models in the conceptual modeling language Telos and have based their semantics on intentional concepts--goal, belief, ability, and commitment--studied in work by Philip Cohen and Hector Levesque.To complement the i* framework's strategic level of reasoning, we use a logic-based framework, ConGolog, to model the detailed dynamics of the business environment and processes being redesigned. The framework supports the validation and verification of business processes using simulation and automated reasoning techniques. Users can reason about processes even with only a partial description of the world state.In this article, we show how the i* models and ConGolog aid the redesign of claims processing in an automobile insurance company. We also describe a toolset that aids analysis using these models, which we are currently developing at the University of Toronto. The models and their associated tools incorporate a number of AI techniques, including means-ends analysis, qualitative reasoning, agent modeling, and theories of action.