-
2
-
-
84898068961
-
The ProC/B Toolset for the Modelling and Analysis of Process Chains
-
Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. Springer, Heidelberg
-
Bause, F., Beilner, H., Fischer, M., Kemper, P., Völker, M.: The ProC/B Toolset for the Modelling and Analysis of Process Chains. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.2324, pp. 51-70. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2324
, pp. 51-70
-
-
Bause, F.1
Beilner, H.2
Fischer, M.3
Kemper, P.4
Völker, M.5
-
3
-
-
84923292867
-
Simulating process chain models with omnet++
-
Bause, F., Buchholz, P., Kriege, J., Vastag, S.: Simulating Process Chain Models with OMNeT++. In: Proc. of 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools) (2008)
-
(2008)
Proc. of 1st International Conference on Simulation Tools and Techniques for Communications Networks and Systems (SIMUTools)
-
-
Bause, F.1
Buchholz, P.2
Kriege, J.3
Vastag, S.4
-
4
-
-
70349853585
-
The ProC/B-approach: From informal descriptions to formal models
-
Paphos Cyprus
-
Bause, F., Buchholz, P., Tepper, C.: The ProC/B-approach: From Informal Descriptions to Formal Models. In: ISoLA - 1st International Symposium on Leveraging Applications of Formal Method, Paphos, Cyprus (2004)
-
(2004)
ISoLA - 1st International Symposium on Leveraging Applications of Formal Method
-
-
Bause, F.1
Buchholz, P.2
Tepper, C.3
-
9
-
-
33646183227
-
-
Prentice Hall, Englewood Cliffs
-
Menasće, D.A., Almeida, V.A.F., Dowdy, L.W.: Performance by Design. Prentice Hall, Englewood Cliffs (2004)
-
(2004)
Performance by Design
-
-
Menasće, D.A.1
Almeida, V.A.F.2
Dowdy, L.W.3
-
10
-
-
34247113786
-
QoS management in service-oriented architectures
-
Menasće, D.A., Ruan, H., Gomaa, H.: QoS Management in Service-oriented Architectures. Perform. Eval. 64(7-8), 646-663 (2007)
-
(2007)
Perform. Eval.
, vol.64
, Issue.7-8
, pp. 646-663
-
-
Menasće, D.A.1
Ruan, H.2
Gomaa, H.3
-
11
-
-
63849271739
-
SLA-driven business process management in soa
-
Lyons, K.A., Couturier C. (eds.) IBM
-
Muthusamy, V., Jacobsen, H.A., Coulthard, P., Chan, A., Waterhouse, J., Litani, E.: SLA-driven Business Process Management in SOA. In: Lyons, K.A., Couturier, C. (eds.) CASCON, pp. 264-267. IBM (2007)
-
(2007)
CASCON
, pp. 264-267
-
-
Muthusamy, V.1
Jacobsen, H.A.2
Coulthard, P.3
Chan, A.4
Waterhouse, J.5
Litani, E.6
-
12
-
-
70349851476
-
-
OMNeT++ Community Side, http://www.omnetpp.org/
-
-
-
-
13
-
-
35148870509
-
Performance modeling of ws-bpelbased web service compositions
-
IEEE Computer Society, Los Alamitos
-
Rud, D., Schmietendorf, A., Dumke, R.R.: Performance Modeling of WS-BPELBased Web Service Compositions. In: SCW, pp. 140-147. IEEE Computer Society, Los Alamitos (2006)
-
(2006)
SCW
, pp. 140-147
-
-
Rud, D.1
Schmietendorf, A.2
Dumke, R.R.3
-
14
-
-
34250329925
-
Modeling and simulation in service-oriented software development
-
DOI 10.1177/0037549707079221
-
Tsai, W.T., Cao, Z., Wei, X., Paul, R., Huang, Q., Sun, X.: Modeling and Simulation in Service-Oriented Software Development. Simulation 83(1), 7-32 (2007) (Pubitemid 46909509)
-
(2007)
Simulation
, vol.83
, Issue.1
, pp. 7-32
-
-
Tsai, W.T.1
Cao, Z.2
Wei, X.3
Ray, P.4
Huang, Q.5
Sun, X.6
-
16
-
-
34548065540
-
From annotated software designs (UML SPT/MARTE) to model Formalisms
-
Bernardo, M., Hillston, J. (Eds.) SFM2007. Springer, Heidelberg
-
Woodside, C.M.: From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. In: Bernardo, M., Hillston, J. (eds.) SFM2007. LNCS, vol.4486, pp. 429-467. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4486
, pp. 429-467
-
-
Woodside, C.M.1
|