Message Dependency-Based Adaptation of Services

Jiang, Jianmin; Zhang, Shi; Gong, Ping; Zhong, Hong

doi:10.1109/apscc.2011.81

Cited by 11 publications

(21 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…. A model called a dependency structure [16] (formerly called a protocol structure [14], [15]) is defined over the set of events here. We choose dependency structures as formal models for the following reasons.…”

Section: Formal Modelmentioning

confidence: 99%

“…To investigate service virtualization in theory, we propose a model called a dependency structure [16] (formerly called a protocol structure [14], [15]) that models services and their virtual services. We first define service virtualization that satisfies three characteristics of virtualization mentioned above and discuss some properties of the virtual services and virtualized services.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Configuration of Services Based on Virtualization

Jiang

Zhu

et al. 2014

2014 Theoretical Aspects of Software Engineering Conference

Self Cite

View full text Add to dashboard Cite

Virtualization is fundamental to cloud computing. It allows abstraction centred on services and isolation of lower level functionalities and underlying hardware. Modeling, analyzing and verifying cloud systems necessarily involve virtualization and services. However, there exist few efforts to effectively formalizing virtualization in cloud computing. In this paper, based on services we present an approach for defining virtualization. We discuss some properties of service virtualization under some operations and the correctness of virtual services (virtual services without abnormal behavioral problems). Moreover, we investigate automatic configuration of a service based on virtualization, that is, given a virtualized service, how can we automatically obtain all possible correct virtual services of such a service? The configuration process is to first separate a virtualized service into atomic and correct virtual services and then merge these atomic virtual services into all possible correct virtual services of such a virtualized service. The obtained theoretical results help to formally analyze, verify and configure cloud systems.

show abstract

Section: Formal Modelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Configuration of Services Based on Virtualization

Jiang

Zhu

et al. 2014

2014 Theoretical Aspects of Software Engineering Conference

Self Cite

View full text Add to dashboard Cite

show abstract

“…It has been used to analyze service adaptation, 30 business process configuration, 27 service configuration, 37 and decomposition of scheduling. 28 …”

Section: Toolmentioning

confidence: 99%

“…According to the translation rule in Definition 7, the activity diagram  is first translated into the dependency structure td() = ⟨, I, T, S, C, P, F⟩ where  = {0, 1, 2, 3, 4, 5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39, i, f 1, f 2, f 3, f 4, f 5}, I = {{i}}, T = {({i}, {0}), ({0}, {3}), ({0}, {1}), ({1}, {2}), ({2}, {4}), ({2}, {8}), ({4}, {7}), ({7, 8}, {11}), ({3}, {5}), ({5}, {6}), ({6}, {f 1}), ({5}, {9}), ({9}, {10}), ({11}, {12}), ({12}, {13}), ({13}, {f 2}), ({12}, {14}), ({14}, {15}), ({15}, {16}), ({16}, {18}), ({18}, {f 3}), ({16}, {2}), ({15}, {17}), ({17}, {19}), ({10}, {20}), ({19}, {20}), ({20}, {21}), ({20}, {22}), ({21, 22}, {23}), ({23}, {24}), ({24}, {27}), ({27}, {29}),({29}, {30}),({29}, {31}),({30}, {28}),({30}, {25}),({28}, {26}),({26}, {25}), ({25}, {f 4}), ({31}, {20}), ({31}, {32}), ({32}, {33}), ({32}, {36}), ({33}, {34}), ({33}, {35}), ({34, 35}, {37}), ({37}, {38}), ({36}, {39}), ({38}, {39}), ({39}, {f 5})}, S = {{7, 8}, {21, 22}, {34, 35}}, C = {{1, 3}, {6, 9}, {13, 14}, {16, 17}, {25, 28}, {20, 32}, {33, 36}}, P = ∅, and F = {{f 1}, {f 2}, {f 3}, {f 4}, {f 5}}.…”

Section: Figurementioning

confidence: 99%

“…Such semantics is actually the transition system-based structural operational semantics. 26 We choose an event-based model called a dependency structure 27,28 (formerly called a protocol structure 29,30 ) as the semantical model of activity diagram. Dependency structures are an extended version of the event-based models, such as the event structures, 31 the configuration structures, 32,33 and the Rapide approach.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Decomposition of UML activity diagrams

et al. 2017

Self Cite

View full text Add to dashboard Cite

SummaryIn software engineering, UML activity diagrams in general can be useful for a modeling system functional behavior, ranging from the sequences of activities/actions from business processes within an organization or among organizations down to the detail of an algorithm. The stepwise refinement process makes activity diagrams more and more complex. To guarantee the behavior consistency and correctness under refinement, the activity diagrams must be decomposed according to the divide-and-conquer strategy. Traditional decomposition methods adopt manual techniques and cannot ensure the independence and completeness of the obtained subdiagrams. In this paper, a novel decomposition approach is proposed, which can automatically divide an activity diagram into atomic and correct subdiagrams (subdiagrams without abnormal behavioral problems) at the same level. When such an activity diagram specifies the whole functional behavior of a software system, the approach can in fact decompose a system into multiple atomic subsystems. Every atomic subsystem is a completely independent system. It may be independently developed, independently tested, and independently deployed. The method facilitates the management, development, and maintenance of a software system. With the help of a prototype tool, a case study demonstrates the decomposition method.

show abstract

Modeling and analyzing mixed communications in service-oriented trustworthy software

Jiang

Shi

Gong

et al. 2012

Sci. China Inf. Sci.

Self Cite

View full text Add to dashboard Cite

Communication is an essential part of service-oriented trustworthy software. The actual communication mechanism among services adopts asynchronous communications and supports broadcast communications. However, in order to achieve a better performance in analysis and verification, most existing formal languages rely on the strong hypothesis: the communication between services is synchronous. In this paper, we propose a novel model, which can model synchronous communications, asynchronous communications and broadcast communications in a uniform way. Moreover, we investigate the preservation problem of the weak termination and deadlocks of a composite service under the hierarchical communication models.

show abstract

Message Dependency-Based Adaptation of Services

Cited by 11 publications

References 12 publications

Configuration of Services Based on Virtualization

Configuration of Services Based on Virtualization

Decomposition of UML activity diagrams

Modeling and analyzing mixed communications in service-oriented trustworthy software

Contact Info

Product

Resources

About