A component-based Petri net model for specifying and validating cooperative information systems

Data and Knowledge Engineering

Volumn 42, Issue 2, 2002, Pages 143-187

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Co NETS; Distributed information systems; Object Petri nets; Rewriting logic; Specification validation

Indexed keywords

ANIMATION; FORMAL LOGIC; INFORMATION MANAGEMENT; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SEMANTICS;

DISTRIBUTED INFORMATION SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0036680803     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(02)00025-3     Document Type: Article

References (61)

1. Specifying distributed and dynamically evolving information systems using an extended Co-NETS approach
2. Towards a three-level methodology for developing cooperative information systems
3. Prototyping object specifications using the Co-NETS approach
4. On the specification and validation of cooperative information systems using an extended maude
5. Towards a new semantics for mondel specifications based on the CO-Nets approach
6. Towards an object petri nets model for specifying and validating distributed information systems
7. An appropriate semantics for distributed active object-oriented databases on the basis of the Co-NETS approach
8. Cooperative information systems modelling and validation using the Co-NETS approach: The chessmen making shop case study
9. Specifying and validating train control systems using an appropriate component-based Petri nets model
10. Inheritance and concurrency in CLOWN
11. Class orientation and inheritance in modular algebraic nets
12. OBJSA nets: A class of high level nets having objects as domains
13. Semantics frameworks for a class of modular algebraic nets
14. Protocol specification using ECATNets
15. Comparison of object-oriented formal methods
16. CO-OPN/2: A concurrent object-oriented formalism
17. Reflection and strategies in rewriting logic
18. Evolving logical specification in information systems
19. Rewrite systems
20. Logics for specifying concurrent information systems
21. Objects and their specification
22. An Oxford order sorted algebra
23. Concurrent term rewriting as a model of computation
24. Towards an algebraic semantics for the object paradigm
25. Extending object-oriented systems with roles
26. Aggregation in a behavior oriented object model
27. Coloured Petri nets: Basic concepts
28. Troll-A language for object-oriented specification of information systems
29. From coloured petri nets to object Petri nets
30. The consistent use of names and polymorphism in the definition of objects Petri nets
31. Towards a reflective implementation of object petri nets
32. Rewriting logic as a logical and semantic framework
33. Analysis of inheritance anomaly in concurrent object-oriented languages
34. An object-oriented Petri-net modeling tool and abstraction mechanisms for cooperative systems
35. Conditional rewriting logic as a unified model for concurrency
36. A logical theory of concurrent objects and its realization in the maude language
37. Solving the inheritance anomaly in concurrent object-oriented programming
38. Research directions in rewriting logic
39. Multi-agent-systems based on coloured Petri nets
40. Information system behavior specification by High-Level Petri Nets
41. Income/star: Methodology and tools for the development of distributed information systems
42. Semantic data models
43. An object-oriented analysis and design notation for concurrency distributed systems
44. Petri nets
45. Petri nets and abstract data types
46. Evolving object specifications
47. Communicative and cooperative nets
48. Life-cycle inheritance: A petri-net-based approach
49. Concepts and paradigms of object-oriented programming