{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T02:10:01Z","timestamp":1736647801723,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457725"},{"type":"electronic","value":"9783540457732"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880240_52","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T09:14:47Z","timestamp":1164186887000},"page":"753-767","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and Early Performance Estimation for Network Processor Applications"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[]},{"given":"Alvise","family":"Bonivento","sequence":"additional","affiliation":[]},{"given":"Guglielmo","family":"De Angelis","sequence":"additional","affiliation":[]},{"given":"Alberto Sangiovanni","family":"Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specifications from MSCs. In: SDL Forum, pp. 51\u201366 (1999)","DOI":"10.1016\/B978-044450228-5\/50005-9"},{"key":"52_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11423331_9","volume-title":"Rapid Integration of Software Engineering Techniques","author":"S. Afsharian","year":"2005","unstructured":"Afsharian, S., Bertolino, A., De Angelis, G., Iovanna, P., Mirandola, R.: A Model Based Approach to Design Applications for Network Processor. In: Guelfi, N. (ed.) RISE 2004. LNCS, vol.\u00a03475, Springer, Heidelberg (2005)"},{"issue":"5","key":"52_CR3","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng.\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"52_CR4","unstructured":"Barbieri, D.: Network Processors and Next Generation Networks : Design Methodology and Implementation of a Case of Study. Laurea Thesis, Universit\u00e0 degli Studi di Roma \u201cTor Vergata\u201d \u2013 in Italian (2005)"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to analysable Petri Net Models. In: Proc. 3rd Int. Workshop on Software and Performance (WOSP 2002), pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"52_CR6","first-page":"424","volume-title":"Proc. EUROMICRO-SEAA","author":"A. Bertolino","year":"2005","unstructured":"Bertolino, A., De Angelis, G., Mirandola, R.: UML-based design of network processors applications. In: Proc. EUROMICRO-SEAA, pp. 424\u2013431. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"2","key":"52_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Journal of Software and Systems Modeling\u00a04(2), 171\u2013188 (2005)","journal-title":"Journal of Software and Systems Modeling"},{"key":"52_CR8","doi-asserted-by":"crossref","DOI":"10.1002\/0471200581","volume-title":"Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications","author":"G. Bolch","year":"1998","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons, Chichester (1998)"},{"issue":"4","key":"52_CR9","first-page":"314","volume":"3","author":"A.W. Brown","year":"2004","unstructured":"Brown, A.W.: Model driven architecture: Principles and practice. Software and System Modeling\u00a03(4), 314\u2013327 (2004)","journal-title":"Software and System Modeling"},{"key":"52_CR10","first-page":"107","volume-title":"UML for real: design of embedded real-time systems","author":"R. Chen","year":"2003","unstructured":"Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: UML and Platform\u2013Based design, ch. 5. In: Lavagno, L., Martin, G., Selic, B.V. (eds.) UML for real: design of embedded real-time systems, pp. 107\u2013126. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Mirandola, R.: PRIMA-UML: A Performance Validation Incremental Methodology on Early UML Diagrams. Science of Computer Programming\u00a044(1) (2002)","DOI":"10.1016\/S0167-6423(02)00033-3"},{"key":"52_CR12","first-page":"2","volume-title":"International Conference on Computer Design (ICCD 1999)","author":"A. Ferrari","year":"1999","unstructured":"Ferrari, A., Sangiovanni-Vincentelli, A.: System design: Traditional concepts and new paradigms. In: International Conference on Computer Design (ICCD 1999), pp. 2\u201313. IEEE, Los Alamitos (1999)"},{"key":"52_CR13","unstructured":"Freescale. C\u20135 DCP Architecture Guide (1999)"},{"key":"52_CR14","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/584369.584411","volume-title":"Proc. 3rd Int. Workshop on Software and Performance (WOSP 2002)","author":"V. Grassi","year":"2002","unstructured":"Grassi, V., Mirandola, R.: PRIMAmob-UML: a methodology for performance analysis of mobile software architectures. In: Proc. 3rd Int. Workshop on Software and Performance (WOSP 2002), pp. 262\u2013274. ACM Press, New York (2002)"},{"key":"52_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-31810-1_5","volume-title":"System Analysis and Modeling","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen, \u00d8.: Comparing UML 2.0 interactions and MSC-2000. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 65\u201379. Springer, Heidelberg (2005)"},{"key":"52_CR16","unstructured":"SCTP\u00a0Prototype Implementation, http:\/\/www.sctp.de\/sctp.html\/"},{"issue":"3","key":"52_CR17","first-page":"19","volume":"6","author":"S. Lakshmanamurthy","year":"2002","unstructured":"Lakshmanamurthy, S., Liu, K.Y., Pun, Y., Huston, L., Naik, U.: Network processor performance analysis methodology. Intel Technology Journal\u00a06(3), 19\u201328 (2002)","journal-title":"Intel Technology Journal"},{"key":"52_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-65306-6_17","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M.A. Marsan","year":"1998","unstructured":"Marsan, M.A., Bobbio, A., Donatelli, S.: Petri nets in performance analysis: An introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 211\u2013256. Springer, Heidelberg (1998)"},{"key":"52_CR19","doi-asserted-by":"crossref","unstructured":"Martin, G.: UML for Embedded Systems Specification and Design: Motivation and Overview. In: Proc. DATE, pp. 773\u2013775 (2002)","DOI":"10.1109\/DATE.2002.998386"},{"key":"52_CR20","doi-asserted-by":"crossref","unstructured":"Martin, G., Lavagno, L., Louis\u2013Guerin, J.: Embedded UML: a merger of real-time UML and co-design. In: Proc. CODES, pp. 23\u201328 (2001)","DOI":"10.1145\/371636.371660"},{"issue":"12","key":"52_CR21","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1016\/0169-7552(95)00123-9","volume":"28","author":"S. Mauw","year":"1996","unstructured":"Mauw, S.: The Formalization of Message Sequence Charts. Computer Networks and ISDN Systems\u00a028(12), 1643\u20131657 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"4","key":"52_CR22","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013574 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"52_CR23","unstructured":"OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems, OMG Document \u2013 realtime\/05-02-06 edition (Jannuary 2005)"},{"key":"52_CR24","unstructured":"OMG. UML Profile for Schedulability, Performance and Time Specification, OMG Document \u2013 formal\/05-01-02 edition (Jannuary 2005)"},{"key":"52_CR25","doi-asserted-by":"crossref","unstructured":"Rudolph, E., Grabowski, J., Graubmann, P.: Towards a harmonization of UML-sequence diagrams and MSC. In: SDL Forum, pp. 193\u2013208 (1999)","DOI":"10.1016\/B978-044450228-5\/50014-X"},{"key":"52_CR26","doi-asserted-by":"crossref","unstructured":"Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction\u2013raising transformation for generating analysis models. In: MoDELS Satellite Events, pp. 217\u2013226 (2005)","DOI":"10.1007\/11663430_23"},{"key":"52_CR27","unstructured":"Sgroi, M.: Platform-based Design Methodologies for Communication Networks. PhD thesis, U.C. Berkeley (2002)"},{"key":"52_CR28","unstructured":"Sgroi, M., Kondratyev, A., Watanabe, Y., Lavagno, L., Sangiovanni\u2013Vincentelli, A.: Synthesis of petri nets from message sequence charts specifications for protocol design. In: Proceedings of Design, Analysis and Simulation of Distributed Systems Symposium, DASD 2004, pp. 262\u2013274 (2004)"},{"key":"52_CR29","volume-title":"Performance Solutions: A practical Guide To Creating Responsive, Scalable Software","author":"C.U. Smith","year":"2001","unstructured":"Smith, C.U., Williams, L.: Performance Solutions: A practical Guide To Creating Responsive, Scalable Software. Addison-Wesley, Reading (2001)"},{"key":"52_CR30","doi-asserted-by":"crossref","unstructured":"Stewart, R.R., Xie, Q., Morneault, K., Sharp, C., Schwarzbauer, H.J., Taylor, T., Rytina, I., Kalla, M., Zhang, L.: Stream Control Transmission Protocol. Technical Report RFC 2960, IETF (October 2000)","DOI":"10.17487\/rfc2960"},{"key":"52_CR31","unstructured":"The SIGTRAN Group Web Site, http:\/\/www.sigtran.org\/"},{"issue":"2","key":"52_CR32","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/s10270-004-0070-1","volume":"4","author":"L. Tratt","year":"2005","unstructured":"Tratt, L.: Model transformations and tool integration. Journal of Software and Systems Modelling\u00a04(2), 112\u2013122 (2005)","journal-title":"Journal of Software and Systems Modelling"},{"key":"52_CR33","unstructured":"Sangiovanni Vincentelli, A.: Defining Platform-based Design. EEDesign of EETimes (February 2002)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880240_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T01:28:39Z","timestamp":1736645319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880240_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457725","9783540457732"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11880240_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}