{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:45Z","timestamp":1771026765722,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,4,21]],"date-time":"2012-04-21T00:00:00Z","timestamp":1334966400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10270-012-0246-z","type":"journal-article","created":{"date-parts":[[2012,4,20]],"date-time":"2012-04-20T07:14:06Z","timestamp":1334906046000},"page":"391-432","source":"Crossref","is-referenced-by-count":52,"title":["An approach for modeling and detecting software performance antipatterns based on first-order logics"],"prefix":"10.1007","volume":"13","author":[{"given":"Vittorio","family":"Cortellessa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antinisca","family":"Di Marco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,4,21]]},"reference":[{"key":"246_CR1","unstructured":"Document Object Model (DOM) (2000) Java API for XML Processing, Package org.w3c.dom. http:\/\/download.oracle.com\/javase\/1.4.2\/docs\/api\/org\/w3c\/dom\/package-summary.html"},{"key":"246_CR2","unstructured":"Jess, the Rule Engine for the Java Platform (2007). http:\/\/www.jessrules.com\/jess\/index.shtml"},{"key":"246_CR3","unstructured":"UML 2.0 Superstructure Specification, OMG document formal\/05-07-04, Object Management Group, Inc. (2005). http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04"},{"key":"246_CR4","unstructured":"UML Profile for MARTE, OMG document formal\/09-11-02, Object Management Group, Inc. (2009). http:\/\/www.omg.org\/spec\/MARTE\/1.0\/PDF\/"},{"issue":"5","key":"246_CR5","doi-asserted-by":"crossref","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. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"246_CR6","volume-title":"Discrete-Event System Simulation","author":"J. Banks","year":"1999","unstructured":"Banks J., Nelson B.L., Nicol D.M.: Discrete-Event System Simulation. Prentice Hall, Englewood Cliffs (1999)"},{"key":"246_CR7","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From uml sequence diagrams and statecharts to analysable petrinet models. In: WOSP, pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"246_CR8","doi-asserted-by":"crossref","unstructured":"Boroday, S., Petrenko, A., Singh, J., Hallal, H.: Dynamic analysis of java applications for multithreaded antipatterns. In: Workshop on Dynamic Analysis (WODA), pp. 1\u20137 (2005)","DOI":"10.1145\/1082983.1083247"},{"key":"246_CR9","volume-title":"AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis","author":"W.J. Brown","year":"1998","unstructured":"Brown W.J., Malveau R.C., McCormick H.W. III, Mowbray T.J.: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis. Wiley, London (1998)"},{"key":"246_CR10","doi-asserted-by":"crossref","unstructured":"Casale, G., Serazzi, G.: Quantitative system evaluation with java modeling tools. In: ICPE\u201911\u2014Second Joint WOSP\/SIPEW International Conference on Performance Engineering, pp. 449\u2013454 (2011)","DOI":"10.1145\/1958746.1958813"},{"key":"246_CR11","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Di Marco, A., Eramo, R., Pierantonio, A., Trubiani, C.: Digging into UML models to remove performance antipatterns. In: ICSE Workshop Quovadis, pp. 9\u201316 (2010)","DOI":"10.1145\/1808877.1808880"},{"key":"246_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-Based Software Performance Analysis","author":"V. Cortellessa","year":"2011","unstructured":"Cortellessa V., Di Marco A., Inverardi P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)"},{"key":"246_CR13","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Di Marco, A., Trubiani, C.: Performance Antipatterns as Logical Predicates. In: IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Oxford, UK, pp. 146\u2013156 (2010)","DOI":"10.1109\/ICECCS.2010.44"},{"key":"246_CR14","first-page":"368","volume-title":"FASE, ser. Lecture Notes in Computer Science, vol. 6013","author":"V. Cortellessa","year":"2010","unstructured":"Cortellessa V., Martens A., Reussner R., Trubiani C.: A process to effectively identify \u201cGuilty\u201d performance antipatterns. In: Rosenblum, D.S., Taentzer, G. (eds) FASE, ser. Lecture Notes in Computer Science, vol. 6013, pp. 368\u2013382. Springer, Berlin (2010)"},{"issue":"1","key":"246_CR15","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0167-6423(02)00033-3","volume":"44","author":"V. Cortellessa","year":"2002","unstructured":"Cortellessa V., Mirandola R.: Prima-uml: a performance validation incremental methodology on early uml diagrams. Sci. Comput. Program. 44(1), 101\u2013129 (2002)","journal-title":"Sci. Comput. Program."},{"key":"246_CR16","volume-title":"J2EE Antipatterns","author":"B. Dudney","year":"2003","unstructured":"Dudney B., Asbury S., Krozak J.K., Wittkopf K.: J2EE Antipatterns. Wiley, London (2003)"},{"key":"246_CR17","doi-asserted-by":"crossref","unstructured":"Elaasar, M., Briand, L.C., Labiche, Y.: A metamodeling approach to pattern specification. In: Lecture Notes in Computer Science: Model Driven Engineering Languages and Systems, Vol. 4199\/2006, pp. 484\u2013498. Springer, Berlin (2006)","DOI":"10.1007\/11880240_34"},{"issue":"11\u201312","key":"246_CR18","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1177\/0037549709102850","volume":"85","author":"O. Florescu","year":"2009","unstructured":"Florescu O., Voeten J., Theelen B., Corporaal H.: Patterns for automatic generation of soft real-time system models. Simulation 85(11\u201312), 709\u2013734 (2009)","journal-title":"Simulation"},{"issue":"3","key":"246_CR19","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France R.B., Kim D.-K., Ghosh S., Song E.: A uml-based pattern specification technique. IEEE Trans. Softw. Eng. 30(3), 193\u2013206 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"246_CR20","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma E., Helm R., Johnson R., Vlissides J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)"},{"key":"246_CR21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/1368088.1368094","volume-title":"ICSE","author":"L. Grunske","year":"2008","unstructured":"Grunske L.: Specification patterns for probabilistic quality properties. In: Sch\u00e4fer, W., Dwyer, M.B., Gruhn, V. (eds) ICSE, pp. 31\u201340. ACM, New York (2008)"},{"key":"246_CR22","doi-asserted-by":"crossref","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Workshop on the Future of Software Engineering (FOSE), pp. 342\u2013357 (2007)","DOI":"10.1109\/FOSE.2007.29"},{"key":"246_CR23","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2006","unstructured":"Hopcroft J.E., Motwani R., Ullman J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Prentice Hall, Englewood Cliffs (2006)","edition":"3"},{"issue":"2","key":"246_CR24","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/122564.1045495","volume":"19","author":"R. Jain","year":"1991","unstructured":"Jain R.: The art of computer systems performance analysis: Techniques for experimental design, measurement, simulation, and modeling. SIGMETRICS Perform. Eval. Rev. 19(2), 5\u201311 (1991)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"246_CR25","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":"246_CR26","volume-title":"Queueing Systems Vol. 1: Theory","author":"L. Kleinrock","year":"1975","unstructured":"Kleinrock L.: Queueing Systems Vol. 1: Theory. Wiley, London (1975)"},{"key":"246_CR27","doi-asserted-by":"crossref","unstructured":"Kniesel G., Hannemann J., Rho T.: A comparison of logic-based infrastructures for concern detection and extraction. In: Workshop on Linking Aspect Technology and Evolution (2007)","DOI":"10.1145\/1275672.1275678"},{"key":"246_CR28","volume-title":"Computer System Analysis Using Queueing Network Models","author":"E.D. Lazowska","year":"1984","unstructured":"Lazowska E.D., Zahorjan J., Scott Graham G., Sevcik K.C.: Computer System Analysis Using Queueing Network Models. Prentice-Hall, Englewood Cliffs (1984)"},{"key":"246_CR29","doi-asserted-by":"crossref","unstructured":"Martens, A., Koziolek, H., Becker, S., Reussner, R.: Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In: WOSP\/SIPEW International Conference on Performance Engineering, pp. 105\u2013116 (2010)","DOI":"10.1145\/1712605.1712624"},{"key":"246_CR30","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"issue":"3","key":"246_CR31","doi-asserted-by":"crossref","first-page":"55","DOI":"10.5381\/jot.2008.7.3.a1","volume":"7","author":"T. Parsons","year":"2008","unstructured":"Parsons T., Murphy J.: Detecting performance antipatterns in component based enterprise systems. J. Object Technol. 7(3), 55\u201390 (2008)","journal-title":"J. Object Technol."},{"key":"246_CR32","doi-asserted-by":"crossref","unstructured":"Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction-raising transformation for generating analysis models. In: MoDELS Satellite Events, pp. 217\u2013226 (2005)","DOI":"10.1007\/11663430_23"},{"key":"246_CR33","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Williams, L.G.: Software performance antipatterns. In: 2nd International Workshop on Software and Performance, pp. 127\u2013136 (2000)","DOI":"10.1145\/350391.350420"},{"key":"246_CR34","unstructured":"Smith, C.U., Williams, L.G.: Software performance antipatterns; common performance problems and their solutions. In: Int. CMG Conference, pp. 797\u2013806 (2001)"},{"key":"246_CR35","unstructured":"Smith, C.U., Williams, L.G.: New software performance antipatterns: More ways to shoot yourself in the foot. In: Computer Measurement Group Conference, pp. 667\u2013674 (2002)"},{"key":"246_CR36","volume-title":"Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software","author":"C.U. Smith","year":"2002","unstructured":"Smith C.U., Williams L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison Wesley Longman Publishing Co. Inc., Redwood City (2002)"},{"key":"246_CR37","unstructured":"Smith, C.U., Williams, L.G.: More new software performance antipatterns: even more ways to shoot yourself in the foot. In: Computer Measurement Group Conference, pp. 717\u2013725 (2003)"},{"key":"246_CR38","volume-title":"Software Engineering","author":"I. Sommerville","year":"2006","unstructured":"Sommerville I.: Software Engineering, 8th edn. Addison Wesley, Reading (2006)","edition":"8"},{"issue":"2","key":"246_CR39","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0165-0114(01)00128-2","volume":"127","author":"S. Sup So","year":"2002","unstructured":"Sup So S., Deok Cha S., Rae Kwon Y.: Empirical evaluation of a fuzzy logic-based software quality prediction model. Fuzzy Sets Syst. 127(2), 199\u2013208 (2002)","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"246_CR40","doi-asserted-by":"crossref","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T. Taibi","year":"2003","unstructured":"Taibi T., Ngo D.C.L.: Formal specification of design patterns\u2014a balanced approach. J. Object Technol. 2(4), 127\u2013140 (2003)","journal-title":"J. Object Technol."},{"key":"246_CR41","volume-title":"Bitter EJB","author":"B. Tate","year":"2003","unstructured":"Tate B., Clark M., Lee B., Linskey P.: Bitter EJB. Manning, Shelter Island (2003)"},{"key":"246_CR42","doi-asserted-by":"crossref","unstructured":"Trcka, N., van der Aalst, W.M., Sidorova, N.: Data-flow anti-patterns: discovering dataflow errors in workflows. In: Conference on Advanced Information Systems (CAiSE), vol. 5565, pp. 425\u2013439. LNCS Springer (2009)","DOI":"10.1007\/978-3-642-02144-2_34"},{"key":"246_CR43","volume-title":"Probability and Statistics with Reliability, Queueing and Computer Science Applications","author":"K.S. Trivedi","year":"2001","unstructured":"Trivedi K.S.: Probability and Statistics with Reliability, Queueing and Computer Science Applications. Wiley, London (2001)"},{"key":"246_CR44","doi-asserted-by":"crossref","unstructured":"Trubiani, C., Koziolek, A.: Detection and solution of software performance antipatterns in palladio architectural models. In: Proceedings of the 2nd ACM\/SPEC International Conference on Performance Engineering (ICPE), pp. 19\u201330. ACM, New York, USA (2011)","DOI":"10.1145\/1958746.1958755"},{"issue":"9","key":"246_CR45","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1109\/32.464545","volume":"21","author":"C.M. Woodside","year":"1995","unstructured":"Woodside C.M.: A three-view model for performance engineering of concurrent software. IEEE Trans. Softw. Eng. 21(9), 754\u2013767 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"246_CR46","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: WOSP, pp. 1\u201312 (2005)","DOI":"10.1145\/1071021.1071022"},{"key":"246_CR47","unstructured":"Extensible Markup Language (XML), World Wide Web Consortium (W3C). http:\/\/www.w3.org\/XML"},{"key":"246_CR48","doi-asserted-by":"crossref","unstructured":"Xu, J.: Rule-based automatic software performance diagnosis and improvement. In: WOSP, pp. 1\u201312 (2008)","DOI":"10.1145\/1383559.1383561"},{"key":"246_CR49","doi-asserted-by":"crossref","unstructured":"Zheng, T., Woodside, C.M.: Heuristic optimization of scheduling and allocation for distributed systems with soft deadlines. In: Computer Performance Evaluations, Modelling Techniques and Tools, pp. 169\u2013181 (2003)","DOI":"10.1007\/978-3-540-45232-4_11"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0246-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0246-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0246-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T16:09:30Z","timestamp":1561651770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0246-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,21]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["246"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0246-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,21]]}}}