Home    Profile   Research    People   Publications   Teaching    Personal

Monograph

Antinisca @ home Model-Based Software Performance Analysis.
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
First Edition, Springer, 2011.

Poor performance is one of the main quality-related shortcomings that cause software projects to fail. Thus, the need to address performance concerns early during the software development process is fully acknowledged, and there is a growing interest in the research and software industry communities towards techniques, methods and tools that permit to manage system performance concerns as an integral part of software engineering.
Model-based software performance analysis introduces performance concerns in the scope of software modeling, thus allowing the developer to carry on performance analysis throughout the software lifecycle. With this book, Cortellessa, Di Marco and Inverardi provide the cross-knowledge that allows developers to tackle software performance issues from the very early phases of software development. They explain the basic concepts of performance analysis and describe the most representative methodologies used to annotate and transform software models into performance models. To this end, they go all the way from performance primers through software and performance modeling notations to the latest transformation-based methodologies.
As a result, their book is a self-contained reference text on software performance engi- neering, from which different target groups will benefit: professional software engineers and graduate students in software engineering will learn both basic concepts of performance modeling and new methodologies; while performance specialists will find out how to investigate software performance model building.

Tutorials:

  • Transformations from software models to quality models: mechanisms, approaches, technologies, tools
    V. Cortellessa, A. di Marco and L. Berardinelli.
    Seventh International Workshop on Software and Performance - WOSP 2008, Princeton, NJ, USA
  • H10: Transformations of Software Models into Performance Models.
    V. Cortellessa, A. Di Marco, P. Inverardi.
    The 27th International Conference on the Software Engineering (ICSE), St. Louis, Missouri, USA, 2005. [[pdf]
  • Software Model to Performance Model Transformations.
    A. Di Marco, V. Cortellessa, P. Inverardi.
    The 1st International Conference on the Quantitative Evaluation of Systems (QEST), University of Twente, Enschede, The Netherlands, 2004. [slides.pdf]

Journals:

  • Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani. An approach for modeling and detecting software performance antipatterns based on first-order logics. SOFTWARE AND SYSTEMS MODELING Journal. Springer. To appear.
  • Mauro Caporuscio, Antinisca Di Marco and Paola Inverardi, Model-based system reconfiguration for dynamic performance management, (2007), in: Journal of Systems and Software, 80:4(455-473)
  • Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti and Alfonso Pierantonio, Interoperability mapping from XML schemas to ER diagrams (2006), in: Data Knowl. Eng., 59:1(166-188)
  • Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi and Marta Simeoni, Model-Based Performance Prediction in Software Development: A Survey (2004), in: IEEE Trans. Software Eng., 30:5(295-310)

Conferences and Workshops

    2012

  • Luca Berardinelli, Dajana Cassioli, Antinisca Di Marco, Anna Esposito, Maria Teresa Riviello, Catia Trubiani. VISION as a support to Cognitive Behavioural Systems. Book Chapter. Cognitive Behavioural Systems, LNCS . To appear.
  • Antinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis. Property-Driven Software Engineering Approach. Poster Paper. Fifth International Conference on Software Testing, Verification and Validation (ICST2012), April 2012, Montreal. To appear.
  • Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani. Software Performance Antipatterns: Modeling and Analysis. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering. LNCS 7320. Bertinoro, Italy. June 2012. To appear.
  • Antinisca Di Marco, Stefano Pace, Stefano Marchesani, Luigi Pomante. Model-Driven Agent Generation Approach for Adaptable and Resource-Aware Sensor Node. Third International Workshop on Software Engineering for Sensor Network Applications (SESENA2012). Zurich, Switzerland. To appear.

    • 2011

  • Antonia Bertolino, Calabro' Antonello, Lonetti Francesca, Antinisca Di Marco and Antonino Sabetta, Towards a model-driven infrastructure for runtime monitoring, in: Proceedings of SERENE 2011, 2011.
  • Antinisca Di Marco, Claudio Pompilio, Antonia Bertolino, Calabro' Antonello, Lonetti Francesca and Antonino Sabetta, Yet Another Meta-Model to specify Non-Functional Properties, 2011
  • Luca Berardinelli, Antinisca Di Marco and Cecilia Mascolo, Performance Analysis and Prediction of Physically Mobile Systems: a Case Study, in: InfQ 2011, 2011.
  • Fabio Calvarese, Antinisca Di Marco and Ivano Malavolta, Towards a graphical representation for the Ćmilia Architecture Description Language, in: InfQ2011, Lipari, Italy, 2011 .
  • Dajana Cassioli, Vittorio Cortellessa, Antinisca Di Marco and Luigi Pomante, A Successful VISION: Video-oriented UWB based Intelligent Ubiquitous Sensing, in: IEEE Consumer Communications and Networking Conference, Las Vegas, Nevada, USA, IEEE Communications Society, 2011

    • 2010

  • Luca Berardinelli, Vittorio Cortellessa and Antinisca Di Marco, A Profile-driven Environment for Modeling and Analyzing Context-Aware Software Services, in: 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), 2010
  • Antonia Bertolino, Felicita Di Giandomenico, Antinisca Di Marco, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Paolo Manuel Masci, Rachid Saadi and Antonino Sabetta, Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach , in: 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010), 2010
  • Vittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio and Catia Trubiani, Digging into UML models to remove performance antipatterns, in: First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (Quovadis), 2010
  • Antinisca Di Marco, Francesco Gallo, Paola Inverardi and Rodolfo Ippoliti, Learning from the Cell Life-Cycle: A Self-adaptive Paradigm, in: ECSA, pages 485-488, 2010 - Best Poster Award
  • Antinisca Di Marco and Antonino Sabetta, Model-based dynamic QoS-driven service composition, in: 2nd International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS 2010), 2010
  • Vittorio Cortellessa, Antinisca Di Marco and Catia Trubiani, Performance Antipatterns as Logical Predicates, in: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2010), 2010
  • Luca Berardinelli, Vittorio Cortellessa and Antinisca Di Marco, Performance Modeling and Analysis of Context-Aware Mobile Software Systems, in: FASE, pages 353-367, 2010 - Best Paper Award
  • Antonia Bertolino, Felicita Di Giandomenico, Antinisca Di Marco, Paolo Manuel Masci and Antonino Sabetta, QoS metrics in dynamic, evolving and heterogeneous CONNECTed systems, in: eighth International Workshop On Dynamic Analysis (WODA 2010), 2010
  • Antinisca Di Marco, Francesco Gallo, Paola Inverardi and Rodolfo Ippoliti, Towards a Stem Architecture Description Language for Self-Adaptive Systems, in: Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2010), 2010

    • 2009

  • Vittorio Cortellessa, Antinisca Di Marco and Luca Berardinelli, A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software, in: Non-functional System Properties in Domain Specific Modeling Languages, Denver (Colorado), USA, CEUR-WS, 2009
  • Vittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio and Catia Trubiani, Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws, in: EUROMICRO-SEAA, pages 162-169, 2009

    • 2008

  • Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta and Massimo Tivoli, A Framework for Analyzing and Testing the Performance of Software Services, in: ISoLA, pages 206-220, 2008
  • Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini and Onn Shehory, ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems, in: ASE, pages 529-530, 2008
  • Vittorio Cortellessa, Sara Di Gregorio and Antinisca Di Marco, Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?, in: WOSP, pages 127-132, 2008 <\LI>

    2007

  • Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi and Massimo Tivoli, A Development Process for Self-Adapting Service Oriented Applications, in: International Conference on Service Oriented Computing (ICSOC 2007), pages 442-448, Springer, 2007
  • Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework, in: FASE, pages 57-71, 2007
  • Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, Non-Functional Modeling and Validation in Model-Driven Architecture, in: WICSA, pages 25, 2007<\LI>
  • Antinisca Di Marco and Cecilia Mascolo, Performance analysis and prediction of physically mobile systems, in: WOSP, pages 129-132, 2007

    • 2006

  • Marco Autili, Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, A Conceptual Model for Adaptable Context-aware Services, in: Proceedings of the International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 15--33, 2006
  • Antinisca Di Marco and Raffaela Mirandola, Model Transformation in Software Performance Engineering, in: QoSA, pages 95-110, 2006
  • Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, Software performance model-driven architecture, in: SAC, pages 1218-1223, 2006

    • 2005

  • Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli and Patrizio Pelliccione, A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures (2005), in: Electr. Notes Theor. Comput. Sci., 116(31-44)
  • Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco and Lloyd G. Williams, From UML models to software performance results: an SPE process based on XML interchange formats, in: WOSP, pages 87-98, 2005
  • Mauro Caporuscio, Antinisca Di Marco and Paola Inverardi, Run-time performance management of the Siena publish/subscribe middleware, in: WOSP, pages 65-74, 2005
  • Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, Transformations of software models into performance models, in: ICSE, pages 728-729, 2005
  • Antinisca Di Marco and Francesco Lo Presti, Two Early Performance Analysis Approaches at work on Simplicity System, in: First International Conference on the Quality of Software Architectures (QoSA 2005), 2005

  • 2004

  • Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco and Paola Inverardi, Automated Performance Validation of Software Design: An Industrial Experience, in: ASE, pages 298-301, 2004
  • Antinisca Di Marco and Paola Inverardi, Compositional Generation of Software Architecture Performance QN Models, in: WICSA, pages 37-46, 2004
  • Marco Castaldi, Antinisca Di Marco and Paola Inverardi, Data driven reconfiguration for performance improvements: a model based approach, in: RAMSS 2004, 2004
  • Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco and Paola Inverardi, Experimenting different software architectures performance techniques: a case study, in: WOSP, pages 115-119, 2004
  • Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, Three Performance Models at Work: A Software Designer, Perspective (2004), in: Electr. Notes Theor. Comput. Sci., 97(219-239)
  • Vittorio Cortellessa and Antinisca Di Marco, Towards uniform interchange formats for performance validation tools, in: DSN 2004 - Fast Abstract, 2004
  • Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Using UML for SA-based Modeling and Analysis, in: Proceedings of the Int. Workshop on Software Architecture Description and UML., Lisbon, Portugal, 2004

    • 2003

  • Antinisca Di Marco and Paola Inverardi, Starting from Message Sequence Chart for Software Architecture Early Performance Analysis, in: SCESM 2003, 2003
  • Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti and Alfonso Pierantonio, Xere: Towards a Natural Interoperability between XML and ER Diagrams, in: FASE, pages 356-371, 2003

Thesis

  • Model-based Performance Analysis of Software Architectures.
    Antinisca Di Marco. Ph.D. Thesis. June 2005.[zip]
  • Managing the Consistency of Complex Structured Documents.
    Antinisca Di Marco. MSc Thesis. July 2001.