Automatic synthesis and deployment of intensional Kahn process networks

Communications in Computer and Information Science

Volumn 63, Issue , 2009, Pages 73-87

  Peralta, Manuel ^a   Mukhopadhyay, Supratik ^b   Bharadwaj, Ramesh ^c  

^a UTAH STATE UNIVERSITY   (United States)

^b LOUISIANA STATE UNIVERSITY   (United States)

^c NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION REQUIREMENTS; ASYNCHRONOUS FRAMEWORK; AUTOMATIC SYNTHESIS; CONTROLLING DEVICES; DEDUCTIVE SYSTEMS; DISTRIBUTED AGENTS; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED NETWORKS; EXTERNAL RESOURCES; INFORMATION FLOWS; INTERFACE SPECIFICATION; KAHN PROCESS; KAHN PROCESS NETWORKS; LOGICAL SPECIFICATIONS; MANAGEMENT POLICY; MISSION CRITICAL APPLICATIONS; MODEL DRIVEN APPROACH; MULTI CORE; NETWORKED SYSTEMS; NEXT-GENERATION GRIDS; QOS GUARANTEE; QOS REQUIREMENTS; RAPID DEVELOPMENT; RELIABLE DISTRIBUTED SYSTEMS; SECURITY POLICY; SOFTWARE RESOURCES; SPECIFICATION LOGIC; TRACKING SYSTEM;

EMBEDDED SOFTWARE; FORMAL LOGIC; GRID COMPUTING; MESH GENERATION; NETWORK SECURITY; QUALITY OF SERVICE; REAL TIME CONTROL; SPECIFICATIONS; SYNTHESIS (CHEMICAL);

EMBEDDED SYSTEMS;

EID: 77952273927     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-10549-4_10     Document Type: Conference Paper

References (41)

1. Montague, R.: Pragmatics and Intensional Logic. Synthese 22, 68-94 (1970)
2. Wadge, W.W.: Lucid, the Dataflow Programming Language. Academic Press, London
3. Ditu, G.: The Programming Language TransLucid, PhD Dissertation, University of New South Wales (2007)
4. Paquet, J., Wu, A., Grogono, A.: Towards a Framework for the General Intensional Programming Compiler in the GIPSY. In: Proceedings of OOPSLA 2004 (2004)
5. Faustini, A.: Towards an Operational Semantics of Pure Dataflow. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.140, pp. 212-224. Springer, Heidelberg (1982)
6. Loo, T.B., Condie, T., Garofalakis, M.N., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative Networking: Language, Execution, and Optimization. In: Proceedings of SIGMOD 2006 (2006)
7. Yau, S., et al.: Reconfigurable Context-Sensitive Middleware for Pervasive Computing. IEEE Pervasive Computing 1(3), 33-40 (2002)
8. Mikic-Rakic, M., Medvidovic, N.: Adaptable Architectural Middleware for Programmingin-the-Small-and-Many. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.2672, pp. 162-181. Springer, Heidelberg (2003)
9. Ranganathan, A., Campbell, R.H.: A Middleware for Context-Aware Agents in Ubiquitous Computing Environments. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.2672, pp. 143-161. Springer, Heidelberg (2003)
10. Popovici, F.A., Alonso, G.: A Proactive Middleware Platform for Mobile Computing. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.2672, pp. 455-473. Springer, Heidelberg (2003)
11. Lang, U.: Access Policies in Middleware, PhD Thesis. University of Cambridge (2003)
12. Abdelzaher, T., Blum, B., Cao, B.Q., Chen, Y., Evans, D., George, J., George, S., Gu, L., He, T., Krishnamurthy, S., Luo, L., Son, S., Stankovic, J., Stoleru, R., Wood, A.: Enviro-Track: Towards an Environmental Computing Paradigm for Distributed Sensor Networks. In: The 24th International Conference on Distributed Computing Systems. Tokyo, Japan, March 23-26 (2004)
13. Yau, S., Davulcu, H., Mukhopadhyay, S., Huang, D., Yao, Y.: Adaptable, Situation-aware, Secure Service-based (AS3) Systems. In: Proceedings of the IEEE International Symposium Object-oriented, Real-time, Distributed Computing, ISORC 2005 (2005)
14. Bharadwaj, R., Mukhopadhyay, S., Padh, N.: Service Composition in a Secure Agentbased Architecture. In: Proceedings of the IEEE International Conference on E-Technologies, E-commerce and E-Service (EEE 2005), pp. 787-788 (2005)
15. Internet2 Medical Middleware (MedMid) Working Group: Draft Workplan Scenarios (2003)
16. Sirin, E., Hendler, J.A., Parsia, B.: Semi-automatic Composition of Web Services using Semantic Descriptions. In: WSMAI 2003, pp. 17-24 (2003)
17. Duan, Z., Bernstein, A.J., Lewis, P.M., Lu, S.: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. In: ICWS 2004, pp. 734-737 (2004)
18. Necula, G.C.: Enforcing Security and Safety with Proof-Carrying Code. Electr. Notes Theor. Comput. Sci. 20 (1999)
19. Li, B., Nahrstedt, K.: A Control-based Middleware Framework for Quality of Service Adaptations. IEEE Journal on Selected Areas in Communication 17(9) (September 1999)
20. Roemer, K., Kasten, O., Mattern, F.: Middleware Challenges in Wireless Sensor Networks. Mobile Computing and Communications Review 3(2) (2002)
21. Curbera, F., et al.: Business Process Execution Language for Web Services (2002)
22. Christensen, E., et al.: The Web Services Description Language (WSDL), IBM
23. Berners-Lee, T., et al.: The semantic web, Scientific American (May 2003)
24. Ankolekar, A., Huch, F., Sycara, K.: Concurrent Execution Semantics for DAML-S with Subtypes. In: Proceedings of The First International Semantic Web Conference, ISWC (2002)
25. Newcomer, E.: Understanding Web Services. Addison Wesley, Reading (2002)
26. Endrei, M., Ang, J., Arsanjani, A., Chua, S., Comte, P., Krogdahl, P., Luo, M., Newling, T.: Patterns: Service-oriented Architecture and Web Services. IBM Redbook, ISBN 073845317X (2004)
27. Bell, D., La Padula, L.: Secure Computer Systems: Unified Exposition and Multics Interpretation, Technical Report, Mitre Corporation (1975)
28. http://www.upnp.org
29. Blackburn, P., de Rijke, M., Venema, Y.: A course in modal logic. Cambridge University Press, Cambridge
30. Barendregt, H.: The lambda calculus, its syntax and semantics. North-Holland, Amsterdam (1984)
31. Milner, A.J.R.J.: Communication and Concurrency. Cambridge University Press, Cambridge
32. Charatonik, W., Dal-Zilio, S., Gordon, A.D., Mukhopadhyay, S., Talbot, J.M.: Model Checking Mobile Ambients Theoretical Computer Science (1-3), 277-331 (2003)
33. Ponnekanti, S., Fox, A.: SWORD: A Developer Toolkit for Web Service Composition. In: Proceedings of WWW 2002 (2002)
34. http://www.carematix.com/
35. Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, Cambridge, ISBN 0-521-77911-1
36. http://www.ni.com/labview/
37. Brachman, R.J., Levesque, H.J.: Readings in Knowledge Representation. Morgan Kaufmann, Los Altos (1985)
38. Wadler, P.: Comprehending Monads. In: 6'th Conference on Lisp and Functional Programming, vol.2, pp. 461-493 (1992)
39. Baumann, A., Heiser, G., Appavoo, J., Da Silva, D., Krieger, O., Wisniewski, R.W., Kerr, J.: Providing Dynamic Update in an Operating System. In: USENIX Annual Technical Conference, General Track, pp. 279-291 (2005)
40. Fagin, R., Halpern, J., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge
41. Kahn, G.: The Semantics of a Simple Language for Parallel Programming. In: Proceedings of IFIP Information Processing (1974)