{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T05:55:16Z","timestamp":1777528516110,"version":"3.51.4"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,18]],"date-time":"2014-11-18T00:00:00Z","timestamp":1416268800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s11761-014-0170-x","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T13:54:02Z","timestamp":1416578042000},"page":"75-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":48,"title":["The temporal perspective in business process modeling: a survey and research challenges"],"prefix":"10.1007","volume":"9","author":[{"given":"Saoussen","family":"Cheikhrouhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nawal","family":"Guermouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,18]]},"reference":[{"key":"170_CR1","unstructured":"Benatallah B, Casati F, Ponge J, Toumani F (2005) On temporal abstractions of web service protocols. In: Proceedings of the 17th conference on advanced information systems engineering (CAiSE), vol 161, pp 13\u201317. CEUR-WS.org"},{"key":"170_CR2","doi-asserted-by":"crossref","unstructured":"Benatallah B, Casati F, Toumani F (2004) Analysis and management of web service protocols. In: Proceedings of the 23rd international conference on conceptual modeling, vol 3288 of LNCS. Springer, pp 524\u2013541","DOI":"10.1007\/978-3-540-30464-7_40"},{"key":"170_CR3","unstructured":"Berthomieu B, Bodeveix J-P, Farail P, Filali M, Garavel H, Gaufillet P, Lang F, Ve rnadat F (2008) Fiacre: an intermediate language for model verification in the topcased environment. In: Proceedings of the 4th European Congress in Embedded Real Time Software, France"},{"issue":"14","key":"170_CR4","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu B, Ribet P-O, Vernadat F (2004) The tool TINA construction of abstract state spaces for petri nets and time petri nets. Int J Prod Res 42(14):2741\u20132756","journal-title":"Int J Prod Res"},{"issue":"3","key":"170_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1023\/A:1014048800604","volume":"11","author":"C Bettini","year":"2002","unstructured":"Bettini C, Wang XS, Jajodia S (2002) Temporal reasoning in workflow systems. Distrib Parallel Databases 11(3):269\u2013306","journal-title":"Distrib Parallel Databases"},{"key":"170_CR6","unstructured":"Cheikhrouhou S, Kallel S, Guermouche N, Jmaiel M (2013) A survey on time-aware business process modeling. In: Proceedings of the 15th international conference on enterprise information systems. SCITEPRESS"},{"key":"170_CR7","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou S, Kallel S, Guermouche N, Jmaiel M (2013) Time-aware automatic process view generation. In: Proceedings of the 10th IEEE international conference on e-business engineering. IEEE Computer Society","DOI":"10.1109\/ICEBE.2013.19"},{"key":"170_CR8","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou S, Kallel S, Guermouche N, Jmaiel M (2013) Toward a time-centric modeling of business processes in BPMN 2.0. In: The 14th international conference on information integration and web-based applications and services, IIWAS \u201913. ACM","DOI":"10.1145\/2539150.2539182"},{"key":"170_CR9","unstructured":"Clancy DJ, Kuipers B (1998) Qualitative simulation as a temporally-extended constraint satisfaction problem. In: Proceedings of the fifteenth national conference on artificial intelligence and tenth innovative applications of artificial intelligence conference (AAAI\/IAAI). AAAI Press\/The MIT Press, pp 240\u2013247"},{"key":"170_CR10","doi-asserted-by":"crossref","unstructured":"Combi C, Gozzi M, Ju\u00e1rez JM, Oliboni B, Pozzi G (2007) Conceptual modeling of temporal clinical workflows. In: Proceedings of the 14th international symposium on temporal representation and reasoning (TIME). IEEE Computer Society, pp 70\u201381","DOI":"10.1109\/TIME.2007.45"},{"key":"170_CR11","doi-asserted-by":"crossref","unstructured":"Combi C, Posenato R (2009) Controllability in temporal conceptual workflow schemata. In: Proceedings of the 7th international conference on business process management (BPM), vol 5701 of LNCS. Springer, pp 64\u201379","DOI":"10.1007\/978-3-642-03848-8_6"},{"key":"170_CR12","doi-asserted-by":"crossref","unstructured":"Combi C, Posenato R (2010) Towards temporal controllabilities for Workflow Schemata. In: Proceedings of the 17th international symposium on temporal representation and reasoning (TIME). IEEE Computer Society, pp 129\u2013136","DOI":"10.1109\/TIME.2010.17"},{"issue":"2","key":"170_CR13","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s11761-011-0090-y","volume":"6","author":"C Dorn","year":"2012","unstructured":"Dorn C, Dustdar S (2012) Weighted fuzzy clustering for capability-driven service aggregation. SOCA 6(2):83\u201398","journal-title":"SOCA"},{"issue":"6","key":"170_CR14","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.1109\/TSMCA.2011.2116003","volume":"41","author":"Y Du","year":"2011","unstructured":"Du Y, Xiong P, Fan Y, Li X (2011) Dynamic checking and solution to temporal violations in concurrent workflow processes. IEEE Trans Syst Man Cybern A 41(6):1166\u20131181","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"1","key":"170_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S Dustdar","year":"2005","unstructured":"Dustdar S, Schreiner W (2005) A survey on web services composition. IJWGS 1(1):1\u201330","journal-title":"IJWGS"},{"key":"170_CR16","doi-asserted-by":"crossref","unstructured":"Eder J, Tahamtan A (2008) Temporal conformance of federated choreographies. In: Bhowmick SS, K\u00fcng J, Wagner R (eds) Proceedings of the 19th international conference on database and expert systems applications (DEXA), vol 5181 of LNCS. Springer, pp 668\u2013675","DOI":"10.1007\/978-3-540-85654-2_57"},{"key":"170_CR17","doi-asserted-by":"crossref","unstructured":"Eder J, Tahamtan A (2008) Temporal consistency of view based interorganizational workflows. In: Kaschek R, Kop C, Steinberger C, Fliedl G (eds) Proceedings of the 2nd international united information systems conference on information systems and e-business technologies (UNISCON), vol 5 of LNBIP. Springer, pp 96\u2013107","DOI":"10.1007\/978-3-540-78942-0_11"},{"key":"170_CR18","doi-asserted-by":"crossref","unstructured":"F\u00f6rster A, Engels G, Schattkowsky T (2005) Activity diagram patterns for modeling quality constraints in business processes. In: Briand LC, Williams C (eds) Proceedings of the 8th international conference on model driven engineering languages and systems (MoDELS), vol 3713 of LNCS. Springer, pp 2\u201316","DOI":"10.1007\/11557432_2"},{"key":"170_CR19","doi-asserted-by":"crossref","unstructured":"F\u00f6rster A, Engels G, Schattkowsky T, Straeten RVD (2007) Verification of business process quality constraints based on visual process patterns. In: Proceedings of the 1st joint IEEE\/IFIP symposium on theoretical aspects of software engineering (TASE). IEEE Computer Society, pp 197\u2013208","DOI":"10.1109\/TASE.2007.56"},{"key":"170_CR20","unstructured":"Gagn\u00e9 D, Trudel A (2009) Time-BPMN. In: Proceedings of the IEEE conference on commerce and enterprise computing (CEC). IEEE Computer Society, pp 361\u2013367"},{"key":"170_CR21","unstructured":"Godary K (2008) LPT: little parametric tool, outil pour la validation d\u2019une borne temporelle param\u00e9tr\u00e9e. In: CIFA\u201908: Conf\u00e9rence Internationale Francophone d\u2019Automatique, Bucarest, Roumanie, Sept 2008"},{"key":"170_CR22","unstructured":"Guermouche N (2010) Etude des Interactions Temporis\u00e9es dans la Composition de Services Web. PhD thesis, Universit\u00e9 Henri Poincar\u00e9"},{"key":"170_CR23","doi-asserted-by":"crossref","unstructured":"Guermouche N, Zilio SD (2012) Towards timed requirement verification for service choreographies. In: Proceedings of the 8th IEEE international conference on collaborative computing: networking, applications and worksharing, p 10, USA, Oct 2012","DOI":"10.4108\/icst.collaboratecom.2012.250441"},{"key":"170_CR24","doi-asserted-by":"crossref","unstructured":"Huai W, Liu X, Sun H (2010) Towards trustworthy composite service through business process model verification. In: Proceedings of the 7th international conference on ubiquitous intelligence and computing and 7th international conference on autonomic and trusted computing (UIC\/ATC), pp 422\u2013427","DOI":"10.1109\/UIC-ATC.2010.114"},{"key":"170_CR25","doi-asserted-by":"crossref","unstructured":"Kallel S, Charfi A, Dinkelaker T, Mezini M, Jmaiel M (2009) Specifying and monitoring temporal properties in web services compositions. In: Proceedings of the 7th IEEE European conference on web services. IEEE Computer Society, pp 148\u2013157","DOI":"10.1109\/ECOWS.2009.15"},{"key":"170_CR26","unstructured":"Kanso B, Taha S (2012) Temporal constraint support for OCL. In Proceedings of the 5th international conference on software language engineering (SLE), Lecture notes in computer science. Springer, pp 83\u2013103"},{"key":"170_CR27","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Pandya PK, Pistore M (2006) Representation, verification, and computation of timed properties in web. In: Proceedings of the IEEE international conference on web services (ICWS). IEEE Computer Society, pp 497\u2013504","DOI":"10.1109\/ICWS.2006.112"},{"key":"170_CR28","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Pandya PK, Pistore M (2006) Timed modelling and analysis in web service compositions. In: Proceedings of the 1st international conference on availability, reliability and security (ARES). IEEE Computer Society, pp 840\u2013846","DOI":"10.1109\/ARES.2006.134"},{"key":"170_CR29","doi-asserted-by":"crossref","unstructured":"Ling S, Schmidt H (2000) Time Petri nets for workflow modelling and analysis. In: Proceedings of the IEEE international conference on systems, man, and cybernetics, vol 4 IEEE, pp 3039\u20133044","DOI":"10.1109\/ICSMC.2000.884464"},{"key":"170_CR30","doi-asserted-by":"crossref","unstructured":"Lu R, Sadiq SW (2007) A survey of comparative business process modeling approaches. In: Proceedings of the 10th international conference on business information systems (BIS), vol 4439 of LNCS. Springer, pp 82\u201394","DOI":"10.1007\/978-3-540-72035-5_7"},{"key":"170_CR31","doi-asserted-by":"crossref","unstructured":"Lu R, Sadiq SW, Governatori G, Yang X (2009) Defining adaptation constraints for business process variants. In: Business information systems, 12th international conference, BIS 2009, Poznan, Poland, April 27\u201329, 2009. Proceedings, vol 21 of LNBIP, pp 145\u2013156","DOI":"10.1007\/978-3-642-01190-0_13"},{"key":"170_CR32","unstructured":"Lu R, Sadiq SW, Padmanabhan V, Governatori G (2006) Using a temporal constraint network for business process execution. In: Database technologies 2006, Proceedings of the 17th Australasian database conference, ADC 2006, Hobart, Tasmania, Australia, Jan 16\u201319 2006, vol 49 of CRPIT, pp 157\u2013166. Australian Computer Society"},{"key":"170_CR33","unstructured":"Makni M, Hadj-Alouane NB, Tata S, Yeddes MM (2011) Negotiating deadline constraints in inter-organizational logistic systems: a healthcare case study. In: Proceedings of the international workshops and education track on business process management workshops (BPM), vol 100 of LNBIP. Springer, pp 108\u2013118"},{"key":"170_CR34","doi-asserted-by":"crossref","unstructured":"Makni M, Tata S, Yeddes MM, Hadj-Alouane NB (2010) Satisfaction and Coherence of deadline constraints in inter-organizational workflows. In: Proceedings of the confederated international conferences: CoopIS on the move to meaningful internet systems: OTM 2010, vol 6426 of LNCS. Springer, pp 523\u2013539","DOI":"10.1007\/978-3-642-16934-2_39"},{"key":"170_CR35","doi-asserted-by":"crossref","unstructured":"Marjanovic O (2000) Dynamic verification of temporal constraints in production workflows. In: Proceedings of the Australasian database conference, pp 74\u201381. IEEE Computer Society","DOI":"10.1109\/ADC.2000.819816"},{"key":"170_CR36","unstructured":"Object Management Group (OMG) (2008) Business process modeling notation (BPMN), version 1.1"},{"key":"170_CR37","doi-asserted-by":"crossref","unstructured":"Pesic M, Schonenberg MH, Sidorova N, van der Aalst WMP (2007) Constraint-based workflow models: change made easy. In: Proceedings of the confederated international conferences on the move to meaningful internet systems, vol 4803 of LNCS. Springer, pp 77\u201394","DOI":"10.1007\/978-3-540-76848-7_7"},{"key":"170_CR38","unstructured":"Wang F (2004) Formal verification of timed systems: a survey and perspective. In: Proceedings of the IEEE, pp 1283\u20131305, Aug 2004"},{"issue":"1","key":"170_CR39","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s11761-011-0096-5","volume":"6","author":"Z Wang","year":"2012","unstructured":"Wang Z, Xu X (2012) A sharing-oriented service selection and scheduling approach for the optimization of resource utilization. SOCA 6(1):15\u201332","journal-title":"SOCA"},{"key":"170_CR40","doi-asserted-by":"crossref","unstructured":"Watahiki K, Ishikawa F, Hiraishi K (2011) Formal verification of business processes with temporal and resource constraints. In: Proceedings of the IEEE international conference on systems, man and cybernetics. IEEE, pp 1173\u20131180","DOI":"10.1109\/ICSMC.2011.6083857"},{"issue":"2","key":"170_CR41","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.entcs.2009.06.029","volume":"229","author":"PYH Wong","year":"2009","unstructured":"Wong PYH, Gibbons J (2009) A relative timed semantics for BPMN. Electron Notes Theor Comput Sci 229(2):59\u201375","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"1","key":"170_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11761-011-0085-8","volume":"6","author":"B Xu","year":"2012","unstructured":"Xu B, Luo S, Yan Y, Sun K (2012) Towards efficiency of qos-driven semantic web service composition for large-scale service-oriented systems. SOCA 6(1):1\u201313","journal-title":"SOCA"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-014-0170-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-014-0170-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-014-0170-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T20:13:06Z","timestamp":1747167186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-014-0170-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,18]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["170"],"URL":"https:\/\/doi.org\/10.1007\/s11761-014-0170-x","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,18]]}}}