{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:10Z","timestamp":1725564550249},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_3","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"35-49","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Performance Modeling in the Software Development Process"],"prefix":"10.1007","author":[{"given":"Simonetta","family":"Balsamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Andolfi, F., Aquilani, F., Balsamo, S., Inverardi, P.: Deriving Performance Models of Software Architectures from Message Sequence Charts. In: [40], pp. 47\u201357 (2000)","DOI":"10.1145\/350391.350404"},{"issue":"2-3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0166-5316(01)00035-9","volume":"45","author":"F. Aquilani","year":"2001","unstructured":"Aquilani, F., Balsamo, S., Inverardi, P.: Performance Analysis at the Software Architectural Design Level. Perfomance Evaluation\u00a045(2-3), 147\u2013178 (2001)","journal-title":"Perfomance Evaluation"},{"key":"3_CR3","unstructured":"Baccelli, F., Balbo, G., Boucherie, R.J., Campos, J., Chiola, G.: Annotated bibliography on stochastic Petri nets. In: Performance Evaluation of Parallel and Distributed Systems \u2014 Solution Methods, CWI Tract, 105, Amsterdam, pp. 1\u201324 (1994)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1109\/12.5986","volume":"37","author":"G. Balbo","year":"1988","unstructured":"Balbo, G., Bruell, S., Ghanta, S.: Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behaviour. IEEE Transactions on Computers\u00a037, 1251\u20131268 (1988)","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR5","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Software Architectures: State of the art and perspectives. Rapporto Tecnico CS-2003-01, Universit\u00e0 Ca\u2019 Foscari di Venezia (2003)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Bernardo, M., Simeoni, M.: Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis. In: [41] (2002)","DOI":"10.1145\/584369.584398"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Iazeolla, G.: Product-Form Synthesis of Queueing Networks. IEEE Transactions on Software Engineering\u00a011(1) (February 1985)","DOI":"10.1109\/TSE.1985.232194"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: \u00c6MPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures. In: [40], pp. 1\u201311 (2000)","DOI":"10.1145\/350391.350394"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science\u00a0202, 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Meseguer, J.: From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In: [41] (2002)","DOI":"10.1145\/584369.584376"},{"key":"3_CR11","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, New York (1999)"},{"key":"3_CR12","unstructured":"Buchholz, P.: A framework for the hierarchical analysis of discrete event dynamic systems. Phd Thesis, University of Dortmund (1996)"},{"key":"3_CR13","volume-title":"Use CASE Maps for Object-Oriented Systems","author":"R.J.A. Buhr","year":"1996","unstructured":"Buhr, R.J.A., Casselman, R.S.: Use CASE Maps for Object-Oriented Systems. Prentice Hall, Englewood Cliffs (1996)"},{"issue":"4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/295251.295259","volume":"8","author":"P.S. Coe","year":"1998","unstructured":"Coe, P.S., Howell, F.W., Ibbett, R.N., Williams, L.M.: Technical Note: A Hierarchical Computer Architecture Design and Simulation Environment. ACM Transactions on Modelling and Computer Simulation\u00a08(4), 431\u2013446 (1998)","journal-title":"ACM Transactions on Modelling and Computer Simulation"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Grassi, V.: A performance based methodology to early evaluate the effectiveness of mobile software architectures. Journal of Logic and Algebraic Programming (2002)","DOI":"10.1016\/S1567-8326(01)00016-9"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Mirandola, R.: Deriving a Queueing Network based Performance Model from UML Diagrams. In: [40], pp. 58\u201370 (2000)","DOI":"10.1145\/350391.350406"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"De Miguel, M., Lambolais, T., Hannouz, M., Betg\u00e9-Brezetz, S., Piekarec, S.: UML Extensions for the Specification and Evaluation of Latency Constraints in Architectural Models. In: [40], pp. 83\u201388 (2000)","DOI":"10.1145\/350391.350411"},{"key":"3_CR18","unstructured":"G\u00f6tz, N., Herzog, U., Rettelback, M.: TIPP \u2013 a language for timed processes and performance evaluation. Technical Report 4\/92, IMMD7, University of Erlangen- N\u00fcrnberg, Germany (1992)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R.: PRIMAmob-UML: A Methodology for Performance Analysis of Mobile Software Architectures. In: [41] (2002)","DOI":"10.1145\/584369.584411"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Gu, G., Petriu, D.C.: XSLT transformation from UML models to LQN performance models. In: [41] (2002)","DOI":"10.1145\/584369.584402"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274, 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2-3","key":"3_CR22","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0166-5316(01)00032-3","volume":"45","author":"U. Herzog","year":"2001","unstructured":"Herzog, U., Rolia, J.: Performance Validation tools for software\/hardware systems. Perfomance Evaluation\u00a045(2-3), 125\u2013146 (2001)","journal-title":"Perfomance Evaluation"},{"key":"3_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR24","series-title":"Distinguished Dissertation Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Distinguished Dissertation Series. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR25","unstructured":"Hillston, J., Pooley, R.: Stochastic Process Algebras and their application to Performance Modelling. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, Springer, Heidelberg (1998)"},{"key":"3_CR26","unstructured":"ITU - Telecommunication Standardization Sector, Message Sequence Charts, ITU-T Recommentation Z.120(11\/99) (1999)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/3-540-45156-0_11","volume-title":"Performance Engineering","author":"P. K\u00e4hkipuro","year":"2001","unstructured":"K\u00e4hkipuro, P.: UML-based Performance Modeling Framework for Component- Based Distributed Systems. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol.\u00a02047, pp. 167\u2013184. Springer, Heidelberg (2001)"},{"key":"3_CR28","volume-title":"Introduction to Computer System Performance Evaluation","author":"K. Kant","year":"1992","unstructured":"Kant, K.: Introduction to Computer System Performance Evaluation. McGraw- Hill, New York (1992)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"King, P., Pooley, R.: Derivation of Petri Net Performance Models from UML Specifications of Communication Software. In: Proc. of the 11th International Conference on Tools and Techniques for Computer Performance Evaluation, pp. 262\u2013276 (2000)","DOI":"10.1007\/3-540-46429-8_19"},{"key":"3_CR30","volume-title":"Finite Markov Chains","author":"J.G. Kemeny","year":"1976","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer, New York (1976)"},{"issue":"11","key":"3_CR31","doi-asserted-by":"publisher","first-page":"1066","DOI":"10.1109\/32.881718","volume":"26","author":"D. Menasc\u00e8","year":"2000","unstructured":"Menasc\u00e8, D., Gooma, H.: A Method for design and Performance Modeling of Client\/Server Systems. IEEE Trans. on Software Engineering\u00a026(11), 1066\u20131085 (2000)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR32","unstructured":"Object Management Group, UML Profile, for Schedulability, Performance, and Time, OMG document ptc\/2002-03-02 at, http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2002-03-02"},{"key":"3_CR33","unstructured":"ObjecTime Ltd., Developer 5.1 Reference Manual, ObjecTime Ltd., Ottawa, Canada (1998)"},{"key":"3_CR34","unstructured":"OPNET Manuals, Mil 3, Inc. (1999)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-46029-2_9","volume-title":"Computer Performance Evaluation","author":"D.C. Petriu","year":"2002","unstructured":"Petriu, D.C., Woodside, M.: Software Performance Models from System Scenarios in Use Case Maps. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 141\u2013158. Springer, Heidelberg (2002)"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Petriu, D.C., Shen, H.: Applying UML Performance Profile: Graph Grammar- Based Derivation of LQN Models from UML Specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 159\u2013177. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-46029-2_10"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-45104-8_4","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"D.C. Petriu","year":"2000","unstructured":"Petriu, D.C., Wang, X.: From UML descriptions of High-Level Software Architectures to LQN Performance Models. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 47\u201362. Springer, Heidelberg (2000)"},{"key":"3_CR38","unstructured":"Pooley, R.: Using UML to Derive Stochastic Process Algebra Models. In: Proc. of XV UK Performance Engineering Workshop (1999)"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Pooley, R., King, P.: The Unified Modeling Language and Performance Engineering. In: Proc. IEEE Software (1999)","DOI":"10.1049\/ip-sen:19990151"},{"key":"3_CR40","unstructured":"Proceedings of the 2nd Int.Workshop on Software and Performance (WOSP 2000), ACM Press, Ottawa (2000)"},{"key":"3_CR41","unstructured":"Proceedings of the 3rd Int. Workshop on Software and Performance (WOSP 2002), ACM Press, Rome (2002)"},{"issue":"8","key":"3_CR42","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1109\/32.403785","volume":"21","author":"J.A. Rolia","year":"1995","unstructured":"Rolia, J.A., Sevcik, K.C.: The Method of Layers. IEEE Transaction on Software Engineering\u00a021(8), 682\u2013688 (1995)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"3_CR43","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"3_CR44","volume-title":"Performance Engineering of Software Systems","author":"C. Smith","year":"1990","unstructured":"Smith, C.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)"},{"issue":"2-3","key":"3_CR45","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0166-5316(01)00033-5","volume":"45","author":"M. Woodside","year":"2001","unstructured":"Woodside, M., Hrischuk, C., Selic, B., Bayarov, S.: Automated performance modeling of software generated by a design environment. Performance Evaluation\u00a045(2-3), 107\u2013123 (2001)","journal-title":"Performance Evaluation"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Williams, L.G., Smith, C.U.: Performance Evaluation of Software Architectures. In: Proc. of WOSP 1998, Santa Fe, New Mexico, USA, pp. 164\u2013177 (1998)","DOI":"10.1145\/287318.287353"},{"key":"3_CR47","unstructured":"Unified Modeling Language (UML), version 1.4. OMG Documentation, At http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:39:32Z","timestamp":1559569172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}