More Web Proxy on the site http://driver.im/

research-article

Position paper: towards a requirements-driven design of ensemble-based component systems

Authors:

Ilias Gerostathopoulos,

Petr HnetynkaAuthors Info & Claims

HotTopiCS '13: Proceedings of the 2013 international workshop on Hot topics in cloud services

Pages 79 - 86

https://doi.org/10.1145/2462307.2462325

Published: 21 April 2013 Publication History

Abstract

Although approaches that effectively address the distribution and dynamism of adaptive systems at a middleware level exist, the design of complex, ensemble-based systems still remains a significant challenge. This hinders the development of real-life applications based on the ensemble paradigm.

A promising approach appears to be the coupling of proven low-level concepts with high-level ones, revisiting requirements modeling in the realm of ensemble-based systems. To this end, the goal of this paper is to point out the specific challenges related to the design of ensemble-based systems and show that classic requirements models and methods cannot be applied out-of-the-box in a requirements-driven design of ensemble-based applications. In response to this problem, a novel design method based on the iterative refinement of system requirements expressed by predicates on stakeholder's knowledge is discussed.

References

[1]

D. B. Abeywickrama, N. Bicocchi, and F. Zambonelli. SOTA: Towards a General Model for Self-Adaptive Systems. In Proc. of WETICE '12, pages 48--53. IEEE CS, 2012.

Digital Library

[2]

Agent Oriented Software. JACK Intelligent Agents Manual, R. 5.3. http://www.agent-software.com, 2005.

[3]

F. L. Bellifemine, G. Caire, and D. Greenwood. Developing Multi-Agent Systems with JADE. John Wiley & Sons, 2007.

Digital Library

[4]

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203--236, 2004.

Digital Library

[5]

T. Bures et al. Language Extensions for Implementation-level Conformance Checking. ASCENS Deliverable D1.5, 2012. Available: http://www.ascens-ist.eu/deliverables.

[6]

T. Bures et al. DEECo -- an Ensemble-Based Component System. Tech. Rep. D3S-TR-2013-02, D3S, Charles University in Prague, 2013. Available: http://d3s.mff.cuni.cz/publications.

[7]

G. Cabri, M. Puviani, and F. Zambonelli. Towards a Taxonomy of Adaptive Agent-based Collaboration Patterns for Autonomic Service Ensembles. In Proc. of CTS '11, pages 508--515. IEEE CS, 2011.

[8]

R. Darimont and A. van Lamsweerde. Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT Softw. Eng. Notes, 21(6):179--190, Oct. 1996.

Digital Library

[9]

R. De Nicola, G. Ferrari, M. Loreti, and R. Pugliese. A Language-based Approach to Autonomic Computing. In Proc. of FMCO '11, volume 7542 of LNCS, pages 25--48. Springer, 2012.

[10]

P. Giorgini et al. A Goal-Based Organizational Perspective on Multi-Agents Architectures. In Proc. of ATAL '01, pages 128--140. ACM, 2001.

Digital Library

[11]

M. Holzl et al. Engineering of Software-Intensive Systems: State of the Art and Research Challenges. In Software-Intensive Systems and New Computing Paradigms, volume 5380 of LNCS, pages 1--44. 2008.

Digital Library

[12]

M. Holzl et al. Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1, 2011. Available: http://www.ascens-ist.eu/.

[13]

M. Holzl and M. Wirsing. Towards a System Model for Ensembles. In Festschrift in honor of Carolyn Talcott, volume 7000 of LNCS. Springer, 2011.

Digital Library

[14]

J. Keznikl, T. Bures, F. Plasil, and M. Kit. Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. In Proc. of WICSA/ECSA '12. IEEE CS, 2012.

Digital Library

[15]

E. Letier and A. van Lamsweerde. Deriving operational software specifications from system goals. SIGSOFT Softw. Eng. Notes, 27(6):119--128, 2002.

Digital Library

[16]

C. Ponsard, P. Massonet, J. F. Molderez, A. Rifaut, A. van Lamsweerde, and H. T. Van. Early Verification and Validation of Mission Critical Systems. Form. Methods Syst. Des., 30(3):233--247, June 2007.

Digital Library

[17]

A. S. Rao and M. P. Georgeff. BDI Agents: From Theory to Practice. In Proc. of ICMAS '95, pages 312--319. The MIT Press, 1995.

[18]

M. Salehie and L. Tahvildari. Self-Adaptive Software: Landscape and Research Challenges. ACM Trans. Auton. Adapt. Syst., 4(2):14:1--14:42, May 2009.

Digital Library

[19]

A. van Lamsweerde. Goal-Oriented Requirements Engineering: A Guided Tour. In Proc. of RE '01. IEEE CS, 2001.

Digital Library

[20]

A. van Lamsweerde. From System Goals to Software Architecture. In Proc. of FSM '03, volume 2804 of LNCS, pages 25--43. Springer, 2003.

[21]

A. van Lamsweerde, R. Darimont, and E. Letier. Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Softw. Eng., 24(11):908--926, Nov. 1998.

Digital Library

[22]

A. van Lamsweerde and E. Letier. Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Softw. Eng., 26(10):978--1005, Oct. 2000.

Digital Library

[23]

A. van Lamsweerde and E. Letier. From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. In Proc. of RISSEF '12, volume 2941 of LNCS, pages 325--340. Springer, 2004.

[24]

E. Vassev and M. Hinchey. The Challenge of Developing Autonomic Systems. Computer, 43(12):93--96, Dec. 2010.

Digital Library

[25]

E. Yu. Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In Proc. of RE '97, pages 226--. IEEE CS, Jan. 1997.

Digital Library

[26]

F. Zambonelli et al. On Self-Adaptation, Self-Expression, and Self-Awareness in Autonomic Service Component Ensembles. In Proc. of SASOW '11, pages 108--113. IEEE CS, 2011.

Digital Library

Cited By

Bures TGerostathopoulos IHnetynka PKeznikl JKit MPlasil FKruchten PGiannakopoulou DTivoli M(2013)DEECOProceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering10.1145/2465449.2465462(81-90)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465449.2465462
Keznikl JBures TPlasil FGerostathopoulos IHnetynka PHoch NKruchten PGiannakopoulou DTivoli M(2013)Design of ensemble-based component systems by invariant refinementProceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering10.1145/2465449.2465457(91-100)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465449.2465457
Kounev SRizou SZschaler SAlexakis SBures TJézéquel JKourtesis DPantelopoulos SKounev SZschaler SSachs K(2013)RELATEProceedings of the 2013 international workshop on Hot topics in cloud services10.1145/2462307.2462319(51-54)Online publication date: 20-Apr-2013
https://dl.acm.org/doi/10.1145/2462307.2462319

Index Terms

Position paper: towards a requirements-driven design of ensemble-based component systems
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Towards transformation guidelines from secure tropos to misuse cases (position paper)
SESS '11: Proceedings of the 7th International Workshop on Software Engineering for Secure Systems

(IS) requires that the security concerns should be properly articulated well ahead in early requirement engineering (RE) along with other functional and non-functional requirements. In this paper, based on the domain model for IS security risk ...
Guest Editors' Introduction: Stakeholders in Requirements Engineering

The growing attention being paid to stakeholders' needs and desires reflects the growing importance of requirements engineering(RE) in software and systems development. This introduction reviews the RE process: identifying the stakeholders in a project,...
Model-based prioritization in business-process-driven software development
RE '12: Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)

Requirements engineers in business-process-driven software development are faced with the challenge of letting stakeholders determine which requirements are actually relevant for early business success and should be considered first or even at all ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

HotTopiCS '13: Proceedings of the 2013 international workshop on Hot topics in cloud services

April 2013

94 pages

ISBN:9781450320511

DOI:10.1145/2462307

Program Chairs:
Samuel Kounev
Karlsruhe Institute of Technology, Germany
,
Steffen Zschaler
King's College London, UK
,
Kai Sachs
University of Alberta, Canada

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGMETRICS: ACM Special Interest Group on Measurement and Evaluation
SIGSOFT: ACM Special Interest Group on Software Engineering
SPEC: SPEC Research Group

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 April 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICPE'13

Sponsor:

ICPE'13: ACM/SPEC International Conference on Performance Engineering

April 20 - 21, 2013

Prague, Czech Republic

Acceptance Rates

HotTopiCS '13 Paper Acceptance Rate 10 of 15 submissions, 67%;

Overall Acceptance Rate 10 of 15 submissions, 67%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
110
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bures TGerostathopoulos IHnetynka PKeznikl JKit MPlasil FKruchten PGiannakopoulou DTivoli M(2013)DEECOProceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering10.1145/2465449.2465462(81-90)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465449.2465462
Keznikl JBures TPlasil FGerostathopoulos IHnetynka PHoch NKruchten PGiannakopoulou DTivoli M(2013)Design of ensemble-based component systems by invariant refinementProceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering10.1145/2465449.2465457(91-100)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465449.2465457
Kounev SRizou SZschaler SAlexakis SBures TJézéquel JKourtesis DPantelopoulos SKounev SZschaler SSachs K(2013)RELATEProceedings of the 2013 international workshop on Hot topics in cloud services10.1145/2462307.2462319(51-54)Online publication date: 20-Apr-2013
https://dl.acm.org/doi/10.1145/2462307.2462319

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents