1
|
Han X, Wang L, Qin J. Combine availability with user preferences for efficient WSC. WEB INTELLIGENCE 2019. [DOI: 10.3233/web-190405] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/15/2022]
Affiliation(s)
- Xiaofeng Han
- School of Information Science and Engineering, Xinjiang University, Urumqi 830046, China
| | - Liejun Wang
- School of Software, Xinjiang University, Urumqi 830046, China
| | - Jiwei Qin
- School of Information Science and Engineering, Xinjiang University, Urumqi 830046, China
- Center of Network and Information Technology, Xinjiang University, Urumqi 830046, China
| |
Collapse
|
2
|
Gao X, Xu L, Wang X, Li Y, Yang M, Liu Y. Workflow process modelling and resource allocation based on polychromatic sets theory. ENTERP INF SYST-UK 2013. [DOI: 10.1080/17517575.2012.745617] [Citation(s) in RCA: 20] [Impact Index Per Article: 1.8] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/27/2022]
|
3
|
Towards an approach of formal verification of mediation protocol based on web services of MDE type. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS 2012. [DOI: 10.1108/17440081211222582] [Citation(s) in RCA: 6] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/17/2022]
Abstract
PurposeThe purpose of this paper is to formally verify the composition of web services to reduce inconsistencies in software architectures.Design/methodology/approachIn order to check the web services composition, the authors use a model‐driven engineering (MDE)‐based approach and to achieve the formalization of web service composition in ACME and check the consistency of this composition, the authors introduce the pattern mediation to formalize web services composition with the ADL ACME, using the concept of architectural style of ACME. Subsequently, a scenario shows how this style can be used in ACMEStudio to detect inconsistencies. The example shows a web travel organization application.FindingsThe authors ensure reliability defined through non‐functional properties. To do so, use ACME was used to check assembling consistency of web service composition. In a second part, a SWC2ACME tool was designed and implemented to check if the web services meta‐model conforms to ACME model.Originality/valueThe paper describes a framework which has proven to be useful to ensure a safe design and execution of software architectures, specifically web services composition.
Collapse
|
4
|
Aldin L, de Cesare S. A literature review on business process modelling: new frontiers of reusability. ENTERP INF SYST-UK 2011. [DOI: 10.1080/17517575.2011.557443] [Citation(s) in RCA: 43] [Impact Index Per Article: 3.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/18/2022]
|
5
|
Lin Y, Krogstie J. Semantic Annotation of Process Models for Facilitating Process Knowledge Management. INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN 2010. [DOI: 10.4018/jismd.2010070103] [Citation(s) in RCA: 11] [Impact Index Per Article: 0.8] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/09/2022]
Abstract
Enterprise/business process models that represent knowledge of business processes are generally designed for particular applications in a range of different enterprises. It is a considerable challenge to manage the knowledge of processes that are distributed throughout many different information systems, due to the heterogeneity of the process models used. In this paper, the authors present a framework for semantic annotation that tackles the problem of the heterogeneity of distributed process models to facilitate management of process knowledge. The feasibility of the approach is demonstrated by means of exemplar studies, and a comprehensive empirical evaluation is used to validate the authors’ approach.
Collapse
|
6
|
|
7
|
|
8
|
Curbera F, Khalaf R, Leymann F, Weerawarana S. Exception Handling in the BPEL4WS Language. ACTA ACUST UNITED AC 2003. [DOI: 10.1007/3-540-44895-0_19] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 02/16/2023]
|
9
|
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets. PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS 2003. [DOI: 10.1007/978-3-540-40022-6_16] [Citation(s) in RCA: 40] [Impact Index Per Article: 1.9] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/29/2022]
|
10
|
|
11
|
UML Activity Diagrams as a Workflow Specification Language. ≪UML≫ 2001 — THE UNIFIED MODELING LANGUAGE. MODELING LANGUAGES, CONCEPTS, AND TOOLS 2001. [DOI: 10.1007/3-540-45441-1_7] [Citation(s) in RCA: 126] [Impact Index Per Article: 5.5] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022]
|