Design templates for collective behavior

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

Volumn 1850, Issue , 2000, Pages 277-295

  Kellomäki, Pertti ^a   Mikkonen, Tommi ^b  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN;

COLLECTIVE BEHAVIOR; DESIGN METHODOLOGY; DESIGN TEMPLATES; DISTRIBUTED REACTIVE SYSTEMS; FORMAL PROPERTIES; GENERIC TEMPLATES; INDIVIDUAL OBJECTS; ITS APPLICATIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 84957810976     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45102-1_14     Document Type: Conference Paper

References (23)

1. The DisCo project WWW page. At URL http://disco.cs.tut.fi/ on the World Wide Web, 1999.
2. R. J. R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10(4):513-554, October 1988.
3. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with a centralized control. Distributed Computing, (3):73-87,1989.
4. Ralph-Johan Back and Joakim von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
5. Lee Blaine, Li-Mei Gilham, Junbo Liu, Douglas R. Smith, and Stephen Westfold. Planware - domain-specific synthesis of high-performance scheduler. In Proceedings of the Thirteenth Automated Software Engineering Conference, pages 270-280. IEEE Computer Society Press, 1998.
6. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. John Wiley & Sons, 1996.
7. J. O. Coplien. Idioms and patterns as architectural literature. IEEE Software, pages 36-42, January 1997.
8. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995.
9. P. Herrmann, G. Graw, and H. Krumm. Compositional specification and structured verification of hybrid systems in cTLA. In Proceedings of the 1st IEEE International Symposium on Object-oriented Real-time distributed Computing - (ISORC’98), pages 335-340. IEEE Computer Society Press, 1998.
10. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, pages 63-71. IEEE Computer Society Press, 1990.
11. R. Juellig, Y. Srinivas, and J. Liu. SPECWARE: An advanced environment for the formal development of complex software systems. Lecture Notes in Computer Science, Vol. 1101, Springer-Verlag, 1996.
12. Pertti Kellomäki. Verification of reactive systems using DisCo and PVS. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME’97: Industrial Applications and Strengthened Foundations of Formal Methods. Lecture Notes in Computer Science, Vol. 1313, pages 589-604. Springer-Verlag, 1997.
13. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Aksit and Satoshi Matsuoka, editors, ECOOP’97—Object-Oriented Programming, 11th European Conference. Lecture Notes in Computer Science, Vol. 1241, pages 220-242. Springer-Verlag, 1997
14. Reino Kurki-Suonio. Fundamentals of object-oriented specification and modeling of collective behaviors. In H. Kilov and W. Harvey, editors, Object-Oriented Behavioral Specifications, pages 101-120. Kluwer Academic Publishers, 1996.
15. Reino Kurki-Suonio and Tommi Mikkonen. Abstractions of distributed cooperation, their refinement and implementation. In B. Kramer, N. Uchihira, P. Croll, and S. Russo, editors, Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pages 94-102. IEEE Computer Society, April 1998.
16. Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
17. Arnulf Mester and Heiko Krumm. Formal behavioural patterns for the tool-assisted design of distributed applications. In Hartmut Konig, Kurt Geihs, and Thomas Preuß, editors, IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 97), pages 235-248. Chapman & Hall, 1997.
18. Tommi Mikkonen. Formalizing design patterns. In B. Werner, editor, Proceedings of the 20th International Conference on Software Engineering (ICSE’98), pages 115-124. IEEE Computer Society, April 1998.
19. Carroll Morgan. Programming from Specifications: Second Edition. Prentice Hall International, Hempstead, UK, 1994.
20. S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence, Vol. 607, pages 748-752. Springer-Verlag, 1992.
21. Sam Owre, John Rushby, Natrajan Shankar, and Friedrich von Henke. Formal verification of fault-tolerant architecures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21(2):107-125, February 1995.
22. D. Smith and E. Parra. Transformational approach to transportation scheduling. In Proceedings of the 8th Knowledge-Based Software Engineering Conference, pages 60-68. IEEE Computer Society Press, September 1993.
23. Kari Systä. A graphical tool for specification of reactive systems. In Proceedings of the Euromicro’91 Workshop on Real-Time Systems, pages 12-19, Paris, France, June 1991. IEEE Computer Society Press.