A Formal Model for Business Process Modeling and Design

No abstract is available for this paper.

• Publication year

  2000

• Venue

  International Conference on Advanced Information Systems Engineering

• Publication date

  2000-06-05

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/3-540-45140-4_11
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modeling Dynamic Domains with ConGolog

  1999cited by this paper
• A Situation Calculus Approach to Modeling and Programming Agents

  1999influential reference
• Business Process Modeling and Design: AI Models and Methodology

  1999cited by this paper
• GOAL-DRIVEN BUSINESS PROCESS ANALYSIS APPLICATION IN ELECTRICITY DEREGULATION+

  1999influential reference
• Managing Conflicts in Goal-Driven Requirements Engineering

  1998cited by this paper
• Enterprise Modelling

  1998cited by this paper
• Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

  1997cited by this paper
• Using Intelligent Agents to Manage Business Processes

  1996cited by this paper
• On the efficient maintenance of temporal integrity in knowledge bases

  1996cited by this paper
• Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering

  1996influential reference
• AI Models for Business Process Reengineering

  1996influential reference
• Simulation and analysis of business processes using GOLOG

  1995influential reference
• Foundations of a Logical Approach to Agent Programming

  1995cited by this paper
• Enterprise Modelling and the Teleological Approach to Requirements Engineering

  1995influential reference
• Reengineering the Corporation: A Manifesto for Business Revolution

  1995cited by this paper
• Business Processes: Modelling and Analysis for Re-engineering and Improvement

  1995cited by this paper
• Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt

  1995cited by this paper
• Understanding "why" in software process modelling, analysis, and design

  1994cited by this paper
• Goal Decomposition and Scenario Analysis in Business Process Reengineering

  1994cited by this paper
• The ORDIT approach to organisational requirements

  1994cited by this paper
• Goal-based process analysis: a method for systematic process redesign

  1993cited by this paper
• The Frame Problem and Knowledge-Producing Actions

  1993cited by this paper
• Goal-Directed Requirements Acquisition

  1993influential reference
• Process modeling

  1992cited by this paper
• Representing and Using Nonfunctional Requirements: A Process-Oriented Approach

  1992cited by this paper
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

  1991cited by this paper
• SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

  1987cited by this paper
• STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

  1971cited by this paper

• Basic Conceptualisation of a Resource Modelling Language

  2021cites this paper
• Human factors aspects in test cases formalization

  2015cites this paper
• Comportamiento de Integración de Algoritmos para Descubrimiento de Reglas de Pertenencia a Grupos

  2015cites this paper
• Proceso de identificación de comportamiento de comunidades educativas basado en resultados académicos

  2014cites this paper
• DERIVACIÓN DEL PROCESO DE EXPLOTACIÓN DE INFORMACIÓN DESDE EL MODELADO DEL NEGOCIO

  2014cites this paper
• Modelling viable business process for information technology policy management

  2013cites this paper
• Towards a Methodology for Goal-Oriented Enterprise Management

  2013cites this paper
• Strengthening business process modeling with the application / combination of viable system model in ICT policy analysis context

  2013cites this paper
• Information Mining Processes Based on Intelligent Systems

  2013cites this paper
• Investigating Goal-Oriented Requirements Engineering for Business Processes

  2013cites this paper
• An Ontological Business Process Modeling Approach for Public Administration: The Case of Human Resource Management

  2012cites this paper
• A Formal Methodology for Procedural Security Assessment

  2011cites this paper
• A Method for Eliciting Goals for Business Process Models based on Non-Functional Requirements Catalogues

  2011cites this paper
• PROCESOS DE EXPLOTACIÓN DE INFORMACIÓN BASADOS EN SISTEMAS INTELIGENTES INFORMATION MINING PROCESSES BASED ON INTELLIGENT SYSTEMS

  2011cites this paper
• Procedural security analysis: A methodological approach

  2011influential citation
• Using Formal Methods for Building more Reliable and Secure e-voting Systems

  2010cites this paper
• Goal-Oriented Requirements Engineering for Business Processes

  2010cites this paper
• Propuesta de procesos de explotación de información

  2009cites this paper
• Measuring size of business process from use case description

  2009cites this paper
• Levantamento de Informações para Modelagem de Objetivos

  2009cites this paper
• Modelling strategic actor relationships for risk management in organizations undergoing business process reengineering due to information systems adoption

  2008cites this paper
• A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems

  2008cites this paper
• Business Process Modeling: A Service-Oriented Approach

  2008cites this paper
• A Survey on Application of Situation Calculus in Business Information Systems

  2007cites this paper
• A Survey on Application of Situation Calculus in Business Information Systems

  2007cites this paper
• A Context-Based Enterprise Ontology

  2007cites this paper
• Bibliography of process modeling: An Emerging research field

  2007cites this paper
• Contextual Method Integration

  2007cites this paper
• An agent oriented modelling technique for risk analysis and control in software projects

  2007cites this paper
• ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ

  2006cites this paper
• Modeling Business Process: Analysis of Goal-Oriented Approaches

  2005cites this paper
• Managing context in business process management systems

  2005cites this paper
• Delta Analysis for Business Processes Models

  2004cites this paper
• Some Reflections on the Basic Conceptualisation of a Resource Modelling Language for Business Process Modelling -concepts, Requirements and Open Research Questions Arbeitsberichte Des Instituts Für Wirtschaftsinformatik Nr. 35 Arbeitsberichte Des Instituts Für Wirtschaftsinformatik Herausgegeben Von

  2003cites this paper
• Closing the Gap between Organizational Modeling and Information System Modeling

  2003cites this paper
• Security in Business Process Engineering

  2003cites this paper
• From business process model to consistent implementation: a case for formal verification methods

  2002cites this paper
• A FORMAL ENTERPRISE MODEL FOR PROJECT-ORIENTED MANAGEMENT OF BATCH PLANTS

  2002cites this paper
• Agent orientation as a modelling paradigm

  2001cites this paper
• Business Process Modelling and Design — A Formal Model and Methodology

  1999cites this paper
• Agent Orientation as a Modelling Paradigm

  year unknowncites this paper