메뉴 건너뛰기




Volumn 5281 LNCS, Issue , 2008, Pages 1-27

Rethinking the use of models in software architecture

Author keywords

[No Author keywords available]

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS;

EID: 70349918375     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87879-7_1     Document Type: Conference Paper
Times cited : (30)

References (79)
  • 7
    • 0141725648 scopus 로고    scopus 로고
    • Model-driven development: A metamodeling foundation
    • Atkinson, C., Kuhne, T.: Model-driven development: A metamodeling foundation. IEEE Software 20(5), 36-41 (2003)
    • (2003) IEEE Software , vol.20 , Issue.5 , pp. 36-41
    • Atkinson, C.1    Kuhne, T.2
  • 9
    • 84957369657 scopus 로고    scopus 로고
    • Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, 1102, pp. 269-276. Springer, Heidelberg (1996)
    • Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269-276. Springer, Heidelberg (1996)
  • 10
    • 3042576329 scopus 로고    scopus 로고
    • Model-based performance prediction in software development: A survey
    • Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng. 30(5), 295-310 (2004)
    • (2004) IEEE Trans. Software Eng , vol.30 , Issue.5 , pp. 295-310
    • Balsamo, S.1    Marco, A.D.2    Inverardi, P.3    Simeoni, M.4
  • 12
    • 0016495143 scopus 로고
    • Open, closed, and mixed networks of queues with different classes of customers
    • Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248-260 (1975)
    • (1975) J. ACM , vol.22 , Issue.2 , pp. 248-260
    • Baskett, F.1    Chandy, K.M.2    Muntz, R.R.3    Palacios, F.G.4
  • 13
    • 33746044889 scopus 로고    scopus 로고
    • Performance prediction of componentbased systems - a survey from an engineering perspective
    • Reussner, R, Stafford, J.A, Szyperski, C.A, eds, Architecting Systems with Trustworthy Components, Springer, Heidelberg
    • Becker, S., Grunske, L., Mirandola, R., Overhage, S.: Performance prediction of componentbased systems - a survey from an engineering perspective. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 169-192. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.3938 , pp. 169-192
    • Becker, S.1    Grunske, L.2    Mirandola, R.3    Overhage, S.4
  • 14
    • 34748918915 scopus 로고    scopus 로고
    • Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: WOSP, pp. 54-65. ACM, New York (2007)
    • Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: WOSP, pp. 54-65. ACM, New York (2007)
  • 16
    • 34548627213 scopus 로고    scopus 로고
    • Performance evaluation of uml design with stochastic wellformed nets
    • Bernardi, S., Merseguer, J.: Performance evaluation of uml design with stochastic wellformed nets. Journal of Systems and Software 80(11), 1843-1865 (2007)
    • (2007) Journal of Systems and Software , vol.80 , Issue.11 , pp. 1843-1865
    • Bernardi, S.1    Merseguer, J.2
  • 19
    • 35148848185 scopus 로고    scopus 로고
    • A framework for optimal service selection in broker-based architectures with multiple QoS classes. In: Services computing workshops, SCW
    • Los Alamitos
    • Cardellini, V., Casalicchio, E., Grassi, V., Mirandola, R.: A framework for optimal service selection in broker-based architectures with multiple QoS classes. In: Services computing workshops, SCW 2006, pp. 105-112. IEEE computer society, Los Alamitos (2006)
    • (2006) 105-112. IEEE computer society , pp. 2006
    • Cardellini, V.1    Casalicchio, E.2    Grassi, V.3    Mirandola, R.4
  • 20
    • 33750303020 scopus 로고    scopus 로고
    • An efficient algorithm for the exact analysis of multiclass queueing networks with large population sizes
    • Casale, G.: An efficient algorithm for the exact analysis of multiclass queueing networks with large population sizes. In: SIGMETRICS/Performance, pp. 169-180 (2006)
    • (2006) SIGMETRICS/Performance , pp. 169-180
    • Casale, G.1
  • 21
    • 44049090624 scopus 로고    scopus 로고
    • Geometric bounds: A noniterative analysis technique for closed queueing networks
    • Casale, G., Muntz, R., Serazzi, G.: Geometric bounds: A noniterative analysis technique for closed queueing networks. IEEE Trans. Comput. 57(6), 780-794 (2008)
    • (2008) IEEE Trans. Comput , vol.57 , Issue.6 , pp. 780-794
    • Casale, G.1    Muntz, R.2    Serazzi, G.3
  • 22
    • 84976766949 scopus 로고
    • The entity-relationship model-toward a unified view of data
    • Chen, P.P.-S.: The entity-relationship model-toward a unified view of data. ACM Trans. Database Syst. 1(1), 9-36 (1976)
    • (1976) ACM Trans. Database Syst , vol.1 , Issue.1 , pp. 9-36
    • Chen, P.P.-S.1
  • 23
    • 0027540587 scopus 로고
    • Generalized stochastic petri nets: A definition at the net level and its implications
    • Chiola, G., Marsan, M.A., Balbo, G., Conte, G.: Generalized stochastic petri nets: A definition at the net level and its implications. IEEE Trans. Softw. Eng. 19(2), 89-107 (1993)
    • (1993) IEEE Trans. Softw. Eng , vol.19 , Issue.2 , pp. 89-107
    • Chiola, G.1    Marsan, M.A.2    Balbo, G.3    Conte, G.4
  • 24
    • 34548105489 scopus 로고    scopus 로고
    • Clark, A., Gilmore, S., Hillston, J., Tribastone,M.: Stochastic process algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, 4486, pp. 132-179. Springer, Heidelberg (2007)
    • Clark, A., Gilmore, S., Hillston, J., Tribastone,M.: Stochastic process algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 132-179. Springer, Heidelberg (2007)
  • 25
    • 37149016514 scopus 로고    scopus 로고
    • Cortellessa, V., Marco, A.D., Inverardi, P.: Integrating performance and reliability analysis in a non-functional mda framework. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, 4422, pp. 57-71. Springer, Heidelberg (2007)
    • Cortellessa, V., Marco, A.D., Inverardi, P.: Integrating performance and reliability analysis in a non-functional mda framework. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 57-71. Springer, Heidelberg (2007)
  • 26
    • 0036642736 scopus 로고    scopus 로고
    • PRIMA-UML: A performance validation incremental methodology on early UML diagrams
    • Cortellessa, V., Mirandola, R.: PRIMA-UML: a performance validation incremental methodology on early UML diagrams. Sci. Comput. Program. 44(1), 101-129 (2002)
    • (2002) Sci. Comput. Program , vol.44 , Issue.1 , pp. 101-129
    • Cortellessa, V.1    Mirandola, R.2
  • 28
    • 33748289548 scopus 로고    scopus 로고
    • Feature-based survey of model transformation approaches
    • Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621-646 (2006)
    • (2006) IBM Systems Journal , vol.45 , Issue.3 , pp. 621-646
    • Czarnecki, K.1    Helsen, S.2
  • 29
    • 70350680945 scopus 로고    scopus 로고
    • Gallotti, S., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Quality prediction of service compositions through probabilistic model checking. In: Becker, S., Plasil, F. (eds.) QoSA 2008. LNCS, 5281, pp. 119-134. Springer, Heidelberg (2008)
    • Gallotti, S., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Quality prediction of service compositions through probabilistic model checking. In: Becker, S., Plasil, F. (eds.) QoSA 2008. LNCS, vol. 5281, pp. 119-134. Springer, Heidelberg (2008)
  • 31
    • 0001167316 scopus 로고
    • Closed queueing networks with exponential servers
    • Gordon, W.J., Newell, G.F.: Closed queueing networks with exponential servers. Operat. Res 15, 252-267 (1967)
    • (1967) Operat. Res , vol.15 , pp. 252-267
    • Gordon, W.J.1    Newell, G.F.2
  • 32
    • 77049119006 scopus 로고    scopus 로고
    • Architecture-based reliability prediction for service-oriented computing
    • de Lemos, R, Gacek, C, Romanovsky, A, eds, Architecting Dependable Systems III, Springer, Heidelberg
    • Grassi, V.: Architecture-based reliability prediction for service-oriented computing. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol. 3549, pp. 279-299. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3549 , pp. 279-299
    • Grassi, V.1
  • 33
    • 84948981249 scopus 로고    scopus 로고
    • Grassi, V., Mirandola, R.: Uml modelling and performance analysis of mobile software architectures. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, 2185, pp. 209-224. Springer, Heidelberg (2001)
    • Grassi, V., Mirandola, R.: Uml modelling and performance analysis of mobile software architectures. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 209-224. Springer, Heidelberg (2001)
  • 34
    • 3042783500 scopus 로고    scopus 로고
    • Derivation of markov models for effectiveness analysis of adaptable software architectures for mobile computing
    • Grassi, V., Mirandola, R.: Derivation of markov models for effectiveness analysis of adaptable software architectures for mobile computing. IEEE Trans. Mob. Comput. 2(2), 114-131 (2003)
    • (2003) IEEE Trans. Mob. Comput , vol.2 , Issue.2 , pp. 114-131
    • Grassi, V.1    Mirandola, R.2
  • 35
    • 33847314530 scopus 로고    scopus 로고
    • Filling the gap between design and performancereliability models of component-based systems: A model-driven approach
    • Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performancereliability models of component-based systems: A model-driven approach. Journal of Systems and Software 80(4), 528-558 (2007)
    • (2007) Journal of Systems and Software , vol.80 , Issue.4 , pp. 528-558
    • Grassi, V.1    Mirandola, R.2    Sabetta, A.3
  • 37
    • 0003096318 scopus 로고
    • A logic for reasoning about time and reliability
    • Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
    • (1994) Formal Aspects of Computing , vol.6 , Issue.5 , pp. 512-535
    • Hansson, H.1    Jonsson, B.2
  • 38
    • 0001930641 scopus 로고
    • Jobshop-like queueing systems
    • Jackson, J.: Jobshop-like queueing systems. Management Science 10(1), 131-142 (1963)
    • (1963) Management Science , vol.10 , Issue.1 , pp. 131-142
    • Jackson, J.1
  • 40
    • 0022679405 scopus 로고
    • The composite bound method for computing throughput bounds in multiple class environments
    • Kerola, T.: The composite bound method for computing throughput bounds in multiple class environments. Performance Evaluation 6(1), 1-9 (1986)
    • (1986) Performance Evaluation , vol.6 , Issue.1 , pp. 1-9
    • Kerola, T.1
  • 41
    • 0004210802 scopus 로고
    • John Wiley and Sons, Chichester
    • Kleinrock, L.: Queueing Systems. John Wiley and Sons, Chichester (1975)
    • (1975) Queueing Systems
    • Kleinrock, L.1
  • 42
    • 33947694410 scopus 로고    scopus 로고
    • Is abstraction the key to computing?
    • Kramer, J.: Is abstraction the key to computing? Commun. ACM 50(4), 36-42 (2007)
    • (2007) Commun. ACM , vol.50 , Issue.4 , pp. 36-42
    • Kramer, J.1
  • 43
    • 70350701405 scopus 로고    scopus 로고
    • Kramer, J., Magee, J.: Concurrency: StateModels Java Programs, 2nd edn.Worldwide Series in Computer Science. John Wiley Sons, Chichester (2006)
    • Kramer, J., Magee, J.: Concurrency: StateModels Java Programs, 2nd edn.Worldwide Series in Computer Science. John Wiley Sons, Chichester (2006)
  • 44
    • 34247603667 scopus 로고    scopus 로고
    • Risk-Aware Limited Lookahead Control for Dynamic Resource Provisioning in Enterprise Computing Systems
    • Kusic, D., Kandasamy, N.: Risk-Aware Limited Lookahead Control for Dynamic Resource Provisioning in Enterprise Computing Systems. In: ICAC 2006 Proc. (2006)
    • (2006) ICAC 2006 Proc
    • Kusic, D.1    Kandasamy, N.2
  • 45
    • 51649104701 scopus 로고    scopus 로고
    • Power and Performance Management of Virtualized Computing Environments Via Lookahead Control
    • Kusic, D., Kephart, J.O., Kandasamy, N., Jiang, G.: Power and Performance Management of Virtualized Computing Environments Via Lookahead Control. In: ICAC 2008 Proc. (2008)
    • (2008) ICAC 2008 Proc
    • Kusic, D.1    Kephart, J.O.2    Kandasamy, N.3    Jiang, G.4
  • 47
    • 34548060449 scopus 로고    scopus 로고
    • Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, 4486, pp. 220-270. Springer, Heidelberg (2007)
    • Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220-270. Springer, Heidelberg (2007)
  • 50
    • 0033100978 scopus 로고    scopus 로고
    • Identification of linear parameter-varying systems using nonlinear programming
    • Lee, L., Poolla, K.: Identification of linear parameter-varying systems using nonlinear programming. ASME Journal of Dynamic Systems, Measurement and Control 121(1), 71-78 (1999)
    • (1999) ASME Journal of Dynamic Systems, Measurement and Control , vol.121 , Issue.1 , pp. 71-78
    • Lee, L.1    Poolla, K.2
  • 52
    • 79961019705 scopus 로고    scopus 로고
    • Perspectives on System Identification
    • Seoul, Korea, to appear
    • Ljung, L.: Perspectives on System Identification. In: 2008 IFAC World Congress, Seoul, Korea. (to appear, 2008)
    • (2008) 2008 IFAC World Congress
    • Ljung, L.1
  • 53
    • 4944221673 scopus 로고    scopus 로고
    • Compositional generation of software architecture performance qn models. In: WICSA
    • Los Alamitos
    • Marco, A.D., Inverardi, P.: Compositional generation of software architecture performance qn models. In: WICSA, pp. 37-46. IEEE Computer Society, Los Alamitos (2004)
    • (2004) IEEE Computer Society , pp. 37-46
    • Marco, A.D.1    Inverardi, P.2
  • 54
    • 70350005558 scopus 로고    scopus 로고
    • Marco, A.D.,Mirandola, R.:Model transformation in software performance engineering. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, 4214, pp. 95-110. Springer, Heidelberg (2006)
    • Marco, A.D.,Mirandola, R.:Model transformation in software performance engineering. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 95-110. Springer, Heidelberg (2006)
  • 55
    • 49949106322 scopus 로고    scopus 로고
    • Marzolla, M., Mirandola, R.: Performance prediction of web service workflows. In: Overhage, S., Szyperski, C.A., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, 4880, pp. 127-144. Springer, Heidelberg (2008)
    • Marzolla, M., Mirandola, R.: Performance prediction of web service workflows. In: Overhage, S., Szyperski, C.A., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 127-144. Springer, Heidelberg (2008)
  • 57
    • 38349061026 scopus 로고    scopus 로고
    • Menascé, D.A., Dubey, V.: Utility-based qos brokering in service oriented architectures. In: ICWS, pp. 422-430 (2007)
    • Menascé, D.A., Dubey, V.: Utility-based qos brokering in service oriented architectures. In: ICWS, pp. 422-430 (2007)
  • 58
    • 33644921482 scopus 로고    scopus 로고
    • Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci. 152, 125-142 (2006)
    • Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci. 152, 125-142 (2006)
  • 61
    • 70350642824 scopus 로고    scopus 로고
    • O.M.G. OMG.: UML Profile for Modeling and Analysis of Real-Time and Embedded Systems. ptc/07-08-04 (2007)
    • O.M.G. OMG.: UML Profile for Modeling and Analysis of Real-Time and Embedded Systems. ptc/07-08-04 (2007)
  • 63
    • 38049164886 scopus 로고    scopus 로고
    • Software engineering and performance: A road-map
    • Pooley, R.: Software engineering and performance: a road-map. In: ICSE - Future of SE Track, pp. 189-199 (2000)
    • (2000) ICSE - Future of SE Track , pp. 189-199
    • Pooley, R.1
  • 65
    • 34748859158 scopus 로고    scopus 로고
    • An LPV approximation for admission control of an internet web server: Identification and control
    • Qin, W., Wang, Q.: An LPV approximation for admission control of an internet web server: identification and control. Control Engineering Practice 15(12), 1457-1467 (2007)
    • (2007) Control Engineering Practice , vol.15 , Issue.12 , pp. 1457-1467
    • Qin, W.1    Wang, Q.2
  • 66
    • 33947690698 scopus 로고    scopus 로고
    • Modeling and control design for performance management of web servers via an LPV approach
    • Qin, W., Wang, Q.: Modeling and control design for performance management of web servers via an LPV approach. IEEE Transactions on Control Systems Technology 15(2), 259-275 (2007)
    • (2007) IEEE Transactions on Control Systems Technology , vol.15 , Issue.2 , pp. 259-275
    • Qin, W.1    Wang, Q.2
  • 67
    • 0012805528 scopus 로고    scopus 로고
    • Matrix-Analytic Analysis of a MAP/PH/1 Queue Fitted to Web Server Data
    • Latouche, G, Taylor, P, eds, World Scientific, Singapore
    • Riska, A., Squillante, M., Yu, S.Z., Liu, Z., Zhang, L.: Matrix-Analytic Analysis of a MAP/PH/1 Queue Fitted to Web Server Data. In: Latouche, G., Taylor, P. (eds.) Matrix- Analytic Methods: Theory and Applications, pp. 335-356. World Scientific, Singapore (2002)
    • (2002) Matrix- Analytic Methods: Theory and Applications , pp. 335-356
    • Riska, A.1    Squillante, M.2    Yu, S.Z.3    Liu, Z.4    Zhang, L.5
  • 70
    • 38349044477 scopus 로고    scopus 로고
    • Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks
    • Krämer, B.J, Lin, K.-J, Narasimhan, P, eds, ICSOC 2007, Springer, Heidelberg
    • Sato, N., Trivedi, K.S.: Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 107-118. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4749 , pp. 107-118
    • Sato, N.1    Trivedi, K.S.2
  • 72
    • 54249100947 scopus 로고    scopus 로고
    • Performance and Scalability of Distributed Software Architectures: An
    • Addison Wesley, Reading
    • Smith, C.U.,Williams, L.G.: Performance and Scalability of Distributed Software Architectures: an SPE Approach. Addison Wesley, Reading (2002)
    • (2002) SPE Approach
    • Smith, C.U.1    Williams, L.G.2
  • 75
    • 53349146403 scopus 로고    scopus 로고
    • On- and off-line model identification for power management ofWeb service systems
    • Mexico to appear
    • Tanelli, M., Ardagna, D., Lovera, M.: On- and off-line model identification for power management ofWeb service systems. In: 47th IEEE Conference on Decision and Control, Mexico (to appear, 2008)
    • (2008) 47th IEEE Conference on Decision and Control
    • Tanelli, M.1    Ardagna, D.2    Lovera, M.3
  • 76
    • 19644388725 scopus 로고    scopus 로고
    • Model transformations and tool integration
    • Tratt, L.: Model transformations and tool integration. Software and System Modeling 4(2), 112-122 (2005)
    • (2005) Software and System Modeling , vol.4 , Issue.2 , pp. 112-122
    • Tratt, L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.