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

research-article

ASM-based model of dynamic service update in OSGi

Authors:

Dejun WangAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 33, Issue 2

Article No.: 8, Pages 1 - 8

https://doi.org/10.1145/1350802.1350815

Published: 01 March 2008 Publication History

Abstract

An ASM-based high level semantical model for service-oriented systems based on OSGi and supporting service dynamic updating is provided in this paper. The model not only provides the refinement methods but also gives the final model that specifies the constraint of OSGi. The resulting formal model can be applied in several ways. First, it enables checking or comparing existing systems based on OSGi to determine if they satisfy the dynamic updating demands and provide the necessary functionalities. Furthermore, it can serve as a basis for high level specification of a new system or components or updating constraint. Finally, the model is also useful in reasoning about the properties of service-oriented dynamic updating system based on OSGi.

References

[1]

The Open Services Gateway Initiative(OSGi), http://www.osgi.org. 2007.5.

[2]

OSGI Service Platform Release 4, http://www.osgi.org. 2007.5.

[3]

OSGI Component Programming, http://www.osgi.org. 2007.5.

[4]

Egon Borger. The origins and development of the ASM method for high level system design and analysis{J}. Journal of Universal Computer Science,2002,8(1):2-74.

[5]

Yuri Gurevich. Evolving algebras 1993:Lipari guide{A}. Egon Borger, ed. Specification and validation methods{C}. BR: Oxford University Press,1995.9-36.

Digital Library

[6]

Yuri Gurevich. May 1997 draft the ASM guide. http://www.eecs.umich.edu/gasm/papers/guide97.html.1997.

[7]

Yuri Gurevich. Sequential abstract state machines capture sequential algorithms{J}. ACM Transactions on Computational Logic,2000,1(1):77-111.

Digital Library

[8]

E. Börger: High Level System Design and Analysis using Abstract State Machines. In: D. Hutter et al. eds. Current Trends in Applied Formal Methods (FMTrends 98), LNCS 1641, Springer, 1999, pp.1-43.

[9]

Egon Börger and Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.

Digital Library

[10]

E. Börger. The ASM refinement method. Formal Aspects of Computing, 15:237-257, 2003.

[11]

Y. Gurevich. Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995, 9-36.

Digital Library

[12]

N. Medvidovic and R.N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, 26(1):70-93, January 2000.

Digital Library

[13]

W. Grieskamp, Y. Gurevich, W. Schulte and M. Veanes. Testing with Abstract State Machines. In Proc. ASM'2001.

[14]

M. Barnett, C. Campbell, W. Schulte, and M. Veanes. Specification, simulation and testing of COM components using Abstract State Machines. In Formal Methods and Tools for Computer Science, Eurocast 2001, pp. 266-270. IUCTC Universidad de Las Palmas de Gran Canaria, February 2001.

[15]

M. Barnett, L. Nachmanson, and W. Schulte. Conformance checking of components against their nondeterministic specifications. Technical Report MSR-TR-2001-56, Microsoft Research, June 2001.

[16]

M. Barnett and W. Schulte. The ABCs of Specication: AsmL, Behavior, and Components, Informatica. 2002.

[17]

Glyn Normington. A Formal Model of OSGi R4 Modularity. http://www2.osgi.org/wiki/uploads/Design /osgimod.pdf. September, 2007.

[18]

Zebin Chen. Formal Modeling: A Framework-based Approach. The Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering, Portland, OR, Nov 2006.

[19]

Yu David, Liu Scott F. Smith. A Formal Framework for Component Deployment.

[20]

Sameer Ajmani, Barbara Liskov, Liuba Shrira. Modular Software Upgrades for Distributed Systems. In European Conference on Object-Oriented Programming (ECOOP), July 2006.

Digital Library

[21]

R. F. Stark, J. Schmid, and E. Börger. Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001.

Digital Library

[22]

P. Hartel and L. Moreau. Formalizing the safety of Java, the Java Virtual Machine and Java Card. ACM Computing Surveys, 33(4):517-558, 2001.

Digital Library

[23]

J. Heering and P. Klint, Semantics of programming languages: A tool-oriented approach, ACM SIGPLAN Notices, 35(3):39-48, March 2000.

Digital Library

[24]

HICKS,M. W., MOORE, J. T., AND NETTLES, S. Dynamic software updating. In PLDI'01 (2001), pp. 13-23.

Digital Library

[25]

HILLMAN, J., AND WARREN, I. An Open Framework for Dynamic Reconfiguration. In ICSE'04 (2004), pp. 594-603.

Digital Library

[26]

CHEN, X., AND SIMONS, M. A component framework for dynamic reconfiguration of distributed systems. In Lecture Notes in Computer Science, Volume 2370 (Jan 2002), vol. 2370.

Digital Library

[27]

G.D.Castillo, K.Winter. Model Checking Support for the ASM High-Level Language. Technical Report tr-ri-99-209, Universitöt-GH Paderborn, June, 1999.

Cited By

Cerny TSvacina JDas DBushong VBures MTisnovsky PFrajtak KShin DHuang J(2020)On Code Analysis Opportunities and Challenges for Enterprise Systems and MicroservicesIEEE Access10.1109/ACCESS.2020.30199858(159449-159470)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.3019985
Ahmed BLee SSu MZakari A(2020)Dynamic software updating: a systematic mapping studyIET Software10.1049/iet-sen.2019.020114:5(468-481)Online publication date: 2-Sep-2020
https://doi.org/10.1049/iet-sen.2019.0201
Cerny TDonahoo M(2016)Survey on Concern Separation in Service IntegrationProceedings of the 42nd International Conference on SOFSEM 2016: Theory and Practice of Computer Science - Volume 958710.1007/978-3-662-49192-8_42(518-531)Online publication date: 23-Jan-2016
https://dl.acm.org/doi/10.1007/978-3-662-49192-8_42
Show More Cited By

Index Terms

ASM-based model of dynamic service update in OSGi
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
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Dynamic Service Update Based on OSGi
WCSE '09: Proceedings of the 2009 WRI World Congress on Software Engineering - Volume 03

In the OSGi framework, the service updating is achieved by updating the cooperating bundles. However, the way of service updating requires a temporary shutdown of bundles and can not implement the transfer of service’s states. Thus it is not really ...
A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi
APSEC '10: Proceedings of the 2010 Asia Pacific Software Engineering Conference

The continuous requirements of evolving a service-oriented application and the rising cost of shutting down services at runtime are forcing researchers to find ways of updating services while they run. Dynamic service update can solve the problem of ...
Using the service coroner tool for diagnosing stale references in the OSGi platform
Companion '08: Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion

The OSGi Service Platform is becoming the de facto middleware for the deployment of dynamic modular Java-based applications. It gives the possibility to install, to activate, to update and to uninstall application modules without needing to restart the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 33, Issue 2

March 2008

98 pages

ISSN:0163-5948

DOI:10.1145/1350802

Issue’s Table of Contents

Copyright © 2008 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2008

Published in SIGSOFT Volume 33, Issue 2

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
339
Total Downloads

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

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cerny TSvacina JDas DBushong VBures MTisnovsky PFrajtak KShin DHuang J(2020)On Code Analysis Opportunities and Challenges for Enterprise Systems and MicroservicesIEEE Access10.1109/ACCESS.2020.30199858(159449-159470)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.3019985
Ahmed BLee SSu MZakari A(2020)Dynamic software updating: a systematic mapping studyIET Software10.1049/iet-sen.2019.020114:5(468-481)Online publication date: 2-Sep-2020
https://doi.org/10.1049/iet-sen.2019.0201
Cerny TDonahoo M(2016)Survey on Concern Separation in Service IntegrationProceedings of the 42nd International Conference on SOFSEM 2016: Theory and Practice of Computer Science - Volume 958710.1007/978-3-662-49192-8_42(518-531)Online publication date: 23-Jan-2016
https://dl.acm.org/doi/10.1007/978-3-662-49192-8_42
Schmidt HElsholz JNikolov VHauck FKapitza RBosch JClarke S(2009)OSGi4CProceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE10.1145/1621890.1621910(1-12)Online publication date: 16-Jun-2009
https://dl.acm.org/doi/10.1145/1621890.1621910
Levin M(2009)Combinatorial optimization in system configuration designAutomation and Remote Control10.1134/S000511790903018770:3(519-561)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1134/S0005117909030187
Feng ZHuang L(2008)R-BinderProceedings of the 2008 International Symposium on Computer Science and Computational Technology - Volume 0210.1109/ISCSCT.2008.242(34-39)Online publication date: 20-Dec-2008
https://dl.acm.org/doi/10.1109/ISCSCT.2008.242

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 Issue’s Table of Contents