Understanding Quality in Conceptual Modeling
IEEE Software
SAP R/3 business blueprint: understanding the business process reference model
SAP R/3 business blueprint: understanding the business process reference model
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Business Process Management: The Third Wave
Business Process Management: The Third Wave
Writing Better Requirements
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enterprise Ontology: Theory and Methodology
Enterprise Ontology: Theory and Methodology
Design science in information systems research
MIS Quarterly
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Some information technologies to improve the performance of an ERP system
AMERICAN-MATH'11/CEA'11 Proceedings of the 2011 American conference on applied mathematics and the 5th WSEAS international conference on Computer engineering and applications
Plural: A decentralized business process modeling method
Information and Management
Service-oriented architecture modeling: bridging the gap between structure and behavior
Proceedings of the 14th international conference on Model driven engineering languages and systems
International Journal of Information and Communication Technology
Performance evaluation of medical imaging service
Proceedings of the 27th Annual ACM Symposium on Applied Computing
The critical success factors of business process management
International Journal of Information Management: The Journal for Information Professionals
Hi-index | 0.00 |
Despite diligent efforts made by the software engineering community, the failure of software projects keeps increasing at an alarming rate. After two decades of this problem reoccurring, one of the leading causes for the high failure rate is still poor process modeling (requirements' specification). Therefore both researchers and practitioners recognize the importance of business process modeling in understanding and designing accurate software systems. However, lack of direct model checking (verification) feature is one of the main shortcomings in conventional process modeling methods. It is important that models provide verifiable insight into underlying business processes in order to design complex software systems such as Enterprise Information Systems (EIS). The software engineering community has been deploying the same methods that have haunted the industry with failure. In this paper, we try to remedy this issue by looking at a non-conventional framework. We introduce a business process modeling method that is amenable to automatic analysis (simulation), yet powerful enough to capture the rich reality of business systems as enacted in the behavior and interactions of users. The proposed method is based on the innovative language-action perspective.