Stepwise and rigorous development of evolving concurrent information systems: From semi-formal objects to sound evolving components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2817, Issue , 2003, Pages 60-70

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FORMAL SPECIFICATION; OBJECT ORIENTED PROGRAMMING; PARTIAL DISCHARGES; PETRI NETS; REUSABILITY; SPECIFICATIONS;

ALGEBRAIC PETRI NETS; BANKING SYSTEMS; BEHAVIOURAL CHANGES; COMPLEX INFORMATION SYSTEMS; COMPONENT SPECIFICATION; INCREMENTAL METHODOLOGY; REWRITING LOGIC; SYMBOLIC COMPUTATION;

INFORMATION SYSTEMS;

EID: 35248840931     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45242-3_7     Document Type: Article

References (11)

1. N. Aoumeur. Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. In G. Saake, K. Schwartz, and C Tuerker, editors, Proc of the 8th FMoLDO'99, Germany, volume 1773 of LNCS, pages 91-111, 2000.
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. A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering, 42(2):143-187, August 2002.
4. G. Booch, I. Jacobson, and J. Rumbaugh, editors. Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley, 1998.
5. 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.
6. J. Meseguer. Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science, 96:73-155, 1992.
7. J. Meseguer. Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. In ECOOP'93 - Object-Oriented Programming, volume 707 of Lecture Notes in Computer Science, pages 220-246. Springer Verlag, 1993.
8. M. P. Papazoglou and G. Schlageter, editors. Cooperative Information Systems : Trends and Directions. Academic Press, Boston, 1998.
9. B. Selic. UML-RL: A Profile for Modeling Complex Real-time Architectures. Draft, ObjectTime Limited, Dec. 1999.
10. C. Szyperski. Component Software : Beyond Object-Oriented Programming. Addision-Wesley, 1998.
11. 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.