Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Modern structured analysis
Object-oriented analysis
The object-oriented systems life cycle
Communications of the ACM
Object-oriented software engineering
Object-oriented software engineering
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Object-oriented modeling and design
Object-oriented modeling and design
Communications of the ACM - Special issue on analysis and modeling in software development
Object-oriented development: the fusion method
Object-oriented development: the fusion method
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Business process implementation: building workflow systems
Business process implementation: building workflow systems
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Formal methods in object oriented business modelling
Journal of Systems and Software
Quantitative analysis of static models of processes
Journal of Systems and Software - Special issue on Evaluation and assessment in software engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Oject-oriented real-world modeling revisted
Journal of Systems and Software
Getting Results with the Object-Oriented Enterprise Model
Getting Results with the Object-Oriented Enterprise Model
Business Modeling With UML: Business Patterns at Work
Business Modeling With UML: Business Patterns at Work
Electronic Commerce: A Managerial Perspective
Electronic Commerce: A Managerial Perspective
An ebXML infrastructure implementation through UDDI registries and RosettaNet PIPs
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Business Process Coordination: State of the Art, Trends, and Open Issues
Proceedings of the 27th International Conference on Very Large Data Bases
Construction and Use of Integrated Accounting Systems with Entity-Relationship Modelling
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
A Business Process Design Language
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Business information analysis and integration technique (BIAIT): the new horizon
ACM SIGMIS Database
Structured Analysis for Requirements Definition
IEEE Transactions on Software Engineering
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Hi-index | 0.00 |
Requirements capture is arguably the most important step in software engineering, and yet the most difficult and the least formalized one [Phalp and Shepperd 2000]. Enterprises build information systems to support their business processes. Software engineering research has typically focused on the development process, starting with user requirements—if that—with business modeling often confused with software system modeling [Isoda 2001]. Researchers and practitioners in management information systems have long recognized that understanding the business processes that an information system must support is key to eliciting the needs of its users (see e.g., Eriksson and Penker 2000]), but lacked the tools to model such business processes or to relate such models to software requirements. Researchers and practitioners in business administration have long been interested in modeling the processes of organizations for the purposes of understanding, analyzing, and improving such processes [Hammer and Champy 1993], but their models were often too coarse to be of use to software engineers. The advent of ecommerce and workflow management systems, among other things, has led to a convergence of interests and tools, within the broad IT community, for modeling and enabling business processes. In this article we present an overview of business process modeling languages. We first propose a categorization of the various languages and then describe representative languages from each family.