{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T17:47:25Z","timestamp":1754156845362,"version":"3.41.2"},"reference-count":58,"publisher":"Emerald","issue":"6","license":[{"start":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:00:00Z","timestamp":1590451200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BPMJ"],"published-print":{"date-parts":[[2020,5,26]]},"abstract":"<jats:sec><jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title><jats:p>This paper reviews existing business process (BP) modeling languages that are widely used in the industry as well as recent research work on modeling and analysis of BPs in the service-oriented environment and Internetware-based software paradigm. BPs in such environment are different from traditional BPs due to loose coupling of partner services, dynamic and on-the-fly selection of partners and run-time process adaptability. The unique characteristics of these BPs require formal modeling of the requirements and constraints in each phase of their life cycle, including design phase, implementation and deployment phase and execution phase.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title><jats:p>The paper first provides a categorization of typical user requirements in each phase of the BP life cycle. Then a detailed comparison of the selected languages with respect to their requirement modeling and analysis capabilities in each of the identified categories is provided. The paper also discusses new requirements engineering research challenges arising from future software needs and emerging trends in software engineering in the context of Web-services-based BPs and Internetware.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Findings<\/jats:title><jats:p>There is a need to have a framework that provides support for user requirements modeling and analysis for all the phases of BP life cycle in an integrated manner. Such a framework would be useful not only in resolving the inconsistencies between requirements across phases but also in addressing the issues related to BP evolution due to changes in user requirements over time. Moreover, with the Internet of things (IoT) adoption in BPM, there is a need to have an integrated environment that provides support for capturing the resilience requirements of enterprise BPs as well as the mobility constraints of the underlying IoT devices.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title><jats:p>This paper reviews existing BP modeling languages and frameworks and discusses the new requirements engineering research challenges arising from future software needs and the emerging trends in BP management in the service-oriented environment and Internetware-based software paradigm.<\/jats:p><\/jats:sec>","DOI":"10.1108\/bpmj-08-2019-0322","type":"journal-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T06:50:28Z","timestamp":1590475828000},"page":"1401-1424","source":"Crossref","is-referenced-by-count":0,"title":["Requirements modeling of Web services-based business processes"],"prefix":"10.1108","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2035-8865","authenticated-orcid":false,"given":"Ayesha","family":"Afzal","sequence":"first","affiliation":[]},{"given":"Basit","family":"Shafiq","sequence":"additional","affiliation":[]},{"given":"Shafay","family":"Shamail","sequence":"additional","affiliation":[]},{"given":"Nabil","family":"Adam","sequence":"additional","affiliation":[]}],"member":"140","reference":[{"issue":"3","key":"key2020120113292199700_ref001","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2016.64","article-title":"Microservices architecture enables devops: migration to a cloud-native architecture","volume":"33","year":"2016","journal-title":"IEEE Software"},{"issue":"2","key":"key2020120113292199700_ref002","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.2010.37","article-title":"Self-supervising BPEL processes","volume":"37","year":"2011","journal-title":"Software Engineering, IEEE Transactions on"},{"first-page":"35","article-title":"From UML sequence diagrams and statecharts to analysable petri net models","year":"2002","key":"key2020120113292199700_ref003"},{"issue":"1","key":"key2020120113292199700_ref004","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/MS.2015.16","article-title":"Software engineering for internet computing: internetware and beyond [guest editors' introduction]","volume":"32","year":"2015","journal-title":"IEEE Software"},{"issue":"3","key":"key2020120113292199700_ref005","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/MIC.2012.43","article-title":"Portable cloud services using TOSCA","volume":"16","year":"2012","journal-title":"IEEE Internet Computing"},{"first-page":"403","article-title":"Conversation specification: a new approach to design and analysis of e-service composition","year":"2003","key":"key2020120113292199700_ref006"},{"key":"key2020120113292199700_ref007","unstructured":"CAMEO (2016), \u201cALOHA plume modeling software\u201d, available at: https:\/\/www.epa.gov\/cameo\/aloha-software (accessed 1 July 2019."},{"key":"key2020120113292199700_ref008","doi-asserted-by":"crossref","first-page":"4626","DOI":"10.1016\/j.eswa.2010.10.024","article-title":"Software fault prediction: a literature review and current trends","volume":"38","year":"2011","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"key2020120113292199700_ref009","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/j.csi.2011.06.002","article-title":"BPMN: an introduction to the standard","volume":"34","year":"2012","journal-title":"Computer Standards and Interfaces"},{"issue":"9","key":"key2020120113292199700_ref010","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","article-title":"Process modeling","volume":"35","year":"1992","journal-title":"Communications of the ACM"},{"issue":"2","key":"key2020120113292199700_ref011","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1108\/BPMJ-12-2015-0173","article-title":"Discovering the internet of things (iot) within the business process management: a literature review on technological revitalization","volume":"22","year":"2016","journal-title":"Business Process Management Journal"},{"first-page":"361","article-title":"Time-BPMN","year":"2009","key":"key2020120113292199700_ref012"},{"volume-title":"Essential Business Process Modeling","year":"2005","key":"key2020120113292199700_ref013"},{"issue":"3","key":"key2020120113292199700_ref014","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1108\/BPMJ-06-2019-377","article-title":"Reconfiguring business processes in the new political and technological landscape","volume":"25","year":"2019","journal-title":"Business Process Management Journal"},{"key":"key2020120113292199700_ref015","unstructured":"IBM (2018), IBM WebSphere Software Platform, available at: http:\/\/www-01.ibm.com\/software\/integration\/wps\/ (accessed 1 July 2019)."},{"volume-title":"ISO\/IEC 19505-2:2012 \u2013 Information Technology-Object Management Group Unified Modeling Language (OMG UML)","year":"2012","author":"ISO","key":"key2020120113292199700_ref016"},{"volume-title":"ISO\/IEC 19510: 2013 \u2013 Information Technology Object Management Group Business Process Model and Notation (OMG BPMN)","year":"2013","author":"ISO","key":"key2020120113292199700_ref017"},{"key":"key2020120113292199700_ref018","first-page":"248","article-title":"Coloured petri nets","volume-title":"Petri Nets: Central Models and their Propertie","year":"1987"},{"issue":"120","key":"key2020120113292199700_ref019","first-page":"5","volume":"11","year":"2007","journal-title":"Web Services Business Process Execution Language Version 2.0, OASIS Standard"},{"issue":"4","key":"key2020120113292199700_ref020","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MIS.2004.23","article-title":"Authorization and privacy for semantic web services","volume":"19","year":"2004","journal-title":"Intelligent Systems, IEEE"},{"issue":"5","key":"key2020120113292199700_ref021","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1108\/14637150910987937","article-title":"Business process management (BPM) standards: a Survey","volume":"15","year":"2009","journal-title":"Business Process Management Journal"},{"issue":"1","key":"key2020120113292199700_ref022","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1109\/MS.2014.28","article-title":"The road ahead for architectural languages","volume":"32","year":"2015","journal-title":"IEEE Software"},{"first-page":"1532","article-title":"An evaluation of conceptual business process modelling languages","year":"2006","key":"key2020120113292199700_ref023"},{"key":"key2020120113292199700_ref024","doi-asserted-by":"crossref","unstructured":"Lu, R. and Sadiq, S. (2007), \u201cA survey of comparative business process modeling approaches\u201d, in International Conference on Business Information Systems, Springer, Berlin, Heidelberg, pp. 82-94.","DOI":"10.1007\/978-3-540-72035-5_7"},{"key":"key2020120113292199700_ref025","doi-asserted-by":"crossref","unstructured":"Lu, R., Sadiq, S., Governatori, G. and Yang, X. (2009), \u201cDefining adaptation constraints for business process variants\u201d, Business Information Systems, Springer, Berlin, Heidelberg, pp. 145-156.","DOI":"10.1007\/978-3-642-01190-0_13"},{"issue":"1","key":"key2020120113292199700_ref026","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1109\/MS.2015.15","article-title":"Roundtable: the future of software engineering for internet computing","volume":"32","year":"2015","journal-title":"IEEE Software"},{"issue":"2","key":"key2020120113292199700_ref027","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","article-title":"On modeling and verification of temporal constraints in production workflows","volume":"1","year":"1999","journal-title":"Knowledge and Information Systems"},{"issue":"4","key":"key2020120113292199700_ref028","article-title":"OWL-S: semantic markup for web services","volume":"22","year":"2004","journal-title":"W3C Member Submission"},{"issue":"6","key":"key2020120113292199700_ref029","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.2012.189","article-title":"Internetware: a software paradigm for internet computing","volume":"45","year":"2012","journal-title":"Computer"},{"issue":"6","key":"key2020120113292199700_ref030","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.2012.189","article-title":"Internetware: a software paradigm for internet computing","volume":"45","year":"2012","journal-title":"Computer"},{"issue":"6","key":"key2020120113292199700_ref031","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/MIC.2004.57","article-title":"Composing web services: a QoS view","volume":"8","year":"2004","journal-title":"Internet Computing, IEEE"},{"issue":"1","key":"key2020120113292199700_ref032","first-page":"4","article-title":"Business process modeling languages: sorting through the alphabet soup","volume":"43","year":"2010","journal-title":"ACM Computing Surveys (CSUR)"},{"first-page":"815","article-title":"Non-intrusive monitoring and service adaptation for WS-BPEL","year":"2008","key":"key2020120113292199700_ref033"},{"key":"key2020120113292199700_ref034","doi-asserted-by":"crossref","unstructured":"Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P. and Yang, G. (2004), \u201cLogic-based approaches to workflow modeling and verification\u201d, in Logics for Emerging Applications of Databases, Springer, Berlin, Heidelberg, pp. 167-202.","DOI":"10.1007\/978-3-642-18690-5_5"},{"issue":"4","key":"key2020120113292199700_ref035","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and applications","volume":"77","year":"1989","journal-title":"Proceedings of the IEEE"},{"first-page":"583","article-title":"Citysense: an urban-scale wireless sensor network and testbed","year":"2008","key":"key2020120113292199700_ref036"},{"first-page":"77","article-title":"Simulation, verification and automated composition of web services","year":"2002","key":"key2020120113292199700_ref037"},{"key":"key2020120113292199700_ref038","unstructured":"ODE, A. (2019), \u201cApache orechestration director engine (ODE)\u201d. available at: http:\/\/ode.apache.org\/ (accessed 1 July 2019)."},{"first-page":"442","article-title":"Open urban testbed for ubiquitous computing","year":"2010","key":"key2020120113292199700_ref039"},{"key":"key2020120113292199700_ref040","unstructured":"Oracle (2009), \u201cOracle BPEL process manager\u201d, available at: https:\/\/www.oracle.com\/technetwork\/middleware\/bpel\/overview\/index.html (accessed 1 July 2019)."},{"key":"key2020120113292199700_ref041","unstructured":"Orchestra, O. (2008), \u201cOrchestra: open source BPEL\/BPM solution\u201d, available at: http:\/\/orchestra.ow2.org\/ (accessed 1 July 2019)."},{"issue":"14","key":"key2020120113292199700_ref042","doi-asserted-by":"crossref","first-page":"3763","DOI":"10.1080\/00207540701199677","article-title":"BPMN-based business process model feasibility analysis: a Petri net approach","volume":"46","year":"2008","journal-title":"International Journal of Production Research"},{"issue":"2","key":"key2020120113292199700_ref043","first-page":"162","article-title":"Formal semantics and analysis of control flow in WS-BPEL","volume":"67","year":"2007","journal-title":"Science of Computer Programming"},{"issue":"2","key":"key2020120113292199700_ref044","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/0022-0000(84)90030-8","article-title":"Towards a hierarchy of nets","volume":"29","year":"1984","journal-title":"Journal of Computer and System Sciences"},{"first-page":"627","article-title":"Reasoning about the behavior of semantic web services with concurrent transaction logic","year":"2007","key":"key2020120113292199700_ref045"},{"volume-title":"Object-oriented Modeling and Design","year":"1991","key":"key2020120113292199700_ref046"},{"volume-title":"The Unified Modeling Language Reference Manual","year":"2004","key":"key2020120113292199700_ref047"},{"key":"key2020120113292199700_ref048","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.bjp.2013.12.020","article-title":"SmartSantander: IOT experimentation over a smart city testbed","volume":"61","year":"2014","journal-title":"Computer Networks"},{"issue":"2-3","key":"key2020120113292199700_ref049","first-page":"129","article-title":"Temporal constraints: a survey","volume":"3","year":"1998","journal-title":"Constraints"},{"first-page":"694","article-title":"A logical framework for scheduling workflows under resource allocation constraints","year":"2002","key":"key2020120113292199700_ref050"},{"volume-title":"Business Process Management: The Third Wave","year":"2003","key":"key2020120113292199700_ref051"},{"year":"1998","key":"key2020120113292199700_ref052","article-title":"An evaluation of high-end tools for Petri nets"},{"first-page":"284","article-title":"Formal semantics and verification of BPMN transaction and compensation","year":"2008","key":"key2020120113292199700_ref053"},{"key":"key2020120113292199700_ref054","unstructured":"Van der Aalst, W.M.P. (1992), \u201cTimed coloured petri nets and their application to logisitics\u201d, PhD thesis, Technische Universiteit Eindhoven, Eindhoven, Netherlands."},{"issue":"1","key":"key2020120113292199700_ref055","first-page":"15","article-title":"Business process redesign: a Petri-net-based approach","volume":"29","year":"1996","journal-title":"Computers in Industry"},{"key":"key2020120113292199700_ref056","first-page":"337","article-title":"Transforming functional requirements from UML into BPEL to efficiently develop SOA-based systems","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009 Workshops,","year":"2009"},{"first-page":"756","article-title":"A CP-nets-based design and verification framework for web services composition","year":"2004","key":"key2020120113292199700_ref057"},{"first-page":"22","article-title":"A broker-based framework for QoS-aware web service composition","year":"2005","key":"key2020120113292199700_ref058"}],"container-title":["Business Process Management Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/BPMJ-08-2019-0322\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/BPMJ-08-2019-0322\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T23:15:49Z","timestamp":1753398949000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/bpmj\/article\/26\/6\/1401-1424\/431327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,26]]},"references-count":58,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,5,26]]}},"alternative-id":["10.1108\/BPMJ-08-2019-0322"],"URL":"https:\/\/doi.org\/10.1108\/bpmj-08-2019-0322","relation":{},"ISSN":["1463-7154"],"issn-type":[{"type":"print","value":"1463-7154"}],"subject":[],"published":{"date-parts":[[2020,5,26]]}}}