Introduzioneairisultatiprincipalidopo ilprimo anno

Transcript

1 Università degli Studi dell Aquila 1 Intrduzineairisultatiprincipalidp ilprim ann University f L Aquila Cmputer Science Department L Aquila (Italy)

2 Risultati principali di UniAQ dp il prim ann (1/2) 2 WP1: ntazini per la mdellazine e svilupp di d-asap Dually/ByADL: basat su trasfrmazini di mdelli, che permette di relazinare le differenti ntazini di d-asap tra lr [DuallyTSE]+ creazine ntazine ttimale [ICSE2010] Definizine di un paradigma di svilupp per d-asapispirat dal cicl di vita delle cellule. Il paradigma è pensat per d-asapcapaci di adattarsi a cambiamenti interni, dell ambiente e dei requisiti. Cnsideriam cambiamenti di tip funzinale, nn-funzinale e tecnlgic che pssn essere previsti, prevedibili e imprevedibili (WP5). WP2: verifica funzinale e nn-funzinale di d-asap un framewrkfrmale basat sul paradigma assume-guaranteeche permette di definire stt quali cndizini può essere eseguit un adattament del sistema in md da cntinuare a garantire i requisiti funzinali [SEAMS2009] un framewrk basat su AGG per la verifica funzinale di sistemi self-repearing mdellati tramite TGG [FASE2010],[WICSA2009] un apprcci per l interpretazine dei risultati prveniente dalla verifica di perfrmance e la successiva generazine di feedback da cnsiderare per apprtare mdifiche all architettura del sistema in md da sddisfare il grad di perfrmance desiderat [SEAA2009]

3 Risultati principali di UniAQ dp il prim ann (2/2) 3 WP3: tecniche e strumenti per la sintesi di d-asap [WICSA2009R], [ESECFSE2009R] frmalizzazine di due relazini di matchinge mappingtra prtclli di interazine etergenei esistenza e generazine di mediatri sftware WP4: tecniche e strumenti per il testing StrawBerry[ESECFSE2009] [ESECFSE2009]: un apprcci mdel-basedper l estrazine autmatica, via analisi data-flw e testing, di prtclli di interazine dall implementazine

4 Università degli Studi dell Aquila 4 Dealing with the need f multiple mdeling ntatins Patrizi Pelliccine University f L Aquila Cmputer Science Department L Aquila (Italy)

5 WP1 Mdeling Ntatins 5 The main gal f WP1 is t develp suitable frmal mdeling ntatins that a) are capable f capturing the requirements (bth functinal and nn-functinal) that are characteristic fr pervasive and adaptable applicatins, and b) supprt dependability f adaptable applicatins all alng the develpment prcess. Tw bjectives: Develping a cmmn semantic framewrk binding these ntatins tgether in a cherent way Building the ptimal mdeling ntatin

6 First Objective: DUALLy [DuallyTSE] 6

7 DUALLy cre set: A0 7

8 Extensibility mechanisms f A0 8 Extensin f A0 with behavir Hierarchy f dmain specific extensins f A0

9 Onging wrks: imprving the change prpagatin features 9

10 Secnd Objective: Building the ptimal mdeling ntatin Current ADLs Supprt well the cncept f Sftware Architecture as a set f cnstituting elements (such as cmpnents & cnnectrs) but they fail t capture multiple stakehlders cncerns and their design decisins (it represent a brader view f SA being accepted tday) Emergent requirements R1: Dmain specific cncerns R2: Multiple views R3: Analysis features R4: Interperability with ther ADLs R5: Prmte architecture-centric develpment 1 0

11 byadl: a framewrk fr building next generatin ADLs [ICSE2010] 1 1 R2: Multiple views R1: Dmain specific cncerns R3: Analysis features R4: Interperability with ther ADLs R5: Prmte architecture-centric develpment byadl explits mdel-driven techniques and allws a sftware architect t define its wn newgeneratin ADL bystartingfrmanexistingadl, and addingdmainspecificities, newarchitecturalviews, r analysisaspects, integrating the ADL with develpment prcesses and methdlgies, and custmizing the ADL by fine tuning it

12 Generated Default Editrs 1 2

13 Università degli Studi dell Aquila 1 3 Un paradigma di svilupp per d-asap ispirat dal cicl di vita delle cellule Antinisca Di Marc University f L Aquila Cmputer Science Department L Aquila (Italy) vedere slides Antinisca

14 References 1 4 [DuallyTSE] Ivan Malavlta, Henry Muccini, Patrizi Pelliccine, and Damien Tamburri, Prviding Architectural Languages and Tls InterperabilitythrughMdelTransfrmatinTechnlgies. IEEE Transactinsn Sftware Engineering(TSE). IEEE cmputer Sciety. 36:1( ), [SSym2010] Rmina Eram, Ivan Malavlta, Henry Muccini, Patrizi Pelliccine and Alfns Pieranti, A mdel-driven apprach t autmate the prpagatin f changes amng different ADLs, Majr revisin, [ICSE2010]DavideDi Rusci, IvanMalavlta, Henry Muccini, PatriziPelliccineand Alfns Pierantni, Develping next generatin ADLs thrugh MDE techniques, in: 32nd Internatinal Cnference n Sftware Engineering (ICSE 2010) t appear, 2010 [FASE2010] Antni Bucchiarne, Hartmut Ehrig, Claudia Ermel, Olga Runge and Patrizi Pelliccine, Frmal Analysis and Verificatin f Self- Healing Systems, in: Fundamental Appraches t Sftware Engineering (FASE 2010), Springer-Verlag Berlin Heidelberg, 2010 [ESECFSE2009] Antnia Bertlin, Pala Inverardi, PatriziPelliccineand Massim Tivli, Autmatic Synthesis f Behavir Prtcls fr CmpsableWeb-Services, in: Prceedings f The 7th jint meeting f the Eurpean Sftware Engineering Cnference (ESEC) and the ACM SIGSOFT Sympsium n the Fundatins f Sftware Engineering (FSE), Amsterdam, The Netherlands, pages , 2009 [WICSA2009] Antni Bucchiarne, PatriziPelliccine, Charlie Vattaniand Olga Runge, Self-Repairing systems mdeling and verificatin using AGG, in: WICSA/ECSA, pages , 2009 [SEAMS2009] Pala Inverardi, PatriziPelliccineand Massim Tivli, Twards an assume-guarantee thery fr adaptable systems, in: Internatinal Wrkshp n Sftware Engineering fr Adaptive and Self-Managing Systems, pages , IEEE Cmputer Sciety, 2009 [WICSA2009R] RminaSpalazzese, Pala Inverardi, ValérieIssarny. Twards a Frmalizatin f Mediating Cnnectrs fr n the Fly Interperability. In Prceedings f the Jint Wrking IEEE/IFIP Cnference n Sftware Architecture and Eurpean Cnference n Sftware Architecture (WICSA/ECSA). IEEE Cmputer Sciety, Cambridge, United Kingdm, September 14 17, T appear. [ESECFSE2009R] RminaSpalazzese. "Twards Mediatr Cnnectrs fr Applicatin level Interperability". In ESEC/FSE Dctral Sympsium '09: Prceedings f the dctral sympsium fr ESEC/FSE n Dctral sympsium, pages 35-36, New Yrk, NY, USA, ACM. DOI: [SEAA2009] VittriCrtellessa, AntiniscaDi Marc, RminaEram, Alfns Pierantni, CatiaTrubiani. "Appraching the mdel-driven generatin f feedback t remve sftware perfrmance flaws." In Prceedings f 35th EUROMICRO Cnfencen Sftware Engineeirngand Advanced Applicatins (SEAA). Patras, Greece, August 2009.