Distributed Systems

Visiting address

DS–BI
University of Groningen
Nijenborgh 9
9747 AG Groningen
The Netherlands

By category

  Books
  Dissertations
  Journals
  Conference Papers, Demos
  Techical Reports

By author (members)

  Alexander Lazovik
  Marco Aiello
  Heerko Groefsema
  Kawsar Haghshenas
  Dilek Düştegör
  Bochra Boughzala
  Mostafa Hadadian
  Majid Lotfian
  Michel Medema
  Saad Saleh
  Andres Tello
  Huy Cuong Truong
  Samer Ahmed
  Mahmoud Alasmar

By author (affiliate)

  Boris Koldehofe
  Viktoriya Degeler
  Talko Dijkhuis
  Brian Setz
  Rix Groenboom

By author (alumni/former)

  Pratyush Agnihotri
  Laura Fiorini
  Frank Blaauw
  Azkario Rizky Pratama
  Doina Bucur
  Pavel Bulanov
  Ando Emerencia
  Ilche Georgievski
  Fatimah Alsaif 
  Eirini Kaldeli
  Tuan Anh Nguyen
  Faris Nizamic
  Andrea Pagani
  Ang Sha
  Ehsan Ullah Warriach

By year

2010

Modelling and Managing the Variability of Web Service-based Systems (C. Sun, R. Rossing, M. Sinnema, P. Bulanov and M. Aiello), In Journal of Systems and Software, volume 83, 2010.
BibTeX

@article{sun2010:joss, author = {C. Sun and R. Rossing and M. Sinnema and P. Bulanov and M. Aiello}, journal = {Journal of Systems and Software}, number = {3}, pages = {502-516}, title = {Modelling and Managing the Variability of Web Service-based Systems}, url = {http://www.cs.rug.nl/~aiellom/publications/jss09.pdf}, volume = {83}, year = {2010}, }
url
Channel-based Coordination via Constraint Satisfaction (D. Clarke, J. Proenca, A. Lazovik and F. Arbab), In Science of Computer Programming, 2010.
BibTeX

@article{lazovik2010:csp, author = {D. Clarke and J. Proenca and A. Lazovik and F. Arbab}, title = {Channel-based Coordination via Constraint Satisfaction}, journal = {Science of Computer Programming}, year = {2010}, url = {https://lirias.kuleuven.be/bitstream/123456789/288820/1/2nd-revision-Channel-based+Coordination+via+Constraint+Satisfaction.pdf}, }
url
Automated graph-based methodology for fault detection and location in power systems (D. Düştegör, S.V. Poroseva, M.Y. Hussaini and S. Woodruff), In IEEE Transactions on Power Delivery, volume 25, 2010.
Abstract
This study investigates how the model-based fault detection and location approach of structural analysis can be adapted to meet the needs of power systems, where challenges associated with increased system complexity make conventional protection schemes impractical. With a global view of the protected system and the systematic and automated use of the system's analytical redundancy, faults are detected and located by more than one means. This redundancy can be used as a confirmation mechanism within a wide-area protection scheme to avoid unnecessary or false tripping due to protection component failure or disturbance. Furthermore, this redundancy turns the sensor configuration problem into an optimization problem with regard to fault detection and location. The effectiveness of different system topologies can then be compared on the basis of the optimal number of sensors they require. The principle of structural analysis is described in detail and illustrated on a simple power system model. Pertinence of the approach is demonstrated through simulation. © 2010 IEEE.

Keywords: Fault diagnosis, Power system protection, Structural analysis, Wide-area protection
BibTeX

@article{Dustegor2010b, abstract = {This study investigates how the model-based fault detection and location approach of structural analysis can be adapted to meet the needs of power systems, where challenges associated with increased system complexity make conventional protection schemes impractical. With a global view of the protected system and the systematic and automated use of the system's analytical redundancy, faults are detected and located by more than one means. This redundancy can be used as a confirmation mechanism within a wide-area protection scheme to avoid unnecessary or false tripping due to protection component failure or disturbance. Furthermore, this redundancy turns the sensor configuration problem into an optimization problem with regard to fault detection and location. The effectiveness of different system topologies can then be compared on the basis of the optimal number of sensors they require. The principle of structural analysis is described in detail and illustrated on a simple power system model. Pertinence of the approach is demonstrated through simulation. © 2010 IEEE.}, author = {D. Düştegör and S.V. Poroseva and M.Y. Hussaini and S. Woodruff}, doi = {10.1109/TPWRD.2009.2037005}, issn = {08858977}, issue = {2}, journal = {IEEE Transactions on Power Delivery}, keywords = {Fault diagnosis,Power system protection,Structural analysis,Wide-area protection}, title = {Automated graph-based methodology for fault detection and location in power systems}, volume = {25}, year = {2010}, }
doi
A survey of variability management requirements (M. Aiello, P. Bulanov and H. Groefsema), In 5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010, CEUR Workshop Proceedings (CEUR-WS.org), volume 662, 2010.
BibTeX

@inproceedings{aiello2010:siks, title = "A survey of variability management requirements", author = "M. Aiello and P. Bulanov and H. Groefsema", year = "2010", month = nov, language = "English", volume = "662", series = "CEUR Workshop Proceedings", publisher = "CEUR Workshop Proceedings (CEUR-WS.org)", pages = "35--36", booktitle = "5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010", edition = "2010", note = "5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010 ; Conference date: 16-11-2010 Through 16-11-2010", url = "https://research.rug.nl/en/publications/a-survey-of-variability-management-requirements", pdf = "https://ceur-ws.org/Vol-662/extendedabstract_10.pdf", }
url pdf
Requirements and Tools for Variability Management (M. Aiello, P. Bulanov and H. Groefsema), In Computer Software and Applications Conference Workshops (COMPSACW), IEEE (The Institute of Electrical and Electronics Engineers), 2010.
Abstract
Explicit and software-supported Business Process Management has become the core infrastructure of any medium and large organization that has a need to be efficient and effective. The number of processes of a single organization can be very high, furthermore, they might be very similar, be in need of momentary change, or evolve frequently. If the ad-hoc adaptation and customization of processes is currently the dominant way, it clearly is not the best. In fact, providing tools for supporting the explicit management of variation in processes (due to customization or evolution needs) has a profound impact on the overall life-cycle of processes in organizations. Additionally, with the increasing adoption of Service-Oriented Architectures, the infrastructure to support automatic reconfiguration and adaptation of business process is solid. In this paper, after defining variability in business process management, we consider the requirements for explicit variation handling for (service based) business process systems. eGovernment serves as an illustrative example of reuse. In this case study, all local municipalities need to implement the same general legal process while adapting it to the local business practices and IT infrastructure needs. Finally, an evaluation of existing tools for explicit variability management is provided with respect to the requirements identified.

Keywords: workflow management software, software architecture, business data processing, web services
BibTeX

@inproceedings{aiello2010:refs, title = "Requirements and Tools for Variability Management", abstract = "Explicit and software-supported Business Process Management has become the core infrastructure of any medium and large organization that has a need to be efficient and effective. The number of processes of a single organization can be very high, furthermore, they might be very similar, be in need of momentary change, or evolve frequently. If the ad-hoc adaptation and customization of processes is currently the dominant way, it clearly is not the best. In fact, providing tools for supporting the explicit management of variation in processes (due to customization or evolution needs) has a profound impact on the overall life-cycle of processes in organizations. Additionally, with the increasing adoption of Service-Oriented Architectures, the infrastructure to support automatic reconfiguration and adaptation of business process is solid. In this paper, after defining variability in business process management, we consider the requirements for explicit variation handling for (service based) business process systems. eGovernment serves as an illustrative example of reuse. In this case study, all local municipalities need to implement the same general legal process while adapting it to the local business practices and IT infrastructure needs. Finally, an evaluation of existing tools for explicit variability management is provided with respect to the requirements identified.", keywords = "workflow management software, software architecture, business data processing, web services", author = "M. Aiello and P. Bulanov and H. Groefsema", note = "Relation: http://www.rug.nl/informatica/onderzoek/bernoulli Rights: University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science; Workshop on Requirement Engineering for Services ; Conference date: 19-07-2010 Through 23-07-2010", year = "2010", month = jul, doi = "10.1109/COMPSACW.2010.50", url = "https://research.rug.nl/en/publications/requirements-and-tools-for-variability-management", pdf = "https://pure.rug.nl/ws/portalfiles/portal/2597423/2010ProcCOMPSACWAiello.pdf", language = "English", isbn = "9781424480890", pages = "245--250", booktitle = "Computer Software and Applications Conference Workshops (COMPSACW)", publisher = "IEEE (The Institute of Electrical and Electronics Engineers)", }
url pdf doi
ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL (C. Sun, T. Xue and M. Aiello), In , 2010.
BibTeX

@inproceedings{sun2010:valysec, title = {ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL}, author = {C. Sun and T. Xue and M. Aiello}, booktitl e= {IEEE Asia-Pacific Services Computing Conference}, year = {2010}, url = {http://iwi.eldoc.ub.rug.nl/FILES/root/2010/ProcIEEEAPSCCSun/2010ProcIEEEAPSCCSun.pdf}, }
url
Interoperation, Composition and Simulation of Services at Home (E. Kaldeli, E. U. Warriach, J. Bresser, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, 2010.
BibTeX

@inproceedings{kaldeli2010:interop, title = {Interoperation, Composition and Simulation of Services at Home}, author = {E. Kaldeli and E. U. Warriach and J. Bresser and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc10.pdf}, pages = {167--181}, }
url
A tool for integrating pervasive services and simulating their composition (E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, Demo Session, 2010.
BibTeX

@inproceedings{warriach2010:tool, title = {A tool for integrating pervasive services and simulating their composition}, author = {E. U. Warriach and E. Kaldeli and J. Bresser and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing, Demo Session}, year = {2010}, url = {http://iwi.eldoc.ub.rug.nl/FILES/root/2010/LNCSWarriach/2010LNCSWarriach.pdf}, pages = {726--727}, }
url
Towards a Service-Oriented Energy Market: Current state and trend (G. A. Pagani and M. Aiello), In Workshop on Service, Energy and Ecosystems (colocated with ICSOC-10), 2010.
BibTeX

@inproceedings{pagani2010:energy, title = {Towards a Service-Oriented Energy Market: Current state and trend}, author = {G. A. Pagani and M. Aiello}, booktitle = {Workshop on Service, Energy and Ecosystems (colocated with ICSOC-10)}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc10see.pdf}, pages = {203--209}, }
url
Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System (I. Nakiyimba, D.W. Williams and M. Aiello), In International Conference on Computing and ICT Research, 2010.
BibTeX

@inproceedings{aiello2010:energy, title = {Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System}, author = {I. Nakiyimba and D.W. Williams and M. Aiello}, booktitle = {International Conference on Computing and ICT Research}, year = {2010}, url = {http://cit.mak.ac.ug/iccir/downloads/ICCIR_10/IRENE%20NAKIYIMBA_%20Dr%20Ddembe%20Willese%20Williams_%20Prof%20MarcomAiello_10.pdf}, }
url
Resolving Business Process Interference via Dynamic Reconfiguration (N.R.T.P. van Beest, P. Bulanov, H. Wortmann and A. Lazovik), In International Conference on Service Oriented Computing, 2010.
BibTeX

@inproceedings{vanbeest2010:resolving, title = {Resolving Business Process Interference via Dynamic Reconfiguration}, author = {N.R.T.P. van Beest and P. Bulanov and H. Wortmann and A. Lazovik}, booktitle = {International Conference on Service Oriented Computing}, year = {2010}, url = {http://www.cs.rug.nl/~lazovik/papers/2010/rug-sasleg-icsoc10.pdf}, }
url
Mining Twitter in the Cloud: A Case Study (P. Noordhuis, M. Heijkoop and A. Lazovik), In IEEE 3rd International Conference on Cloud Computing, 2010.
BibTeX

@inproceedings{noordhuis2010:twitter, title = {Mining Twitter in the Cloud: A Case Study}, author = {P. Noordhuis and M. Heijkoop and A. Lazovik}, booktitle = {IEEE 3rd International Conference on Cloud Computing}, year = {2010}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5558003}, pages = {107--114}, }
url
Parity space approach for enhanced fault detection and intelligent sensor network design in power systems (T. El-Mezyani, D. Düştegör, S.K. Srivastava and D.A. Cartes), In , 2010.
Abstract
In this study, the model-based fault detection and isolation (FDI) approach of parity-space is adapted to the diagnosis of sensor faults in power systems. Hardware redundancy is conventionally utilized to overcome this problem. However, this is an expensive solution. Instead, we propose to detect and locate faults by the systematic use of the system's analytical redundancy, with a global view of the system. This redundancy can be used to detect and isolate sensor failure as well. We also give necessary and sufficient conditions for a sensor network to be able detect faults, sensor failures included. Hence, the sensor configuration problem boils down to an optimization problem that can be intelligently guided by our method. The principle of parity-space approach is described in detail and illustrated on a simple power system model. The method is then validated through simulation. ©2010 IEEE.

Keywords: Fault diagnosis, Power system protection, Sensor, Wide-Area protection
BibTeX

@inproceedings{Dustegor2010, abstract = {In this study, the model-based fault detection and isolation (FDI) approach of parity-space is adapted to the diagnosis of sensor faults in power systems. Hardware redundancy is conventionally utilized to overcome this problem. However, this is an expensive solution. Instead, we propose to detect and locate faults by the systematic use of the system's analytical redundancy, with a global view of the system. This redundancy can be used to detect and isolate sensor failure as well. We also give necessary and sufficient conditions for a sensor network to be able detect faults, sensor failures included. Hence, the sensor configuration problem boils down to an optimization problem that can be intelligently guided by our method. The principle of parity-space approach is described in detail and illustrated on a simple power system model. The method is then validated through simulation. ©2010 IEEE.}, author = {T. El-Mezyani and D. Düştegör and S.K. Srivastava and D.A. Cartes}, doi = {10.1109/PES.2010.5590102}, isbn = {9781424483570}, journal = {IEEE PES General Meeting, PES 2010}, keywords = {Fault diagnosis,Power system protection,Sensor,Wide-Area protection}, title = {Parity space approach for enhanced fault detection and intelligent sensor network design in power systems}, year = {2010}, }
doi
Concept mapping for faster QoS-Aware Web Service Composition (V. Degeler, I. Georgievski, A. Lazovik and M. Aiello), In IEEE Conference on Service Oriented Computing and Applications, 2010.
BibTeX

@inproceedings{degeler2010:qosaware, title = {Concept mapping for faster QoS-Aware Web Service Composition}, author = {V. Degeler and I. Georgievski and A. Lazovik and M. Aiello}, booktitle = {IEEE Conference on Service Oriented Computing and Applications}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/wsc10.pdf}, pages = {1--4}, }
url
Testing Service-oriented Architectures using a simulation (B. van Teeseling), Master's thesis, Rijksuniversiteit Groningen, 2010.
BibTeX

@mastersthesis{vanteeseling2010:testing, author = {B. van Teeseling}, title = {Testing Service-oriented Architectures using a simulation}, school = {Rijksuniversiteit Groningen}, year = {2010}, url = {http://www.cs.rug.nl/ds/docs/BartvanTeeseling.pdf}, }
url