Building autonomic computing systems based on ontological component models and a controller synthesis algorithm

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Volumn 2003-January, Issue , 2003, Pages 674-680

  Tziallas, G ^a   Theodoulidis, B ^b  

^a TECHNOLOGICAL EDUCATIONAL INSTITUTE OF LAMIA   (Greece)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Conferences; Control system synthesis; Databases; Expert systems; Ontologies

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; CONTROLLERS; DATABASE SYSTEMS; DISCRETE EVENT SIMULATION; ELECTRIC FAULT CURRENTS; EXPERT SYSTEMS; ONTOLOGY; SOFTWARE ENGINEERING; SYNTHESIS (CHEMICAL);

AUTONOMIC COMPUTING SYSTEM; COMPONENT MODEL; CONFERENCES; CONTROLLER SYNTHESIS; EXTERNAL ENVIRONMENTS; SELF ADAPTATION; SELF ORGANIZATIONS; SUPERVISORY CONTROL THEORY;

CONTROL SYSTEM SYNTHESIS;

EID: 36448992805     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2003.1232099     Document Type: Conference Paper

References (13)

1. Y. Wand, and R. Weber, "An ontological model of an information system", IEEE Trans.Softw. Eng. 16, 11 (Nov. 1990), pp. 1282-1292.
2. Mario Bunge, "Treatise on Basic Philosophy: Vol. 3: Ontology I: The Furniture of the World", D. Reidel Publishing Co., Inc., New York, 1977.
3. Mario Bunge, "Treatise on Basic Philosophy: Vol. 4: Ontology II: A World of Systems", D. Reidel Publishing Co., Inc., New York, 1979.
4. Y. Wand, B.C. Storey, and R.Weber, "An Ontological Analysis of the Relationship Construct in Conceptual Modeling", ACM Transactions on Database Systems, Vol. 24, No. 4, December 1999.
5. David Harel. Statecharts: "A visual formalism for complex systems", Science of Computer Programming, 8:231-274, 1987.
6. G. Booch, I. Jacobsen, and J. Rumbaugh. "Unified Modelling Language User Guide", Addison Wesley, 1997.
7. D. Harel. "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Transactions on Software Engineering, 16(4):403-414, 1990.
8. ObjecTime Limited, http://www.objectime.on.ca.
9. Rational Software Corporation, http://www.rational.com.
10. P.J. Ramadge and W.M. Wonham. "Supervisory control of a class of discrete event processes", SIAM J. Control Optim., January 1987.
11. P. Ramadge and W. Wonham. "The control of discrete event systems", Proceedings of the IEEE, January 1998.
12. W.M. Wonham. "Notes on Control of Discrete-Event Systems". Available on-line at http://www.control.utoronto.ca/.
13. Z.H. Zhang. "Smart TCT: An Efficient Algorithm for Supervisoiy Control Design". M.A.Sc. Thesis, ECE Department, University of Toronto, April 2001. Available online at http://www.control.utoronto.ca/.