research-article

DEECO: an ensemble-based component system

Authors:

Ilias Gerostathopoulos,

Jaroslav Keznikl,

Frantisek PlasilAuthors Info & Claims

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Pages 81 - 90

https://doi.org/10.1145/2465449.2465462

Published: 17 June 2013 Publication History

Abstract

The recent increase in the ubiquity and connectivity of computing devices allows forming large-scale distributed systems that respond to and influence activities in their environment. Engineering of such systems is very complex because of their inherent dynamicity, open-endedness, and autonomicity. In this paper we propose a new class of component systems (Ensemble-Based Component Systems - EBCS) which bind autonomic components with cyclic execution via dynamic component ensembles controlling data exchange. EBCS combine the key ideas of agents, ensemble-oriented systems, and control systems into software engineering concepts based on autonomic components. In particular, we present an instantiation of EBCS - the DEECo component model. In addition to DEECo main concepts, we also describe its computation model and mapping to Java. Lastly, we outline the basic principles of the EBCS/DEECo development process.

References

[1]

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

Digital Library

[2]

R. Al Ali, T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil. DEECo computational model -- I. Technical Report no. D3S-TR-2013-01. D3S, Charles University in Prague. Available at: http://d3s.mff.cuni.cz-/publications, 2013.

[3]

L. Baresi, S. Guinea, and G. Tamburrelli. Towards decentralized self-adaptive component-based systems. In Proc. of SEAMS'08, 2008.

Digital Library

[4]

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

Digital Library

[5]

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

Digital Library

[6]

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. Stefani. The Fractal component model and its support in Java. Software: Practice & Experience. 36, 2006.

Digital Library

[7]

T. Bures, P. Hnetynka, and F. Plasil. SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In Proc. of SERA'06, 2006.

Digital Library

[8]

T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil. Autonomous components in dynamic environments. Awareness Magazine. Online: http://www.awareness-mag.eu, 2012

[9]

T. Bures, I. Gerostathopoulos, V. Horky, J. Keznikl, J. Kofron, M. Loreti, and F. Plasil. Language Extensions for Implementation-Level Conformance Checking. ASCENS Deliverable 1.5. Available at: http://www.ascens-ist.eu/deliverables, 2012.

[10]

B. Cheng et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems. Springer-Verlag, 2009.

Digital Library

[11]

I. Crnkovic. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA, 2002.

Digital Library

[12]

I. Crnkovic, M. Chaudron, and S. Larsson. Component-based development process and component lifecycle. Software Engineering Advances, 44, 2006.

Digital Library

[13]

D3S, Charles University in Prague. jDEECo website. Accessed April 17, 2013. https://github.com/d3scomp/JDEECo, 2013.

[14]

R. De Nicola, G. Ferrari, M. Loreti, and R. Pugliese. A Language-based Approach to Autonomic Computing. In Proc. of FMCO '11, 2012.

[15]

D. Gelernter. Generative communication in Linda. Toplas. 7, 1, 1985.

Digital Library

[16]

I. Gerostathopoulos, T. Bures, and P. Hnetynka. Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems. In Proc. of HotTopiCS Workshop, ICPE'13, 2013.

Digital Library

[17]

R. Hall, K. Pauls, S. McCulloch, and D. Savage. OSGi in Action: Creating Modular Applications in Java. Manning Pubs Co Series. Manning Publications, 2011.

Digital Library

[18]

K. Havelund, and T. Pressburger. Model Checking Java Programs Using Java PathFinder. Software Tools for Technology Trasfer. 2, 4, 2000.

[19]

M. Holz, and M. Wirsing. Towards a System Model for Ensembles. Formal modeling. 2012.

[20]

M. Holzl, A. Rauschmayer, and M. Wirsing. Engineering of software-intensive systems: State of the art and research challenges. In Software-Intensive Systems and New Computing Paradigms. Ser. LNCS, Springer Berlin, Heidelberg, vol. 5380, 2008.

Digital Library

[21]

M. Jain, M. Taylor, M. Tambe, and M. Yokoo. DCOPs meet the real world: Exploring unknown reward matrices with applications to mobile sensor networks. In Proc. of IJCAI'09, 2009.

Digital Library

[22]

C. Julien, and G.-C. Roman. EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Transactions on Software Engineering, 32, 5, 2006.

Digital Library

[23]

J. Kephart, and D. Chess. The Vision of Autonomic Computing. Computer. 36, 1, 2003.

Digital Library

[24]

J. Keznikl, T. Bures, F. Plasil, I. Gerostathopoulos, P. Hnetynka, and N. Hoch. Design of Ensemble-Based Component Systems by Invariant Refinement. In Proc. of CBSE 2013, ACM, 2013.

Digital Library

[25]

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

Digital Library

[26]

J. Kramer, and J. Magee. Self-managed systems: an architectural challenge. In Proc. of FOSE'07, 2007.

Digital Library

[27]

A. Lamsweerde. Requirements engineering: from craft to discipline. In Proc. of SIGSOFT'08/FSE-16, 2008.

Digital Library

[28]

M. Mauve, A. Widmer and H. Hartenstein. A Survey on Position-Based Routing in Mobile Ad Hoc Networks. IEEE Network, 15, 6, 2001.

Digital Library

[29]

B. Morin, O. Barais, J.-M. Jezequel, F. Fleurey, and A. Solberg. Models at Runtime to Support Dynamic Adaptation. IEEE Computer. 42, 10, 2009.

Digital Library

[30]

OMG. Unified Modeling Language 2.0: Superstructure. Available online: http://www.omg.org/spec/UML/2.0/, 2005.

[31]

OMG. CORBA Component Model Specification v4.0. Available online: http://www.omg.org/spec/CCM/4.0/, 2006.

[32]

OSGi Alliance. OSGi service platform core specification, release 4. Available online: http://www.osgi.org/Spec-ifications/HomePage, 2012.

[33]

T. Patikirikorala, A. Coman, H. Jun, and W. Liuping . A systematic survey on the design of self-adaptive software systems using control engineering approaches. In Proc. of SEAMS'12, 2012.

[34]

C. Peper, and D. Schneider. Component engineering for adaptive ad-hoc systems. In Proc. of SEAMS'08, 2008.

Digital Library

[35]

A. Rao, and M.P. Georgeff. BDI agents: From theory to practice. In Proc. of ICMAS'95, 1995.

[36]

N. Serbedzija et al. Ensemble Model Syntheses with Robot, Cloud Computing and e-Mobility. ASCENS Deliverable 7.2. Available at: http://www.ascens-ist.eu/deliverables, 2012.

[37]

N. Serbedzija, S. Reiter, M. Ahrens, J. Velasco, C. Pinciroli, N. Hoch, and B.Werther. Requirement Specification and Scenario Description of the ASCENS Case Studies. ASCENS Deliverable 7.1. Available at: http://www.ascens-ist.eu/deliverables, 2011.

[38]

M. Shaw, and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ, 1996.

Digital Library

[39]

Y. Shoham, and K. Leyton-Brown. Multiagent Systems: Algorithmic, GameTheoretic, and Logical Foundations, Cambridge University Press, 2008.

Digital Library

[40]

J. A. Stankovic, T. He, T. Abdelzaher, M. Marley, G. Tao, S. Son, and C. Lu. Feedback control scheduling in distributed real-time systems. In Proc. of RTSS'01, 2002.

Digital Library

[41]

R. Wang, and N. Kandasamy. A distributed control framework for performance management of virtualized computing environments. In Proc. of ICAC'10, 2009.

Digital Library

Cited By

Vilchez ETroya JCamara JBaresi LMa XPasquale L(2024)Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable EnvironmentsProceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3643915.3644109(63-69)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643915.3644109
Audrito GCasadei RDamiani FSalvaneschi GViroli M(2024)The eXchange Calculus (XC)Journal of Systems and Software10.1016/j.jss.2024.111976210:COnline publication date: 1-Apr-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.111976
Audrito GCasadei RTorta G(2024)A general framework and decentralised algorithms for collective computational processesFuture Generation Computer Systems10.1016/j.future.2024.04.020158:C(11-27)Online publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1016/j.future.2024.04.020
Show More Cited By

Index Terms

DEECO: an ensemble-based component system
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
      1. Integrated and visual development environments
  2. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles
        Organizing principles for web applications
      2. Software architectures

Recommendations

Development of smart cyber-physical systems
CBSE '14: Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering

The recent increase in the ubiquity and connectivity of computing devices allows forming large-scale distributed systems that respond to and influence activities in the real world (typically called smart Cyber-Physical Systems -- sCPS). Examples of such ...
Towards Intelligent Ensembles
ECSAW '15: Proceedings of the 2015 European Conference on Software Architecture Workshops

Recently, several ensemble-based component models have been created to address the dynamicity and complexity of designing cyber-physical systems. Experience in applying these models to actual case studies has shown that there are still scenarios in ...
DEECo: an ecosystem for cyber-physical systems
ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering

In this work we tackle the problem of designing and developing software-intensive cyber-physical systems (CPS), which are large distributed systems of collaborating elements that closely interact with the physical world, such as intelligent ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

June 2013

200 pages

ISBN:9781450321228

DOI:10.1145/2465449

General Chair:
Philippe Kruchten
University of British Columbia, Canada
,
Program Chairs:
Dimitra Giannakopoulou
NASA Ames Research Center, USA
,
Massimo Tivoli
University of L'Aquila, Italy

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

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

Comparch '13

Sponsor:

SIGSOFT

Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture

June 17 - 21, 2013

British Columbia, Vancouver, Canada

Acceptance Rates

CBSE '13 Paper Acceptance Rate 20 of 43 submissions, 47%;

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

88
Total Citations
View Citations
470
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)7

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Vilchez ETroya JCamara JBaresi LMa XPasquale L(2024)Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable EnvironmentsProceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3643915.3644109(63-69)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643915.3644109
Audrito GCasadei RDamiani FSalvaneschi GViroli M(2024)The eXchange Calculus (XC)Journal of Systems and Software10.1016/j.jss.2024.111976210:COnline publication date: 1-Apr-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.111976
Audrito GCasadei RTorta G(2024)A general framework and decentralised algorithms for collective computational processesFuture Generation Computer Systems10.1016/j.future.2024.04.020158:C(11-27)Online publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1016/j.future.2024.04.020
Hennicker RKnapp AWirsing M(2024)Epistemic Ensembles in Semantic and Symbolic EnvironmentsLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_5(69-87)Online publication date: 27-Oct-2024
https://doi.org/10.1007/978-3-031-75107-3_5
Töpfer MKhalyeyev DBureš THnětynka PPlášil F(2024)How Well Do LLMs Understand DEECo Ensemble-Based Component ArchitecturesLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_13(208-223)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-75107-3_13
Aßmann UGutsche C(2024)RailCabs and Birds in JuliaLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_12(191-207)Online publication date: 27-Oct-2024
https://doi.org/10.1007/978-3-031-75107-3_12
Wirsing MDe Nicola RJähnichen STribastone M(2024)Rigorous Engineering of Collective Adaptive Systems Introduction to the 5$$^{\textrm{th}}$$ Track EditionLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_1(1-12)Online publication date: 27-Oct-2024
https://doi.org/10.1007/978-3-031-75107-3_1
Casadei R(2023)Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour ModellingACM Computing Surveys10.1145/357935355:13s(1-37)Online publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1145/3579353
Töpfer MAbdullah MBureš THnětynka PKruliš M(2023)Machine-learning abstractions for component-based self-optimizing systemsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-023-00726-x25:5-6(717-731)Online publication date: 1-Dec-2023
https://dl.acm.org/doi/10.1007/s10009-023-00726-x
Abdullah MTöpfer MBureš THnětynka PKruliš MPlášil F(2023)Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive ArchitecturesSoftware Architecture. ECSA 2022 Tracks and Workshops10.1007/978-3-031-36889-9_25(370-385)Online publication date: 16-Jul-2023
https://doi.org/10.1007/978-3-031-36889-9_25
Show More Cited By

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