Temporal and modal logic based event languages for the development of reactive application systems

CEUR Workshop Proceedings

Volumn 412, Issue , 2008, Pages

  Ortner, Erich ^a   Schneider, Tobias ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Event modeling; Eventdriven architectures; Interdisciplinarity; Language critical development of application systems; Modal logic; Temporal logic; Web 2.0

Indexed keywords

APPLICATION SYSTEMS; EVENT MODEL; EVENT-DRIVEN ARCHITECTURES; INTERDISCIPLINARITY; MODAL LOGIC; WEB 2.0;

ARCHITECTURE; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); TEMPORAL LOGIC;

INTERNET;

EID: 84885604756     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Ortner, E.; Heinemann, E.: Memorandum zum Verhältnis von System- und Anwendungsinformatik: Diskussionspapier sieht Organisationsprozesse als das Fundament einer Neuausrichtung der Informatik, in: Computerzeitung Online vom 16. Juli 2007.
2. Ortner, E.: Sprachbasierte Informatik - Wie man mit Wörtern die Cyber-Welt bewegt. Edition am Gutenbergplatz, Leipzig (2005)
3. Wittgenstein, L.: Tractatus logico-philosophicus, Suhrkamp, Frankfurt a. Main (2003)
4. Harel, D., Pnuelli, A.: On the Development of Reactive Systems. In: NATO ASI Series, Vol. F13 Logics and Models of Concurrent Systems, Springer, Heidelberg (1985)
5. McNeile, A., Roubtsova, E.: Programming in Protocols: A Paradigm of Behavioural Programming. In: 3th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 23-30. Springer, Heidelberg (2008)
6. Lehmann, R.: Integrierte Prozessmodelle mit Aris. dpunkt, Heidelberg (2008)
7. Rommelspacher, J.: Ereignisgetriebene Architekturen in: Wirtschafsinformatik 4, pp. 314317 (2008)
8. Mittelstraß, J.: Enzyklopädie Philosophie und Wissenschaftstheorie, Band 2. Metzler, Stuttgart (2005)
9. Chandy, K.: Event-Driven Applications: Costs, Benefits and Design Approaches. Presentation at Gartner Application Integration and Web Service Summit 2006, California Institute of Technology (2006)
10. Krafzig, D., Banke, K., Slama, D.: Enterprise SOA, Prentice Hall, New Jersey (2005)
11. McCarthy, R., Dayal, U.: The architecture of an active database management system. In 1th Conference on Management of Data, ACM SIGMOD, pp 215-224. Portland (1989)
12. Ortner, E.: Language-critical Enterprise and Software Engineering. In: Proceedings of the Fourteenth Americans Conference of Information Systems, Toronto (2008)
13. Lorenzen, P.: Lehrbuch der konstruktiven Wissenschaftstheorie, BI-Wissenschaftsverlag, Mannheim (1987)
14. Kamlah, W., Lorenzen, P.: Logische Propädeutik, Metzler, Stuttgart (1992)
15. Rescher N., Urquhart A., Temporal Logic, Springer, New York (1971)
16. Hughes George E., Cresswell Max J.: A new introduction to modal logic, Routledge, London (1996)
17. Mittelstraß, J.: Der Flug der Eule: Von der Vernunft der Wissenschaft und der Aufgabe der Philosophie, Frankfurt a.M. (1997)
18. IBM Academic initiative, http://www-03.ibm.com/press/us/en/pressrelease/ 21581.wss
19. Ortner/Heinemann: Organizational Computer Science: An Interdisciplinary Approach to Understand Organizational Engineering