forked from lesunb/thesis
-
Notifications
You must be signed in to change notification settings - Fork 0
/
bibliografia.bib
7120 lines (6520 loc) · 417 KB
/
bibliografia.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@article{ali_goal-based_2010-1,
title = {A Goal-Based Framework for Contextual Requirements Modeling and Analysis},
volume = {15},
issn = {0947-3602, 1432-010X},
abstract = {Requirements engineering (RE) research often ignores or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerging computing paradigms, such as ambient, pervasive and ubiquitous computing, where it is essential to monitor and adapt to an inherently varying context. Besides influencing the software, context may influence stakeholders' goals and their choices to meet them. In this paper, we propose a goal-oriented RE modeling and reasoning framework for systems operating in varying contexts. We introduce contextual goal models to relate goals and contexts; context analysis to refine contexts and identify ways to verify them; reasoning techniques to derive requirements reflecting the context and users priorities at runtime; and finally, design time reasoning techniques to derive requirements for a system to be developed at minimum cost and valid in all considered contexts. We illustrate and evaluate our approach through a case study about a museum-guide mobile information system.},
language = {en},
number = {4},
journal = {Requirements Engineering},
doi = {10.1007/s00766-010-0110-z},
author = {Ali, Raian and Dalpiaz, Fabiano and Giorgini, Paolo},
month = jul,
year = {2010},
keywords = {Software Engineering,Context analysis,Contextual requirements,Goal modeling,Requirements analysis,\#duplicate-citation-key},
pages = {439-458}
}
@inproceedings{mendonca_modelling_2014-1,
title = {Modelling and Analysing Contextual Failures for Dependability Requirements},
booktitle = {Proceedings of the 9th {{International Symposium}} on {{Software Engineering}} for {{Adaptive}} and {{Self}}-{{Managing Systems}}},
publisher = {{ACM}},
author = {Mendon{\c c}a, Danilo F. and Ali, Raian and Rodrigues, Gena{\'i}na N.},
year = {2014},
keywords = {\#duplicate-citation-key},
pages = {55--64}
}
@inproceedings{braubach_goal_2004-1,
title = {Goal {{Representation}} for {{BDI Agent Systems}}.},
volume = {3346},
booktitle = {{{ProMAS}}},
publisher = {{Springer}},
author = {Braubach, Lars and Pokahr, Alexander and Moldt, Daniel and Lamersdorf, Winfried},
year = {2004},
keywords = {\#duplicate-citation-key},
pages = {44--65}
}
@inproceedings{bencomo_requirements_2010-1,
title = {Requirements Reflection: Requirements as Runtime Entities},
shorttitle = {Requirements Reflection},
booktitle = {Proceedings of the 32nd {{ACM}}/{{IEEE International Conference}} on {{Software Engineering}}-{{Volume}} 2},
publisher = {{ACM}},
author = {Bencomo, Nelly and Whittle, Jon and Sawyer, Pete and Finkelstein, Anthony and Letier, Emmanuel},
year = {2010},
keywords = {\#duplicate-citation-key},
pages = {199--202}
}
@incollection{welsh_requirements_2009-1,
title = {Requirements Tracing to Support Change in Dynamically Adaptive Systems},
booktitle = {Requirements {{Engineering}}: {{Foundation}} for {{Software Quality}}},
publisher = {{Springer}},
author = {Welsh, Kristopher and Sawyer, Pete},
year = {2009},
keywords = {\#duplicate-citation-key},
pages = {59--73}
}
@inproceedings{welsh_towards_2011-1,
title = {Towards Requirements Aware Systems: {{Run}}-Time Resolution of Design-Time Assumptions},
shorttitle = {Towards Requirements Aware Systems},
booktitle = {Automated {{Software Engineering}} ({{ASE}}), 2011 26th {{IEEE}}/{{ACM International Conference}} On},
publisher = {{IEEE}},
author = {Welsh, Kristopher and Sawyer, Pete and Bencomo, Nelly},
year = {2011},
keywords = {\#duplicate-citation-key},
pages = {560--563}
}
@inproceedings{castor_towards_2004-1,
title = {Towards {{Requirement Traceability}} in {{TROPOS}}.},
booktitle = {{{WER}}},
author = {Castor, Andr{\'e}a and Pinto, Rosa Candida and Silva, Carla TLL and Castro, Jaelson},
year = {2004},
keywords = {\#duplicate-citation-key},
pages = {189--200}
}
@inproceedings{weyns_challenges_2013-1,
address = {{New York, NY, USA}},
series = {{{SESoS}} '13},
title = {On the {{Challenges}} of {{Self}}-Adaptation in {{Systems}} of {{Systems}}},
isbn = {978-1-4503-2048-1},
abstract = {A system of systems (SoS) integrates independently useful systems into a larger system. Examples are integrated surveillance systems and networked smart homes. A SoS offers functions to users that cannot be provided by its individual parts, but emerge as a combination of these. However, providing these functions with a required level of quality is difficult due to inherent uncertainties, such as systems that attach and detach at will and faults that are difficult to predict. Self-adaptation is a well-studied approach that enables a system to reason about itself and adapt to achieve particular quality objectives in the face of uncertainties and change. However, the inherently decentralized nature of SoS raises fundamental challenges to self-adaptation. This paper presents three architectural styles to realize self-adaptation in SoS, discusses key challenges for each style, and outlines starting points that could help to tackle these challenges.},
booktitle = {Proceedings of the {{First International Workshop}} on {{Software Engineering}} for {{Systems}}-of-{{Systems}}},
publisher = {{ACM}},
doi = {10.1145/2489850.2489860},
author = {Weyns, Danny and Andersson, Jesper},
year = {2013},
keywords = {decentralized control,feedback loops,systems of systems,Self-adaptation,\#duplicate-citation-key},
pages = {47--51},
ids = {weyns\_challenges\_2013}
}
@incollection{morandini_goal-oriented_2009-2,
series = {Lecture {{Notes}} in {{Computer Science}}},
title = {A {{Goal}}-{{Oriented Approach}} for {{Modelling Self}}-Organising {{MAS}}},
copyright = {\textcopyright{}2009 Springer-Verlag Berlin Heidelberg},
isbn = {978-3-642-10202-8 978-3-642-10203-5},
language = {en},
number = {5881},
booktitle = {Engineering {{Societies}} in the {{Agents World X}}},
publisher = {{Springer Berlin Heidelberg}},
author = {Morandini, Mirko and Migeon, Fr{\'e}d{\'e}ric and Gleizes, Marie-Pierre and Maurel, Christine and Penserini, Loris and Perini, Anna},
editor = {Aldewereld, Huib and Dignum, Virginia and Picard, Gauthier},
month = nov,
year = {2009},
keywords = {Artificial Intelligence (incl. Robotics),Software Engineering,Programming Techniques,Simulation and Modeling,Computer Appl. in Social and Behavioral Sciences,\#duplicate-citation-key},
pages = {33-48}
}
@article{penserini_agent-based_2010-1,
title = {Agent-Based {{Organizational Structures}} for {{Ambient Intelligence Scenarios}}},
volume = {2},
issn = {1876-1364},
abstract = {In a society where Information and Communication Technology (ICT) becomes a key component to improve the quality of our daily-life, systems' complexity dramatically increases to better accommodate to an inherent complexity of users' requirements, especially when dealing with pervasive computing. This poses demanding architectural requirements such as massive decentralization and disintermediation along with self-organizing properties. This higher level of system complexity has triggered the birth of several software engineering methodologies that adopt the agent paradigm. Design patterns are a well known approach for capturing and reusing knowledge related to known solution for recurrent architectural problems. Even though the importance of patterns is growing as systems become more and more complex, their development does not keep up with the evolving requirements, as traditional agent patterns are unable to support the majority of current complex social scenarios. This work motivates the need for new agent-based organizational structures that are more flexible than traditional agent patterns such as, Broker and Matchmaker. The newly suggested structure supports the dynamic nature of ``Active Environment'' where groups of agents are formed for service delivery and then dissolved with no central coordinating mechanism\textemdash{}i.e., gaining the disintermediation property. Serving as a case study, the PEACH and PIL projects have paved the way for experimenting with the new agent-based organizational structures that are more flexible and more suitable than traditional agent patterns for coping with ambient intelligence scenarios.},
number = {4},
journal = {J. Ambient Intell. Smart Environ.},
author = {Penserini, Loris and Kuflik, Tsvi and Busetta, Paolo and Bresciani, Paolo},
month = dec,
year = {2010},
keywords = {agent patterns,Ambient intelligence,AOSE methodologies,organizations of agent societies,service oriented computing,\#duplicate-citation-key},
pages = {409--433}
}
@inproceedings{welsh_run-time_2012-1,
title = {Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation},
booktitle = {Requirements {{Engineering Conference}} ({{RE}}), 2012 20th {{IEEE International}}},
publisher = {{IEEE}},
author = {Welsh, Kristopher and Bencomo, Nelly},
year = {2012},
keywords = {\#duplicate-citation-key},
pages = {329--330}
}
@inproceedings{georgiadis_self-organising_2002-1,
title = {Self-Organising Software Architectures for Distributed Systems},
booktitle = {Proceedings of the First Workshop on {{Self}}-Healing Systems},
publisher = {{ACM}},
author = {Georgiadis, Ioannis and Magee, Jeff and Kramer, Jeff},
year = {2002},
keywords = {\#duplicate-citation-key},
pages = {33--38}
}
@inproceedings{stoicescu_design_2012-1,
title = {From {{Design}} for {{Adaptation}} to {{Component}}-{{Based Resilient Computing}}},
isbn = {978-1-4673-4849-2 978-0-7695-4885-2},
publisher = {{IEEE}},
doi = {10.1109/PRDC.2012.12},
author = {Stoicescu, Miruna and Fabre, Jean-Charles and Roy, Matthieu},
month = nov,
year = {2012},
keywords = {\#duplicate-citation-key},
pages = {1-10}
}
@inproceedings{vallejos_towards_2008-1,
address = {{New York, NY, USA}},
series = {{{SEPS}} '08},
title = {Towards {{Resilient Partitioning}} of {{Pervasive Computing Services}}},
isbn = {978-1-60558-214-6},
abstract = {In pervasive computing, software applications vanish into the users' environment, spreading their functionality in computers integrated into everyday devices. This puts a great burden on programmers who have to enable the applications to dynamically partition across the devices, and to adapt such partitioning to the context of use. In this paper, we identify the need for resilient partitioning and propose the Resilient Actor model to structurally add this property to pervasive computing applications. Our model ensures that an application can be dynamically partitioned and it can always retract to the original or updated local state.},
booktitle = {Proceedings of the 3rd {{ACM Workshop}} on {{Software Engineering}} for {{Pervasive Services}}},
publisher = {{ACM}},
doi = {10.1145/1387229.1387234},
author = {Vallejos, Jorge and Gonzalez Boix, Elisa and Bainomugisha, Engineer and Costanza, Pascal and De Meuter, Wolfgang and Tanter, {\'E}ric},
year = {2008},
keywords = {Pervasive computing,service partitioning,\#duplicate-citation-key},
pages = {15--20}
}
@article{ramesh_toward_2001-2,
title = {Toward Reference Models for Requirements Traceability},
volume = {27},
number = {1},
journal = {Software Engineering, IEEE Transactions on},
author = {Ramesh, Balasubramaniam and Jarke, Matthias},
year = {2001},
keywords = {\#duplicate-citation-key},
pages = {58--93}
}
@incollection{dalpiaz_adaptation_2010-1,
series = {Lecture {{Notes}} in {{Computer Science}}},
title = {Adaptation in {{Open Systems}}: {{Giving Interaction Its Rightful Place}}},
copyright = {\textcopyright{}2010 Springer Berlin Heidelberg},
isbn = {978-3-642-16372-2 978-3-642-16373-9},
shorttitle = {Adaptation in {{Open Systems}}},
language = {en},
number = {6412},
booktitle = {Conceptual {{Modeling}} \textendash{} {{ER}} 2010},
publisher = {{Springer Berlin Heidelberg}},
author = {Dalpiaz, Fabiano and Chopra, Amit K. and Giorgini, Paolo and Mylopoulos, John},
editor = {Parsons, Jeffrey and Saeki, Motoshi and Shoval, Peretz and Woo, Carson and Wand, Yair},
month = nov,
year = {2010},
keywords = {Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Software Engineering,Programming Languages; Compilers; Interpreters,Programming Techniques,Software Engineering/Programming and Operating Systems,\#duplicate-citation-key},
pages = {31-45}
}
@inproceedings{cleland-huang_software_2014-1,
title = {Software Traceability: Trends and Future Directions},
shorttitle = {Software Traceability},
booktitle = {Proceedings of the on {{Future}} of {{Software Engineering}}},
publisher = {{ACM}},
author = {{Cleland-Huang}, Jane and Gotel, Orlena CZ and Huffman Hayes, Jane and M{\"a}der, Patrick and Zisman, Andrea},
year = {2014},
keywords = {\#duplicate-citation-key},
pages = {55--69}
}
@inproceedings{borgida_requirements_2013-1,
address = {{Piscataway, NJ, USA}},
series = {{{MiSE}} '13},
title = {Requirements {{Models}} for {{Design}}- and {{Runtime}}: {{A Position Paper}}},
isbn = {978-1-4673-6447-8},
shorttitle = {Requirements {{Models}} for {{Design}}- and {{Runtime}}},
abstract = {In this position paper we review the history of requirements models and conclude that a goal-oriented perspective offers a suitable abstraction for requirements analysis. We stake positions on the nature of modelling languages in general, and requirements modelling languages in particular. We then sketch some of the desirable features (... "requirements") of design-time and runtime requirements models and draw conclusions about their similarities and differences.},
booktitle = {Proceedings of the 5th {{International Workshop}} on {{Modeling}} in {{Software Engineering}}},
publisher = {{IEEE Press}},
author = {Borgida, Alexander and Dalpiaz, Fabiano and Horkoff, Jennifer and Mylopoulos, John},
year = {2013},
keywords = {\#duplicate-citation-key},
pages = {62--68}
}
@incollection{braubach_go4flex_2010,
title = {Go4flex: {{Goal}}-Oriented Process Modelling},
shorttitle = {Go4flex},
booktitle = {Intelligent {{Distributed Computing IV}}},
publisher = {{Springer}},
author = {Braubach, Lars and Pokahr, Alexander and Jander, Kai and Lamersdorf, Winfried and Burmeister, Birgit},
year = {2010},
pages = {77--87}
}
@incollection{pokahr_unifying_2010-1,
title = {Unifying Agent and Component Concepts},
booktitle = {Multiagent {{System Technologies}}},
publisher = {{Springer}},
author = {Pokahr, Alexander and Braubach, Lars and Jander, Kai},
year = {2010},
keywords = {\#duplicate-citation-key},
pages = {100--112}
}
@article{jureta_requirements_2014-1,
title = {The {{Requirements Problem}} for {{Adaptive Systems}}},
volume = {5},
issn = {2158656X},
language = {en},
number = {3},
journal = {ACM Transactions on Management Information Systems},
doi = {10.1145/2629376},
author = {Jureta, Ivan J. and Borgida, Alexander and Ernst, Neil A. and Mylopoulos, John},
month = sep,
year = {2014},
keywords = {\#duplicate-citation-key},
pages = {1-33}
}
@inproceedings{penserini_stakeholder_2006-1,
title = {From Stakeholder Intentions to Software Agent Implementations},
booktitle = {Advanced {{Information Systems Engineering}}},
publisher = {{Springer}},
author = {Penserini, Loris and Perini, Anna and Susi, Angelo and Mylopoulos, John},
year = {2006},
keywords = {\#duplicate-citation-key},
pages = {465--479}
}
@article{kaur_component_2010-1,
title = {Component {{Based Software Engineering}}},
volume = {2},
number = {1},
journal = {International Journal of Computer Applications},
author = {Kaur, Arvinder and Mann, Kulvinder Singh},
month = may,
year = {2010},
keywords = {\#duplicate-citation-key},
pages = {105--108},
note = {Published By Foundation of Computer Science}
}
@article{crnkovic_software_2011-1,
title = {Software {{Components}} beyond {{Programming}}: {{From Routines}} to {{Services}}},
volume = {28},
issn = {0740-7459},
shorttitle = {Software {{Components}} beyond {{Programming}}},
number = {3},
journal = {IEEE Software},
author = {Crnkovic, Ivica and Stafford, Judith and Szyperski, Clemens},
year = {2011},
keywords = {\#duplicate-citation-key},
pages = {22-26}
}
@book{woolridge_introduction_2001-1,
address = {{New York, NY, USA}},
title = {Introduction to {{Multiagent Systems}}},
isbn = {0-471-49691-X},
abstract = {From the Publisher:An agent is an entity with domain knowledge, goals and actions. Multi-agent systems are a set of agents which interact in a common environment. Multi-agent systems deal with the construction of complex systems involving multiple agents and their coordination. A multi-agent system (MAS) is a distributed computing system with autonomous interacting intelligent agents that coordinate their actions so as to achieve its goal(s) jointly or competitively.},
publisher = {{John Wiley \& Sons, Inc.}},
author = {Woolridge, Michael and Wooldridge, Michael J.},
year = {2001}
}
@phdthesis{yu_modelling_1996-1,
address = {{Toronto, Ont., Canada, Canada}},
title = {Modelling {{Strategic Relationships}} for {{Process Reengineering}}},
school = {University of Toronto},
author = {Yu, Eric Siu-Kwong},
year = {1996},
keywords = {\#duplicate-citation-key},
note = {UMI Order No. GAXNN-02887 (Canadian dissertation)}
}
@inproceedings{orsini_cloudaware_2015,
title = {{{CloudAware}}: {{Towards Context}}-Adaptive {{Mobile Cloud Computing}}},
booktitle = {2015 {{IFIP}}/{{IEEE International Symposium}} on {{Integrated Network Management}} ({{IM}})},
publisher = {{IEEE Explore Washington/DC, USA}},
author = {Orsini, Gabriel and Bade, Dirk and Lamersdorf, Winfried},
month = may,
year = {2015},
pages = {1190-1195}
}
@inproceedings{orsini_computing_2015-1,
title = {Computing at the {{Mobile Edge}}: {{Designing Elastic Android Applications}} for {{Computation Offloading}}},
shorttitle = {Computing at the {{Mobile Edge}}},
booktitle = {8th {{Joint IFIP Wireless}} and {{Mobile Networking Conference}} ({{WMNC}})},
publisher = {{IEEE Explore Washington/DC, USA}},
author = {Orsini, Gabriel and Bade, Dirk and Lamersdorf, Winfried},
year = {2015},
keywords = {\#duplicate-citation-key}
}
@article{sabatucci_implementing_2015-1,
title = {Implementing {{Proactive Means}}-{{End Reasoning}}},
author = {Sabatucci, M. Cossentino L.},
year = {2015},
keywords = {\#duplicate-citation-key}
}
@article{zhang_hybrid_2014-1,
title = {A Hybrid Approach to Self-Management in a Pervasive Service Middleware},
volume = {67},
issn = {09507051},
language = {en},
journal = {Knowledge-Based Systems},
doi = {10.1016/j.knosys.2014.06.002},
author = {Zhang, Weishan and Hansen, Klaus Marius and Ingstrup, Mads},
month = sep,
year = {2014},
keywords = {\#duplicate-citation-key},
pages = {143-161}
}
@inproceedings{sykes_goals_2008-1,
address = {{New York, NY, USA}},
series = {{{SEAMS}} '08},
title = {From {{Goals}} to {{Components}}: {{A Combined Approach}} to {{Self}}-Management},
isbn = {978-1-60558-037-1},
shorttitle = {From {{Goals}} to {{Components}}},
abstract = {Autonomous or semi-autonomous systems are deployed in environments where contact with programmers or technicians is infrequent or undesirable. To operate reliably, such systems should be able to adapt to new circumstances on their own. This paper describes our combined approach for adaptable software architecture and task synthesis from high-level goals, which is based on a three-layer model. In the uppermost layer, reactive plans are generated from goals expressed in a temporal logic. The middle layer is responsible for plan execution and assembling a configuration of domain-specific software components, which reside in the lowest layer. Moreover, the middle layer is responsible for selecting alternative components when the current configuration is no longer viable for the circumstances that have arisen. The implementation demonstrates that the approach enables us to handle non-determinism in the environment and unexpected failures in software components.},
booktitle = {Proceedings of the 2008 {{International Workshop}} on {{Software Engineering}} for {{Adaptive}} and {{Self}}-Managing {{Systems}}},
publisher = {{ACM}},
doi = {10.1145/1370018.1370020},
author = {Sykes, Daniel and Heaven, William and Magee, Jeff and Kramer, Jeff},
year = {2008},
keywords = {dynamic reconfiguration,self-adaptive,software architecture,self-healing,autonomous systems,\#duplicate-citation-key},
pages = {1--8}
}
@article{garlan_rainbow_2004,
title = {Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure},
volume = {37},
issn = {0018-9162},
shorttitle = {Rainbow},
abstract = {While attractive in principle, architecture-based self-adaptation raises a number of research and engineering challenges. First, the ability to handle a wide variety of systems must be addressed. Second, the need to reduce costs in adding external control to a system must be addressed. Our rainbow framework attempts to address both problems. By adopting an architecture-based approach, it provides reusable infrastructure together with mechanisms for specializing that infrastructure to the needs of specific systems. The specialization mechanisms let the developer of self-adaptation capabilities choose what aspects of the system to model and monitor, what conditions should trigger adaptation, and how to adapt the system.},
number = {10},
journal = {Computer},
doi = {10.1109/MC.2004.175},
author = {Garlan, D. and Cheng, Shang-Wen and Huang, An-Cheng and Schmerl, B. and Steenkiste, P.},
month = oct,
year = {2004},
keywords = {software architecture,Computer architecture,system monitoring,Costs,Environmental management,monitoring,Software systems,Protocols,open systems,adaptation triggering,client-server system software architecture,client-server systems,Computer interfaces,Computer languages,Control systems,cost reduction,Rainbow architecture-based self-adaptation,reusable infrastructure,software reusability,specialization mechanisms,system variety handling},
pages = {46-54}
}
@incollection{rouvoy_music_2009,
address = {{Berlin, Heidelberg}},
title = {{{MUSIC}}: {{Middleware Support}} for {{Self}}-{{Adaptation}} in {{Ubiquitous}} and {{Service}}-{{Oriented Environments}}},
isbn = {978-3-642-02160-2},
abstract = {Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particularly relevant in the domain of ubiquitous computing, where numerous and unexpected changes of the execution context prevail. In this paper, we introduce an extension of the MUSIC component-based planning framework that optimizes the overall utility of applications when such changes occur. In particular, we focus on changes in the service provider landscape in order to plug in interchangeably components and services providing the functionalities defined by the component framework. The dynamic adaptations are operated automatically for optimizing the application utility in a given execution context. Our resulting planning framework is described and validated on a motivating scenario of the MUSIC project.},
publisher = {{Springer-Verlag}},
author = {Rouvoy, Romain and Barone, Paolo and Ding, Yun and Eliassen, Frank and Hallsteinsen, Svein and Lorenzo, Jorge and Mamelli, Alessandro and Scholz, Ulrich},
editor = {Cheng, Betty H. and Lemos, Rog{\'e}rio and Giese, Holger and Inverardi, Paola and Magee, Jeff},
year = {2009},
keywords = {Adaptation planning,component-based architectures,service-oriented architectures,Self-adaptation},
pages = {164--182}
}
@book{tokoro_open_2015-1,
title = {Open {{Systems Dependability}}: {{Dependability Engineering}} for {{Ever}}-{{Changing Systems}}, {{Second Edition}}},
isbn = {978-1-4987-3629-9},
shorttitle = {Open {{Systems Dependability}}},
abstract = {The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users' requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders' agreement and accountability achievement for business/service continuity than in elemental technologies.},
language = {en},
publisher = {{CRC Press}},
author = {Tokoro, Mario},
month = jun,
year = {2015},
keywords = {Computers / Computer Engineering,Computers / General,Computers / Software Development \& Engineering / General,Technology \& Engineering / Electrical,Technology \& Engineering / Power Resources / General,\#duplicate-citation-key}
}
@inproceedings{angelopoulos_requirements_2013-1,
address = {{Piscataway, NJ, USA}},
series = {{{SEAMS}} '13},
title = {Requirements and {{Architectural Approaches}} to {{Adaptive Software Systems}}: {{A Comparative Study}}},
isbn = {978-1-4673-4401-2},
shorttitle = {Requirements and {{Architectural Approaches}} to {{Adaptive Software Systems}}},
abstract = {The growing interest in adaptive software systems has resulted in a number of different proposals for the design of adaptive systems. Some approaches adopt architectural models, whereas others model adaptation options, at the level of requirements. This dichotomy has motivated us to perform a comparative study between two proposals for the design of adaptive systems: the Rainbow Framework (architecture-based) and our own proposal, Zanshin (requirements-based). This evaluation paper reports on our methodology and results. It also provides a comparison between the use of architectural and requirements models as centrepieces of adaptation, offering guidelines for the future research in the field of adaptive systems.},
booktitle = {Proceedings of the 8th {{International Symposium}} on {{Software Engineering}} for {{Adaptive}} and {{Self}}-{{Managing Systems}}},
publisher = {{IEEE Press}},
author = {Angelopoulos, Konstantinos and Souza, V{\'i}tor E. Silva and Pimentel, Jo{\~a}o},
year = {2013},
keywords = {\#duplicate-citation-key},
pages = {23--32}
}
@article{huebscher_survey_2008-1,
title = {A Survey of Autonomic Computing\textemdash{}Degrees, Models, and Applications},
volume = {40},
number = {3},
journal = {ACM Computing Surveys (CSUR)},
author = {Huebscher, Markus C and McCann, Julie A},
year = {2008},
keywords = {\#duplicate-citation-key},
pages = {7}
}
@inproceedings{nami_survey_2007-1,
title = {A {{Survey}} of {{Autonomic Computing Systems}}},
booktitle = {Autonomic and {{Autonomous Systems}}, 2007. {{ICAS07}}. {{Third International Conference}} On},
doi = {10.1109/CONIELECOMP.2007.48},
author = {Nami, M.R. and Bertels, K.},
month = jun,
year = {2007},
keywords = {grid computing,quality of service,Availability,Computer architecture,Costs,Internet,autonomic computing systems,Computer networks,Distributed computing,distributed computing systems,IP networks,Q factor,quality factors,Quality management,Web and internet services,\#duplicate-citation-key},
pages = {26-26}
}
@inproceedings{baresi_self-adaptive_2014-1,
title = {Self-Adaptive Systems, Services, and Product Lines},
isbn = {978-1-4503-2740-4},
language = {en},
publisher = {{ACM Press}},
doi = {10.1145/2648511.2648512},
author = {Baresi, Luciano},
year = {2014},
keywords = {\#duplicate-citation-key},
pages = {2-4}
}
@inproceedings{amoui_towards_2010-1,
address = {{Washington, DC, USA}},
series = {{{ICPC}} '10},
title = {Towards {{Developing}} a {{Meta}}-Model for {{Comprehending Software Adaptability}}},
isbn = {978-0-7695-4113-6},
booktitle = {Proceedings of the 2010 {{IEEE}} 18th {{International Conference}} on {{Program Comprehension}}},
publisher = {{IEEE Computer Society}},
doi = {10.1109/ICPC.2010.50},
author = {Amoui, Mehdi and Li, Sen and Oliveira Jr., Edson A. and Tahvildari, Ladan},
year = {2010},
keywords = {adaptability,meta-model,program understanding,\#duplicate-citation-key},
pages = {56--57}
}
@article{ogrady_self-assembly_2010-1,
title = {Self-Assembly {{Strategies}} in a {{Group}} of {{Autonomous Mobile Robots}}},
volume = {28},
issn = {0929-5593},
number = {4},
journal = {Auton. Robots},
doi = {10.1007/s10514-010-9177-0},
author = {O'Grady, Rehan and Gro\$\textbackslash{}beta\$, Roderich and Christensen, Anders Lyhne and Dorigo, Marco},
month = may,
year = {2010},
keywords = {All-terrain navigation,Autonomous robots,Cooperation,Modular robots,Self-assembly,Swarm robotics,\#duplicate-citation-key},
pages = {439--455}
}
@inproceedings{bouchenak_autonomic_2006-1,
title = {Autonomic {{Management}} of {{Clustered Applications}}},
booktitle = {Cluster {{Computing}}, 2006 {{IEEE International Conference}} On},
doi = {10.1109/CLUSTR.2006.311842},
author = {Bouchenak, S. and De Palma, N. and Hagimont, D. and Taton, C.},
month = sep,
year = {2006},
keywords = {Application software,Resource management,middleware,autonomic management,Self-optimization,software maintenance,Environmental management,Context-aware services,Service oriented architecture,Web and internet services,Cluster,clustered applications,clustered J2EE application,Databases,distributed software environment self-management,Hardware,Human resource management,J2EE,Jade,legacy software,Legacy systems,proprietary management interfaces,uniform management interface,Web server,\#duplicate-citation-key},
pages = {1-11}
}
@article{white_architectural_2004-1,
title = {An {{Architectural Approach}} to {{Autonomic Computing}}},
volume = {0},
journal = {Autonomic Computing, International Conference on},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICAC.2004.8},
author = {White, Steve R. and Hanson, James E. and Whalley, Ian and Chess, David M. and Kephart, Jeffrey O.},
year = {2004},
keywords = {\#duplicate-citation-key},
pages = {2-9}
}
@inproceedings{noauthor_second_2005,
title = {Second {{International Conference}} on {{Automatic Computing}} ({{ICAC}} '05)},
booktitle = {Autonomic {{Computing}}, 2005. {{ICAC}} 2005. {{Proceedings}}. {{Second International Conference}} On},
doi = {10.1109/ICAC.2005.68},
month = jun,
year = {2005},
pages = {i-iii}
}
@article{salehie_autonomic_2005-1,
title = {Autonomic {{Computing}}: {{Emerging Trends}} and {{Open Problems}}},
volume = {30},
issn = {0163-5948},
number = {4},
journal = {SIGSOFT Softw. Eng. Notes},
doi = {10.1145/1082983.1083082},
author = {Salehie, Mazeiar and Tahvildari, Ladan},
month = may,
year = {2005},
keywords = {autonomic computing,software engineering,software management,\#duplicate-citation-key},
pages = {1--7}
}
@inproceedings{guang_self-aware_2014-1,
address = {{New York, NY, USA}},
series = {{{CODES}} '14},
title = {From {{Self}}-Aware {{Building Blocks}} to {{Self}}-Organizing {{Systems}} with {{Hierarchical Agent}}-Based {{Adaptation}}},
isbn = {978-1-4503-3051-0},
abstract = {How to develop a self-aware system from modularized design components is a major challenge on this theme. The authors introduce a hierarchical agent-based system architecture, which enables self-organization and self-adaptation upon parallel embedded systems. Self-organization is achieved by dynamic clusterization, which groups self-aware components into a cluster and continuously updates the organization to account for application changes and internal errors. Self-adaptation is performed by hierarchical agents, based on the run-time organization, to monitor corresponding levels of components and reconfigure the system to improve energy efficiency and dependability. The system architecture achieves functional scalability via partitioning of agent intelligence, and physical scalability via level-specific software/hardware co-design of agents.},
booktitle = {Proceedings of the 2014 {{International Conference}} on {{Hardware}}/{{Software Codesign}} and {{System Synthesis}}},
publisher = {{ACM}},
doi = {10.1145/2656075.2661646},
author = {Guang, Liang and Plosila, Juha and Tenhunen, Hannu},
year = {2014},
keywords = {self-organization,embedded computing systems,hierarchical agent-based adaptation,Self-awareness,\#duplicate-citation-key},
pages = {23:1--23:3}
}
@inproceedings{villegas_framework_2011-1,
address = {{New York, NY, USA}},
series = {{{SEAMS}} '11},
title = {A {{Framework}} for {{Evaluating Quality}}-Driven {{Self}}-Adaptive {{Software Systems}}},
isbn = {978-1-4503-0575-4},
booktitle = {Proceedings of the 6th {{International Symposium}} on {{Software Engineering}} for {{Adaptive}} and {{Self}}-{{Managing Systems}}},
publisher = {{ACM}},
doi = {10.1145/1988008.1988020},
author = {Villegas, Norha M. and M{\"u}ller, Hausi A. and Tamura, Gabriel and Duchien, Laurence and Casallas, Rubby},
year = {2011},
keywords = {application of control theory,assessment and evaluation of self-adaptive systems,engineering of self-adaptive systems,run-time validation and verification,software adaptation metrics,software adaptation properties,software quality attributes,\#duplicate-citation-key},
pages = {80--89}
}
@inproceedings{tallabaci_engineering_2013-1,
title = {Engineering Adaptation with {{Zanshin}}: {{An}} Experience Report},
booktitle = {Software {{Engineering}} for {{Adaptive}} and {{Self}}-{{Managing Systems}} ({{SEAMS}}), 2013 {{ICSE Workshop}} On},
doi = {10.1109/SEAMS.2013.6595496},
author = {Tallabaci, G. and Silva Souza, V.E.},
month = may,
year = {2013},
keywords = {adaptive systems,software engineering,Adaptation models,Unified modeling language,Educational institutions,framework,adaptation,case study,adaptive system design,ATM,ATM simulation,automated teller machine,banking,experience report,experiment,feedback loop,Online banking,requirements engineering perspective,Software,Zanshin,Zanshin framework,\#duplicate-citation-key},
pages = {93-102}
}
@inproceedings{salehie_change_2009-1,
address = {{Washington, DC, USA}},
series = {{{EASE}} '09},
title = {Change {{Support}} in {{Adaptive Software}}: {{A Case Study}} for {{Fine}}-{{Grained Adaptation}}},
isbn = {978-0-7695-3623-1},
booktitle = {Proceedings of the 2009 {{Sixth IEEE Conference}} and {{Workshops}} on {{Engineering}} of {{Autonomic}} and {{Autonomous Systems}}},
publisher = {{IEEE Computer Society}},
doi = {10.1109/EASe.2009.11},
author = {Salehie, Mazeiar and Li, Sen and Asadollahi, Reza and Tahvildari, Ladan},
year = {2009},
keywords = {Activity Theory,fine-grained adaptation,slef-adaptive software,\#duplicate-citation-key},
pages = {35--44}
}
@inproceedings{salehie_employing_2009-1,
address = {{New York, NY, USA}},
series = {{{PLATE}} '09},
title = {Employing {{Aspect Composition}} in {{Adaptive Software Systems}}: {{A Case Study}}},
isbn = {978-1-60558-453-9},
booktitle = {Proceedings of the 1st {{Workshop}} on {{Linking Aspect Technology}} and {{Evolution}}},
publisher = {{ACM}},
doi = {10.1145/1509847.1509851},
author = {Salehie, Mazeiar and Li, Sen and Tahvildari, Ladan},
year = {2009},
keywords = {adaptive software,aspect composition,dynamic aop,\#duplicate-citation-key},
pages = {17--21}
}
@article{baresi_toward_2006-1,
title = {Toward {{Open}}-{{World Software}}: {{Issue}} and {{Challenges}}},
volume = {39},
issn = {0018-9162},
abstract = {Traditional software development is based on the closed-world assumption that the boundary between system and environment is known and unchanging. However, this assumption no longer works within today's unpredictable open-world settings, especially in ubiquitous and pervasive computing settings, which demand techniques that let software react to changes by self-organizing its structure and self-adapting its behavior. The more we move toward dynamic and heterogeneous systems, and the more we stress their self-healing and self-adapting capabilities, the more we need new approaches to develop these applications and new ways to structure and program them. Programming open systems requires new programming language features. Two features that bear investigation are introspection mechanisms to get runtime information about newly encountered services and reflective mechanisms to adapt client applications dynamically. Some existing standards, industrial products, and research prototypes that support, to a certain extent, the open-world assumptions are service-oriented technologies, publish/subscribe middleware systems, grid infrastructures, autonomic frameworks},
number = {10},
journal = {Computer},
doi = {10.1109/MC.2006.362},
author = {Baresi, L. and Di Nitto, E. and Ghezzi, C.},
month = oct,
year = {2006},
keywords = {Application software,autonomic computing,grid computing,pervasive computing,software engineering,middleware,Programming,Runtime,web services,open systems,Computer languages,autonomic framework,dynamic heterogeneous system,grid infrastructure,message passing,middleware systems,open system programming,open-world software,open-world software development,polymorphism,programming language features,Prototypes,publish/subscribe middleware system,service-oriented technology,software change,software introspection mechanism,software reflective mechanism,software self-adapting capability,software self-organizing capability,Standards publication,Stress,ubiquitous computing,\#duplicate-citation-key},
pages = {36-43}
}
@inproceedings{frenot_spontaneous_2015,
title = {Spontaneous and Ephemeral Social Networks: An Event-Based Framework},
isbn = {978-1-4503-3286-6},
shorttitle = {Spontaneous and Ephemeral Social Networks},
language = {en},
publisher = {{ACM Press}},
doi = {10.1145/2675743.2776772},
author = {Fr{\'e}not, St{\'e}phane and Ghorbali, Amine and Laforest, Fr{\'e}d{\'e}rique and Launay, Pascale and Le Sommer, Nicolas and Reimert, Damien},
year = {2015},
pages = {364-367}
}
@inproceedings{passarella_performance_2010,
title = {Performance Evaluation of Service Execution in Opportunistic Computing},
booktitle = {Proceedings of the 13th {{ACM}} International Conference on {{Modeling}}, Analysis, and Simulation of Wireless and Mobile Systems},
publisher = {{ACM}},
author = {Passarella, Andrea and Conti, Marco and Borgia, Eleonora and Kumar, Mohan},
year = {2010},
pages = {291--298}
}
@inproceedings{vallina-rodriguez_enabling_2011,
title = {Enabling Opportunistic Resources Sharing on Mobile Operating Systems: {{Benefits}} and Challenges},
shorttitle = {Enabling Opportunistic Resources Sharing on Mobile Operating Systems},
booktitle = {Proceedings of the 3rd {{ACM}} Workshop on {{Wireless}} of the Students, by the Students, for the Students},
publisher = {{ACM}},
author = {{Vallina-Rodriguez}, Narseo and Efstratiou, Christos and Xie, Geoffrey and Crowcroft, Jon},
year = {2011},
pages = {29--32}
}
@inproceedings{ferrari_characterization_2012,
title = {Characterization of the Impact of Resource Availability on Opportunistic Computing},
booktitle = {Proceedings of the First Edition of the {{MCC}} Workshop on {{Mobile}} Cloud Computing},
publisher = {{ACM}},
author = {Ferrari, Alan and Puccinelli, Daniele and Giordano, Silvia},
year = {2012},
pages = {35--40}
}
@inproceedings{osorio_perspectives_2012,
title = {Perspectives of {{UnaCloud}}: {{An Opportunistic Cloud Computing Solution}} for {{Facilitating Research}}},
isbn = {978-1-4673-1395-7 978-0-7695-4691-9},
shorttitle = {Perspectives of {{UnaCloud}}},
publisher = {{IEEE}},
doi = {10.1109/CCGrid.2012.14},
author = {Osorio, Juan D. and Castro, Harold and Brasileiro, Francisco},
month = may,
year = {2012},
pages = {717-718}
}
@inproceedings{lee_pond_2012,
title = {Pond: Dynamic Creation of Htc Pool on Demand Using a Decentralized Resource Discovery System},
shorttitle = {Pond},
booktitle = {Proceedings of the 21st International Symposium on {{High}}-{{Performance Parallel}} and {{Distributed Computing}}},
publisher = {{ACM}},
author = {Lee, Kyungyong and Wolinsky, David and Figueiredo, Renato J.},
year = {2012},
pages = {161--172}
}
@article{kephart_vision_2003-1,
title = {The Vision of Autonomic Computing},
volume = {36},
issn = {0018-9162},
abstract = {A 2001 IBM manifesto observed that a looming software complexity crisis -caused by applications and environments that number into the tens of millions of lines of code - threatened to halt progress in computing. The manifesto noted the almost impossible difficulty of managing current and planned computing systems, which require integrating several heterogeneous environments into corporate-wide computing systems that extend into the Internet. Autonomic computing, perhaps the most attractive approach to solving this problem, creates systems that can manage themselves when given high-level objectives from administrators. Systems manage themselves according to an administrator's goals. New components integrate as effortlessly as a new cell establishes itself in the human body. These ideas are not science fiction, but elements of the grand challenge to create self-managing computing systems.},
number = {1},
journal = {Computer},
doi = {10.1109/MC.2003.1160055},
author = {Kephart, J.O. and Chess, D.M.},
month = jan,
year = {2003},
keywords = {autonomic computing,Crisis management,Humans,pervasive computing,LAN interconnection,Environmental management,Autonomic computing,Pervasive computing,Computer industry,Biology computing,Computer vision,corporate-wide computing systems,DP industry,Internet,self-managing computing systems,software complexity crisis,Technological innovation,\#duplicate-citation-key},
pages = {41-50}
}
@article{salehie_towards_2012-1,
title = {Towards a {{Goal}}-Driven {{Approach}} to {{Action Selection}} in {{Self}}-Adaptive {{Software}}},
volume = {42},
issn = {0038-0644},
number = {2},
journal = {Softw. Pract. Exper.},
doi = {10.1002/spe.1066},
author = {Salehie, Mazeiar and Tahvildari, Ladan},
month = feb,
year = {2012},
keywords = {goal-driven model,run-time action selection,self-adaptive software,\#duplicate-citation-key},
pages = {211--233}
}
@inproceedings{penserini_design_2007-1,
address = {{New York, NY, USA}},
series = {{{AAMAS}} '07},
title = {A {{Design Framework}} for {{Generating BDI}}-Agents from {{Goal Models}}},
isbn = {978-81-904262-7-5},
abstract = {We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design process as a transformation process from platform-independent design models to platform-specific models and then to code. The design framework is demonstrated by referring to the Tropos methodology and to the JADE/Jadex platform. In this short paper, key steps in the process are illustrated through an example.},
booktitle = {Proceedings of the 6th {{International Joint Conference}} on {{Autonomous Agents}} and {{Multiagent Systems}}},
publisher = {{ACM}},
doi = {10.1145/1329125.1329307},
author = {Penserini, Loris and Perini, Anna and Susi, Angelo and Morandini, Mirko and Mylopoulos, John},
year = {2007},
keywords = {Software,agent-oriented,engineering,\#duplicate-citation-key},
pages = {149:1--149:3}
}
@inproceedings{klein_survey_2008-1,
title = {A {{Survey}} of {{Context Adaptation}} in {{Autonomic Computing}}},
isbn = {978-0-7695-3093-2},
publisher = {{IEEE}},
doi = {10.1109/ICAS.2008.23},
author = {Klein, Cornel and Schmid, Reiner and Leuxner, Christian and Sitou, Wassiou and Spanfelner, Bernd},
month = mar,
year = {2008},
keywords = {\#duplicate-citation-key},
pages = {106-111}
}
@article{bresciani_tropos_2004,
title = {Tropos: {{An Agent}}-{{Oriented Software Development Methodology}}},
volume = {8},
issn = {1387-2532},
shorttitle = {Tropos},
abstract = {Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams.},
number = {3},
journal = {Autonomous Agents and Multi-Agent Systems},
doi = {10.1023/B:AGNT.0000018806.20944.ef},
author = {Bresciani, Paolo and Perini, Anna and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John},
month = may,
year = {2004},
keywords = {multi-agent systems,agent-oriented methodologies,agent-oriented software engineering},
pages = {203--236}
}
@incollection{sanchez-pi_multi-agent_2010-1,
series = {Advances in {{Intelligent}} and {{Soft Computing}}},
title = {Multi-Agent {{System}} ({{MAS}}) {{Applications}} in {{Ambient Intelligence}} ({{AmI}}) {{Environments}}},
copyright = {\textcopyright{}2010 Springer Berlin Heidelberg},
isbn = {978-3-642-12432-7 978-3-642-12433-4},
language = {en},
number = {71},
booktitle = {Trends in {{Practical Applications}} of {{Agents}} and {{Multiagent Systems}}},
publisher = {{Springer Berlin Heidelberg}},
author = {{S{\'a}nchez-Pi}, Nayat and Mangina, Eleni and Carb{\'o}, Javier and Molina, Jos{\'e} Manuel},
editor = {Demazeau, Yves and Dignum, Frank and Corchado, Juan M. and Bajo, Javier and Corchuelo, Rafael and Corchado, Emilio and {Fern{\'a}ndez-Riverola}, Florentino and Juli{\'a}n, Vicente J. and Pawlewski, Pawel and Campbell, Andrew},
year = {2010},
keywords = {Artificial Intelligence (incl. Robotics),Computational Intelligence,Mobile Context- Aware Systems,multi-agent systems,Services Oriented Architectures,\#duplicate-citation-key},
pages = {493-500}
}
@article{conti_opportunistic_2010-1,
title = {From {{Opportunistic Networks}} to {{Opportunistic Computing}}},
volume = {48},
issn = {0163-6804},
abstract = {Personal computing devices, such as smart-phones and PDAs, are commonplace, bundle several wireless network interfaces, can support compute intensive tasks, and are equipped with powerful means to produce multimedia content. Thus, they provide the resources for what we envision as a human pervasive network: a network formed by user devices, suitable to convey to users rich multimedia content and services according to their interests and needs. Similar to opportunistic networks, where the communication is built on connectivity opportunities, we envisage a network above these resources that joins together features of traditional pervasive networks and opportunistic networks fostering a new computing paradigm: opportunistic computing. In this article we discuss the evolution from opportunistic networking to opportunistic computing; we survey key recent achievements in opportunistic networking, and describe the main concepts and challenges of opportunistic computing. We finally envision further possible scenarios and functionalities to make opportunistic computing a key player in the next-generation Internet.},
number = {9},
journal = {Comm. Mag.},
doi = {10.1109/MCOM.2010.5560597},
author = {Conti, Marco and Giordano, Silvia and May, Martin and Passarella, Andrea},
month = sep,
year = {2010},
keywords = {\#duplicate-citation-key},
pages = {126--139}
}
@inproceedings{kleinberger_ambient_2007-1,
address = {{Berlin, Heidelberg}},
series = {{{UAHCI}}'07},
title = {Ambient {{Intelligence}} in {{Assisted Living}}: {{Enable Elderly People}} to {{Handle Future Interfaces}}},
isbn = {978-3-540-73280-8},
shorttitle = {Ambient {{Intelligence}} in {{Assisted Living}}},
abstract = {Ambient Assisted Living is currently one of the important research and development areas, where accessibility, usability and learning plays a major role and where future interfaces are an important concern for applied engineering. The general goal of ambient assisted living solutions is to apply ambient intelligence technology to enable people with specific demands, e.g. handicapped or elderly, to live in their preferred environment longer. Due to the high potential of emergencies, a sound emergency assistance is required, for instance assisting elderly people with comprehensive ambient assisted living solutions sets high demands on the overall system quality and consequently on software and system engineering - user acceptance and support by various userinterfaces is an absolute necessity. In this article, we present an Assisted Living Laboratory that is used to train elderly people to handle modern interfaces for Assisted Living and evaluate the usability and suitability of these interfaces in specific situations, e.g., emergency cases.},
booktitle = {Proceedings of the 4th {{International Conference}} on {{Universal Access}} in {{Human}}-Computer {{Interaction}}: {{Ambient Interaction}}},
publisher = {{Springer-Verlag}},
author = {Kleinberger, Thomas and Becker, Martin and Ras, Eric and Holzinger, Andreas and M{\"u}ller, Paul},
year = {2007},
keywords = {Ambient intelligence,assisted living,elderly people,learning,user-interfaces,\#duplicate-citation-key},
pages = {103--112}
}
@article{atzori_internet_2010-1,
title = {The {{Internet}} of {{Things}}: {{A Survey}}},
volume = {54},
issn = {1389-1286},
shorttitle = {The {{Internet}} of {{Things}}},
abstract = {This paper addresses the Internet of Things. Main enabling factor of this promising paradigm is the integration of several technologies and communications solutions. Identification and tracking technologies, wired and wireless sensor and actuator networks, enhanced communication protocols (shared with the Next Generation Internet), and distributed intelligence for smart objects are just the most relevant. As one can easily imagine, any serious contribution to the advance of the Internet of Things must necessarily be the result of synergetic activities conducted in different fields of knowledge, such as telecommunications, informatics, electronics and social science. In such a complex scenario, this survey is directed to those who want to approach this complex discipline and contribute to its development. Different visions of this Internet of Things paradigm are reported and enabling technologies reviewed. What emerges is that still major issues shall be faced by the research community. The most relevant among them are addressed in details.},
number = {15},
journal = {Comput. Netw.},
doi = {10.1016/j.comnet.2010.05.010},
author = {Atzori, Luigi and Iera, Antonio and Morabito, Giacomo},
month = oct,
year = {2010},
keywords = {Pervasive computing,internet of things,RFID systems,\#duplicate-citation-key},
pages = {2787--2805}
}
@article{bell_yesterdays_2007-1,
title = {Yesterday's {{Tomorrows}}: {{Notes}} on {{Ubiquitous Computing}}'s {{Dominant Vision}}},
volume = {11},
issn = {1617-4909},
shorttitle = {Yesterday's {{Tomorrows}}},
abstract = {Ubiquitous computing is unusual amongst technological research arenas. Most areas of computer science research, such as programming language implementation, distributed operating system design, or denotational semantics, are defined largely by technical problems, and driven by building upon and elaborating a body of past results. Ubiquitous computing, by contrast, encompasses a wide range of disparate technological areas brought together by a focus upon a common vision. It is driven, then, not so much by the problems of the past but by the possibilities of the future. Ubiquitous computing's vision, however, is over a decade old at this point, and we now inhabit the future imagined by its pioneers. The future, though, may not have worked out as the field collectively imagined. In this article, we explore the vision that has driven the ubiquitous computing research agenda and the contemporary practice that has emerged. Drawing on cross-cultural investigations of technology adoption, we argue for developing a ``ubicomp of the present'' which takes the messiness of everyday life as a central theme.},
number = {2},
journal = {Personal Ubiquitous Comput.},
doi = {10.1007/s00779-006-0071-x},
author = {Bell, Genevieve and Dourish, Paul},
month = jan,
year = {2007},
keywords = {\#duplicate-citation-key},
pages = {133--143}
}
@article{bencomo_view_2012-1,
title = {A {{View}} of the {{Dynamic Software Product Line Landscape}}},
volume = {45},
issn = {0018-9162},
abstract = {Dynamic software product lines extend the concept of conventional SPLs by enabling software-variant generation at runtime. Recent studies yield insights into the current state of the DSPL field, research trends, and major gaps to address.},
number = {10},
journal = {Computer},
doi = {10.1109/MC.2012.292},
author = {Bencomo, N. and Hallsteinsen, S. and {Santana de Almeida}, E.},
month = oct,
year = {2012},
keywords = {modeling,Adaptation models,Runtime,Dynamic Software Product Lines,Software Engineering,Context modeling,Computational modeling,Software development,Context bawareness,DSPL field,DSPLs,Dynamic programming,runtime variability,software product lines,software-variant generation,SPLs,\#duplicate-citation-key},
pages = {36-41}
}
@article{pessoa_dependable_2015-1,
title = {Dependable {{Dynamic Software Product Lines}}: An {{Application}} into the {{Body Sensor Network Domain}}},
journal = {Not published yet},
author = {Pessoa, Leonardo and Alves, Vander and Fernandes, Paula and Rodrigues, Gena{\'i}na Nunes and Carvalho, Hervaldo and Castro, Thiago},
year = {2015},
keywords = {\#duplicate-citation-key}
}
@misc{fowler_inversion_2004-1,
title = {Inversion of {{Control Containers}} and the {{Dependency Injection}} Pattern},
abstract = {Explaining the Dependency Injection pattern, by contrasting it with Service Locator. The choice between them is less important than the principle of separating configuration from use.},
journal = {martinfowler.com},
howpublished = {http://martinfowler.com/articles/injection.html},
author = {Fowler, Martin},
year = {2004},
keywords = {\#duplicate-citation-key}
}
@incollection{garlan_software_2009-1,
title = {Software {{Architecture}}-{{Based Self}}-{{Adaptation}}},
copyright = {\textcopyright{}2009 Springer Science+Business Media, LLC},
isbn = {978-0-387-89827-8 978-0-387-89828-5},
language = {en},
booktitle = {Autonomic {{Computing}} and {{Networking}}},
publisher = {{Springer US}},
author = {Garlan, David and Schmerl, Bradley and Cheng, Shang-Wen},
editor = {Zhang, Yan and Yang, Laurence Tianruo and Denko, Mieso K.},
year = {2009},
keywords = {Computer Communication Networks,Coding and Information Theory,Communications Engineering; Networks,Optimization,Signal; Image and Speech Processing,\#duplicate-citation-key},
pages = {31-55}
}
@article{bresciani_tropos_2004-1,
title = {Tropos: {{An Agent}}-{{Oriented Software Development Methodology}}},
volume = {8},
issn = {1387-2532, 1573-7454},
shorttitle = {Tropos},
language = {en},
number = {3},
journal = {Autonomous Agents and Multi-Agent Systems},
doi = {10.1023/B:AGNT.0000018806.20944.ef},
author = {Bresciani, Paolo and Perini, Anna and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John},
month = may,
year = {2004},
keywords = {Artificial Intelligence (incl. Robotics),User Interfaces and Human Computer Interaction,Software Engineering/Programming and Operating Systems,multi-agent systems,agent-oriented methodologies,agent-oriented software engineering,Data Structures; Cryptology and Information Theory},
pages = {203-236}
}
@inproceedings{bresciani_knowledge_2001-1,
address = {{New York, NY, USA}},
series = {{{AGENTS}} '01},
title = {A {{Knowledge Level Software Engineering Methodology}} for {{Agent Oriented Programming}}},
isbn = {1-58113-326-X},
abstract = {Our goal in this paper is to introduce and motivate a methodology, called \textbackslash{}emph\{Tropos\}, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all the related mentalistic notions (for instance: beliefs, goals, actions and plans) are used in all phases of software development, from the early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study.},
booktitle = {Proceedings of the {{Fifth International Conference}} on {{Autonomous Agents}}},
publisher = {{ACM}},
doi = {10.1145/375735.376477},
author = {Bresciani, Paolo and Perini, Anna and Giorgini, Paolo and Giunchiglia, Fausto and Mylopoulos, John},
year = {2001},
keywords = {agent-based software engineering,design methodologies,\#duplicate-citation-key},
pages = {648--655}
}
@article{bryl_designing_2009-1,
title = {Designing {{Socio}}-Technical {{Systems}}: {{From Stakeholder Goals}} to {{Social Networks}}},
volume = {14},
issn = {0947-3602},
shorttitle = {Designing {{Socio}}-Technical {{Systems}}},
abstract = {Software systems are becoming an integral part of everyday life influencing organizational and social activities. This aggravates the need for a socio-technical perspective for requirements engineering, which allows for modelling and analyzing the composition and interaction of hardware and software components with human and organizational actors. In this setting, alternative requirements models have to be evaluated and selected finding a right trade-off between the technical and social dimensions. To address this problem, we propose a tool-supported process of requirements analysis for socio-technical systems, which adopts planning techniques for exploring the space of requirements alternatives and a number of social criteria for their evaluation. We illustrate the proposed approach with the help of a case study, conducted within the context of an EU project.},
number = {1},
journal = {Requir. Eng.},
doi = {10.1007/s00766-008-0073-5},
author = {Bryl, Volha and Giorgini, Paolo and Mylopoulos, John},
month = feb,
year = {2009},
keywords = {Evaluation metrics,Exploring requirements alternatives,Planning,Socio-technical systems,\#duplicate-citation-key},
pages = {47--70}
}
@article{dardenne_goal-directed_1993-1,
title = {Goal-Directed Requirements Acquisition},
volume = {20},
issn = {0167-6423},
abstract = {Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements models are acquired as instances of a conceptual meta-model. The latter can be represented as a graph where each node captures an abstraction such as, e.g., goal, action, agent, entity, or event, and where the edges capture semantic links between such abstractions. Well-formedness properties on nodes and links constrain their instances\textemdash{}that is, elements of requirements models. Requirements acquisition processes then correspond to particular ways of traversing the meta-model graph to acquire appropriate instances of the various nodes and links according to such constraints. Acquisition processes are governed by strategies telling which way to follow systematically in that graph; at each node specific tactics can be used to acquire the corresponding instances. The paper describes a significant portion of the meta-model related to system goals, and one particular acquisition strategy where the meta-model is traversed backwards from such goals. The meta-model and the strategy are illustrated by excerpts of a university library system.},
number = {1\textendash{}2},
journal = {Science of Computer Programming},
doi = {10.1016/0167-6423(93)90021-G},
author = {Dardenne, Anne and {van Lamsweerde}, Axel and Fickas, Stephen},
month = apr,
year = {1993},
keywords = {Requirements engineering,conceptual modeling,domain analysis,meta-level inference,nonfunctional requirements,specification acquisition,specification reuse,\#duplicate-citation-key},
pages = {3-50}
}
@article{capilla_overview_2014-1,
title = {An {{Overview}} of {{Dynamic Software Product Line Architectures}} and {{Techniques}}: {{Observations}} from {{Research}} and {{Industry}}},
volume = {91},
issn = {0164-1212},
shorttitle = {An {{Overview}} of {{Dynamic Software Product Line Architectures}} and {{Techniques}}},
abstract = {Over the last two decades, software product lines have been used successfully in industry for building families of systems of related products, maximizing reuse, and exploiting their variable and configurable options. In a changing world, modern software demands more and more adaptive features, many of them performed dynamically, and the requirements on the software architecture to support adaptation capabilities of systems are increasing in importance. Today, many embedded system families and application domains such as ecosystems, service-based applications, and self-adaptive systems demand runtime capabilities for flexible adaptation, reconfiguration, and post-deployment activities. However, as traditional software product line architectures fail to provide mechanisms for runtime adaptation and behavior of products, there is a shift toward designing more dynamic software architectures and building more adaptable software able to handle autonomous decision-making, according to varying conditions. Recent development approaches such as Dynamic Software Product Lines (DSPLs) attempt to face the challenges of the dynamic conditions of such systems but the state of these solution architectures is still immature. In order to provide a more comprehensive treatment of DSPL models and their solution architectures, in this research work we provide an overview of the state of the art and current techniques that, partially, attempt to face the many challenges of runtime variability mechanisms in the context of Dynamic Software Product Lines. We also provide an integrated view of the challenges and solutions that are necessary to support runtime variability mechanisms in DSPL models and software architectures.},
journal = {J. Syst. Softw.},
doi = {10.1016/j.jss.2013.12.038},
author = {Capilla, Rafael and Bosch, Jan and Trinidad, Pablo and {Ruiz-Cort{\'e}s}, Antonio and Hinchey, Mike},
month = may,
year = {2014},
keywords = {software architecture,Dynamic Software Product Lines,Dynamic variability,Feature models,\#duplicate-citation-key},
pages = {3--23}
}
@incollection{rouvoy_software_2009-1,
address = {{Berlin, Heidelberg}},
title = {Software {{Engineering}} for {{Self}}-{{Adaptive Systems}}},
isbn = {978-3-642-02160-2},
abstract = {Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particularly relevant in the domain of ubiquitous computing, where numerous and unexpected changes of the execution context prevail. In this paper, we introduce an extension of the MUSIC component-based planning framework that optimizes the overall utility of applications when such changes occur. In particular, we focus on changes in the service provider landscape in order to plug in interchangeably components and services providing the functionalities defined by the component framework. The dynamic adaptations are operated automatically for optimizing the application utility in a given execution context. Our resulting planning framework is described and validated on a motivating scenario of the MUSIC project.},
publisher = {{Springer-Verlag}},
author = {Rouvoy, Romain and Barone, Paolo and Ding, Yun and Eliassen, Frank and Hallsteinsen, Svein and Lorenzo, Jorge and Mamelli, Alessandro and Scholz, Ulrich},
editor = {Cheng, Betty H. and Lemos, Rog{\'e}rio and Giese, Holger and Inverardi, Paola and Magee, Jeff},
year = {2009},
keywords = {Adaptation planning,component-based architectures,service-oriented architectures,Self-adaptation,\#duplicate-citation-key},
pages = {164--182}
}
@techreport{laddaga_self_1997-1,
title = {Self {{Adaptive Software SOL BAA}} 98 12},
author = {Laddaga, Robbert},
year = {1997},
keywords = {\#duplicate-citation-key}
}
@inproceedings{van_lamsweerde_goal-oriented_2001-1,
address = {{Washington, DC, USA}},
series = {{{RE}} '01},
title = {Goal-{{Oriented Requirements Engineering}}: {{A Guided Tour}}},
shorttitle = {Goal-{{Oriented Requirements Engineering}}},
abstract = {Abstract: Goals capture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use of goals for eliciting, elaborating, structuring, specifying, analyzing, negotiating, documenting, and modifying requirements. This area has received increasing attention over the past few years. The paper reviews various research efforts undertaken along this line of research. The arguments in favor of goal orientation are first briefly discussed. The paper then com-pares the main approaches to goal modeling, goal specification and goal-based reasoning in the many activities of the requirements engineering process. To make the discussion more concrete, a real case study is used to suggest what a goal-oriented requirements engineering method may look like. Experience with such approaches and tool support are briefly discussed as well.},
booktitle = {Proceedings of the {{Fifth IEEE International Symposium}} on {{Requirements Engineering}}},
publisher = {{IEEE Computer Society}},
author = {Van Lamsweerde, Axel},
year = {2001},
keywords = {\#duplicate-citation-key},
pages = {249--}
}
@article{avizienis_basic_2004-1,
title = {Basic Concepts and Taxonomy of Dependable and Secure Computing},
volume = {1},
number = {1},
journal = {Dependable and Secure Computing, IEEE Transactions on},
author = {Avi{\v z}ienis, Algirdas and Laprie, Jean-Claude and Randell, Brian and Landwehr, Carl},
year = {2004},