Incremental specification validation and runtime adaptivity of distributed component information systems

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2007, Pages 123-134

  Aoumeur, Nasreddine ^a   Barkaoui, Kamel ^b   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b University of Paris Cité   (France)

Author keywords

Aspect and reflection; Distributed IS; High level Petri nets; Rewrite logic; Runtime adaptivity; Specification validation

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; PETRI NETS; UNIFIED MODELING LANGUAGE;

DYNAMIC ADAPTIVITY; HIGH-LEVEL PETRI NETS; REWRITE LOGIC; RUNTIME ADAPTIVITY;

INFORMATION SYSTEMS;

EID: 34547657451     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2007.28     Document Type: Conference Paper

References (24)

1. Robert Allen and David Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.
2. N. Aoumeur. Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach . Shaker-Verlag, 2002. ISBN 3-8265-9971-3.
3. N. Aoumeur and G. Saake. Concurrent Object Systems Modelling and Verification on the Basis of Maude and TLA+. In M. Wirsing, M. Gogolla, H. Kreowski, T. Nipkow, and W. Reif., editors, Proc. of 1st Workshop on Rigorous development of software-intensive systems, Berlin, Germany, pages 43-56, 2000.
4. N. Aoumeur and G. Saake. A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering, 42 (2):143-187, August 2002.
5. T. Batista, C. Chavez, A. Garcia, A. Sant'Anna, U. Kulesza, A. Rashid, and F. Filho. Reflections on Architectural Connection: Seven Issues on Aspects and ADLs. In Proc. of Workshop on Early Aspects at ICSE'06, 2006.
6. G. Booch, I. Jacobson, and J. Rumbaugh, editors. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.
7. G. Booch, I. Jacobson, and J. Rumbaugh, editors. Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley, 1998.
8. Walter Cazzola. SmartMethod: an Efficient Replacement for Method. In Proceedings of the 9th Annual A CM Symposium on Applied Computing (SAC'04), Nicosia, Cyprus, on 14th-17th of March 2004. ACM Press.
9. S. Cheng and D. Garlan. Mapping architectural concepts to uml-rt. In Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), 2001.
10. Jim Dowling and Vinny Cahill. The K-Component Architecture Meta-Model for Self-Adaptive Software. In Akinori Yonezawa and Satoshi Matsuoka, editors, Proceedings of 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection'2001), LNCS 2192, pages 81-88, Kyoto, Japan, September 2001. Springer-Verlag.
11. T. Elrad, R. Filmanand, and A. Bader. (guest editors). Communications of the ACM, 44(10), 2001.
12. R. France and B. Rumpe. Modeling dynamic software components with UML. In UML '99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of Lecture Notes in Computer Science. Springer, 1999.
13. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992.
14. U. Hensel, M. Huisman, B. Jacobs, and H. Tews. Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools. In Ch. Hankin, editor, European Symposium on Programming, volume 1381 of Lecture Notes in Computer Science, pages 105-121. Springer, 1998.
15. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
16. J. Meseguer. Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science, 96:73-155, 1992.
17. H. Masuhara and A. Yonezawa. A reflective approach to support software evolution. In Proceedings of International Workshop on the Principles of Software Evolution, pages 135-139, 1998.
18. M. P. Papazoglou and G. Schlageter, editors. Cooperative Information Systems : Trends and Directions. Academic Press, Boston, 1998.
19. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
20. B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-time Systems. Technical report, ObjectTime Limited, 1998. URL :http://www.objecttime. com/otl/technical/.
21. C. Szyperski. Component Software : Beyond Object-Oriented Programming. Addision-Wesley, 1998.
22. W.M.N. Wan-Kadir and P. Loucopoulos. Relating Evolving Business Rules to Software Design. Journal of Systems Architecture, 2003.
23. M. Wermelinger, A. Lopes, and J. Fiadeiro. Superposing connectors. In Proc. 10h International Workshop on Software Specification and Design, pages 87-94. IEEE Computer Society Press 2000, 2000.
24. A. Yonezawa and S. Matsuoka, editors. Metalevel Architectures and Separation of Cross-cutting Concerns. Springer, Volume 2192, Proc. REFLECTION 2001, 2001.