Dynamically evolving concurrent information systems specification and validation: A component-based Petri nets proposal

Data and Knowledge Engineering

Volumn 50, Issue 2, 2004, Pages 117-173

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

CO NETS; Component orientation; Distributed information systems; Inheritance anomaly; Rewriting logic; Runtime evolution

Indexed keywords

COMPUTER PROGRAMMING; DATA REDUCTION; FORMAL LOGIC; HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; PETRI NETS;

CO-NETS; COMPONENT ORIENTATION; DISTRIBUTED INFORMATION SYSTEMS; INHERITANCE ANOMALY; REWRITING LOGIC; RUNTIME EVOLUTION;

INFORMATION TECHNOLOGY;

EID: 2542421053     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2003.10.005     Document Type: Article

References (65)

1. N. Aoumeur, S. Balko, G. Saake, Towards a three-level methodology for developing cooperative information systems, Fakultät für Informatik, Universität Magdeburg, Preprint nr. 5, 2000; also appeared in: Proceedings of the 10th International Conference on Computing and Information (ICCI'2000), Kuweit, 2000, vol. 2023, Springer-Verlag, Berlin (to appear).
2. N. Aoumeur, S. Balko, G. Saake, Towards a three-level methodology for developing cooperative information systems, Fakultät für Informatik, Universität Magdeburg, Preprint nr. 5, 2000; also appeared in: Proceedings of the 10th International Conference on Computing and Information (ICCI'2000), Kuweit, 2000, vol. 2023, Springer-Verlag, Berlin (to appear).
3. N. Aoumeur, S. Balko, G. Saake, Towards a three-level methodology for developing cooperative information systems, Preprint No. 5, Fakultät für Informatik, Universität Magdeburg, 2000.
4. Andrade M., Fiadeiro J. Interconnecting objects via contracts. Proceedings of UML'99 - Beyond the Standard. Lecture Notes in Computer Science. vol. 1248:1999;566-583 Springer-Verlag, Berlin.
5. Robert Allen, David Garlan A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology. (July):1997.
6. Aoumeur N. Specifying distributed and dynamically evolving information systems using an extended CO-NETS approach. Saake G., Schwarz K., Türker C. Transactions and Database Dynamics. Lecture Notes in Computer Science. vol. 1773:2000;91-111 Springer-Verlag, Berlin. (Selected papers from the 8th International Workshop on Foundations of Models and Languages for Data and Objects, Sep. 1999, Germany).
7. Aoumeur N. Specifying distributed and dynamically evolving information systems using an extended CO-NETS approach. Saake G., Schwarz K., Türker C. Transactions and Database Dynamics. Lecture Notes in Computer Science. vol. 1773:2000;91-111 Springer-Verlag, Berlin. (Selected papers from the 8th International Workshop on Foundations of Models and Languages for Data and Objects, Sep. 1999, Germany).
8. 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.
9. N. Aoumeur, G. Saake, On the specification and validation of cooperative information systems using an extended MAUDE, in: K. Futatsugi, J. Goguen, J. Meseguer (Eds.), Proceedings of First International OBJ/CafeOBJ/Maude Workshop at FM'99 Conference, Toulouse, France, The Theta Foundation Bucharest, Romania, 1999, pp. 197-211.
10. N. Aoumeur, G. Saake, Operational interpretation of the requirements specification language ALBERT using timed rewriting logic, in: Proceedings of 5th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'99), In Joint with CAiSE'99 Conference, Presses Universitaires de Namur, 1999.
11. Aoumeur N., Saake G. Towards an object Petri nets model for specifying and validating distributed information systems. Jarke M., Oberweis A. Proceedings of the 11th International Conference on Advanced Information Systems Engineering, CAiSE'99. Lecture Notes in Computer Science. vol. 1626:1999;381-395 Springer-Verlag, Berlin.
12. N. Aoumeur, G. Saake, Cooperative information systems modelling and validation using the CO-NETS approach: the chessmen making shop case study, in: S. Gnesi, I. Schieferdecker, A. Rennoch (Eds.), Proceedings of the 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'00), Berlin, Germany, pp. 361-383, 2000.
13. Aoumeur N., Saake G. Specifying and validating train control systems using an appropriate component-based Petri nets model. Huba M., Kozak S. Proceedings of the Petri Nets in Design, Modelling and Simulation of Control Systems Special Session at IFAC Conference CSD2000, Bratislava, Slovakia. 2000;Elsevier Science, Amsterdam. ISBN: 0-08-43546-7.
14. N. Aoumeur, G. Saake, Towards an adequate framework for specifying and validating runtime evolving complex discrete-event systems, in: D. Moldt (Ed.), Proceedings of 1st Workshop on Modeling of Objects, Components, and Agents, 2001, pp. 1-20.
15. Aoumeur N., Saake G. A component-based Petri net model for specifying and validating cooperative information systems. Data and Knowledge Engineering. 42(2):2002;143-187.
16. Beeri C. Some Thoughts on the Future Evolution for Object-Oriented Database Concepts. Stucky W., Oberweis A. Proceedings of GI-Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW'93), Braunschweig, März 1993, Informatik aktuell. 1993;18-32 Springer-Verlag, Berlin.
17. E. Battiston, V. Grespi, F.D. Cindio, G. Mauri, Semantics frameworks for a class of modular algebraic nets, in: M. Nivat, C. Rattray, T. Russ, G. Scollo (Ed.), Proceedings of 3rd. International AMAST Conference, 1994.
18. Booch G., Jacobson I., Rumbaugh J. Unified Modeling Language, Notation Guide Version. 1998;Addison-Wesley, Reading, MA.
19. Bettaz M., Maouche M., Soualmi M., Boukebeche S. Protocol Specification using ECATNets. Reséaux et Informatique Répartie. 3(1):1993;7-35.
20. Brockschmit K. Inside OLE 2. Second ed. 1994;Microsoft Press.
21. Buchmann A.P. Active object systems. Dogac A., Özsu M.T., Biliris A., Sellis T. Advances in Object-Oriented Database Systems. 1994;Springer Verlag, Berlin.
22. Cazzola W., Chiba S., Ledoux T. Reflection and meta-level architectures state-of-the-art and future trends. Malenfant J., Moisan S., Moreira A. ECOOP 2000 Workshop Reader. LNCS. vol. 964:2000;1-15 Springer-Verlag, Berlin.
23. M. Clavel, F. Duran, S. Eker, J. Meseguer, M. Stehr. Maude: specification and programming in rewriting logic. Technical report, SRI, Computer Science Laboratory, March 1999, Available from 〈http://maude.csl.sri.com.〉
24. Laneve C., Fournet C., Maranget L., Remy D. Inheritance in the join calculus. Foundations of Software Technology and Theoretical Computer Science. LNCS. vol. 1974:2000;Springer-Verlag, Berlin.
25. S. Cheng, D. Garlan, Mapping architectural concepts to uml-rt. in: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), 2001.
26. M. Clavel, J. Meseguer, Reflection and Strategies in rewriting logic, in: G. Kiczales (Ed.), Proceedings of Reflection'96, Xerox PARC, 1996, pp. 263-288.
27. Conrad S., Ramos J., Saake G., Sernadas C. Evolving logical specification in information systems. Chomicki J., Saake G. Logics for Databases and Information Systems. 1998;199-228 Kluwer Academic Publishers, Boston. (Chapter 7).
28. Conrad S., Ramos J., Saake G., Sernadas C. Evolving logical specification in information systems. Chomicki J., Saake G. Logics for Databases and Information Systems. 1998;167-198 Kluwer Academic Publishers, Boston. (Chapter 7).
29. S. Conrad, G. Saake, Türker C. Evolving objects: Conceptual description of adaptive information systems, in: H. Balsters, B. De Brock, S. Conrad (Eds.), Proceedings of the 9th International Workshop on Foundations of Models and Languages for Data and Objects: Database Schema Evolution and Meta-modeling, Dagstuhl, Germany, Lecture Notes in Computer Science, vol. 2065, 2000.
30. Cazzola W., Stroud R., Tisato F. Reflection and Software Engineering. Lecture Notes in Computer Science. vol. 1826:1996;Springer-Verlag, Berlin.
31. G. Denker, From rewrite theories to temporal logic theories, in: H. Kirchner, C. Kirchner (Eds.), Proceedings of Second International Workshop on Rewriting Logic, Electronic Notes in Theoretical Computer Science, vol. 15, 1998.
32. Ehrich H.-D., Gogolla M., Sernadas A. Objects and their specification. Bidoit M., Choppy C. Proceedings of 8th Workshop on Abstract Data Types. LNCS. vol. 655:1992;40-66 Springer-Verlag, Berlin.
33. Ferenczi S. Guarded methods vs. inheritance anomaly inheritance anomaly solved by nested method calls. ACM SIGPLAN Notices. 30(2):1991;49-58.
34. J.A. Goguen, R. Diaconescu, Towards an algebraic semantics for the object paradigm, in: Proceedings of 10th Workshop on Abstract Data Types, 1993.
35. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Professional Computing Series, 1994.
36. Gamma E., Helm R., Johnson R., Vlissides J. Design patterns: elements of reusable object oriented software. 1995;Addison-Wesley, Reading, MA.
37. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J.P. Jouannaud, Introducing OBJ, Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992.
38. Hensel U., Huisman M., Jacobs, B., Tews H. Reasoning about classes in object-oriented languages logical models and tools. Hankin Ch. European Symposium on Programming. Lecture Notes in Computer Science. vol. 1381:1998;105-121 Springer-Verlag, Berlin.
39. Heuser C.A., Richter G. Constructs for modeling information systems with Petri nets. Proceedings of 13th Application and Theory of Petri Nets. Lecture Notes in Computer Science. vol. 616:1992;224-243 Springer-Verlag, Berlin.
40. Lechner U., Langauer C., Nickel F., Wirsing M. (Objects. + Concurrency) and reusability - a proposal to circumvent the inheritance anomaly ECOOP'96 - Object-Oriented Programming. Lecture Notes in Computer Science. vol. 1098:1996;232-248 Springer-Verlag, Berlin.
41. Meseguer J. Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science. 96:1992;73-155.
42. Meseguer J. A logical theory of concurrent objects and its realization in the maude language. Agha G., Wegner P., Yonezawa A. Research Directions in Object-Based Concurrency. 1993;314-390 The MIT Press.
43. Meseguer J. Solving the inheritance anomaly in concurrent object-oriented programming. ECOOP'93 - Object-Oriented Programming. Lecture Notes in Computer Science. vol. 707:1993;220-246 Springer-Verlag, Berlin.
44. Monroe T., Kompanek A., Melton R., Garlan D. Architectural styles, design patterns, and objects. IEEE Software. 14(1):1997;43-52.
45. Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification. 1992;Springer-Verlag, New York.
46. Meseguer J., Talcott C. A partial order event model for concurrent objects. Proceedings of CONCUR'99. Lecture Notes in Computer Science. vol. 1664:1999;415-430 Springer-Verlag, Berlin.
47. Matsuoka S., Yonezawa A. Analysis of inheritance anomaly in concurrent object-oriented languages. Agha G., Wegner P., Yonezawa A. Research Directions in Object-Based Concurrency. 1993;107-150 The MIT Press.
48. Nguyen G.T. Schema evolution in object-oriented database systems. Data & Knowledge Engineering. 4(1):1989;43-67.
49. Object Management Group, The Common Object Request Broker: Architecture and Specification, Revision 2.0, July 96, Available from 〈http://www.omg. org/corba/corbiiop.html〉 1996.
50. Papazoglou M.P., Schlageter G. Cooperative Information Systems: Trends and Directions. 1998;Academic Press, Boston.
51. Rasmussen G., Henderson-Sellers B., Low G. An object-oriented analysis and design notation for concurrency distributed systems. Journal of Object-Oriented Programming. 9(6):1996;14-27.
52. B. Selic, UML-RL: A Profile for Modeling Complex Real-time Architectures, Draft, ObjectTime Limited, December 1999.
53. Shaw M., Garlan D. Software Architecture: Perspectives on an Emerging Discipline. 1996;Prentice-Hall, Englewood Cliffs.
54. Selic B., Gullekson G., Ward P.P. Real Time Object-Oriented Modelling. 1994;John Wiley and Sons, New York.
55. Sheth A.P., Larson J.A. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys. 22(3):1990;183-236.
56. B. Selic, J. Rumbaugh, Using UML for modeling complex real-time systems. Technical report, ObjectTime Limited, 1998, Available from 〈http://www. objecttime.com/otl/technical/〉.
57. Schmidt D., Stal M., Rohnert F., Buschmann F. Pattern-oriented Software Architecture. Patterns for Concurrent and Networked Objects. vol. 2:2000;John Wiley and Sons, New York.
58. Schobbens P.Y., Saake G., Sernadas A., Sernadas C. Two-level temporal logic for evolving specifications. Information Processing Letters. 83(3):2002;167-172.
59. M.-O. Stehr, A rewriting semantics for algebraic Petri nets, Manuscript, SRI International, March 1998.
60. Szyperski C. Component Software: Beyond Object-Oriented Programming. 1998;Addision-Wesley, Reading, MA.
61. Tresch M. Evolution in object databases. Teubner-Texte zur Informatik. vol. 10:1995;Teubner-Verlag, Stuttgart Leipzig. (in German).
62. Wegner P. Concepts and paradigms of object-oriented programming. OOPS Messenger. 1:1990;7-87.
63. Wermelinger M., Lopes A., Fiadeiro J. Superposing connectors. Proceedings of the 10th International Workshop on Software Specification and Design 2000. 2000;87-94 IEEE Computer Society Press, Silver Spring, MD.
64. A. Wienberg, F. Matthes, M. Boger. Modeling dynamic software components with uml , in: R. France, B. Rumpe (Eds.), UML'99 - The Unified Modeling Language, Beyond the Standard, Proceedings Second International Conference, Fort Collins, CO, USA, 28-30, October 1999, LNCS, vol. 1723, Springer, Berlin, 1999, pp. 204-219.
65. Yonezawa A., Matsuoka S. Metalevel architectures and separation of crosscutting concerns. Proceedings of REFLECTION 2001. vol. 2192:2001;Springer- Verlag, Berlin.