Abstract
This paper presents the core of Synergy; an implemented visual multi-paradigm programming language based on executable Conceptual Graph (CG). Execution is based on a CG-activation mechanism for which concept lifecycle, relation propagation rules and referent instantiation constitute the key elements. In this paper we define the activation mechanism and the CG structure (concept, relation, context, co-reference) used in Synergy as well as the concept type definition, the encapsulation mechanism and the knowledge base of Synergy. Examples are given to illustrate some aspects of the language. Hybrid object-oriented and concurrent object-oriented use of Synergy are presented in other papers [9, 10].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bos C, B. Botella, and P. Vanheeghe, Modeling and Simulating Human Behaviors with Conceptual Graphs, in Proc. Of the Fifth International Conference on Conceptual Structures, ICCS’97, Springer (1997)
Brauer W., W. Reisig and G. Rozenberg (eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency, Springer-Verlag (1986)
Cyre W. R., Executing Conceptual Graphs, in Proc. Of the 6th International Conference on Conceptual Structures, ICCS’98, Springer (1998)
Ellis G., Object-Oriented Conceptual Graphs, in Proc. of the Third Intern. Conf. on Conceptual Structures, ICCS’95, Santa Cruz, CA, USA (1995)
Esch I, Contexts, Canons and Coreferent Types, Proc. Second International Conference on Conceptual Structures, ICCS’94, College Park, Maryland (1994)
Hee K. M, P. M. P. Rambags and P. A. C. Verkoulen, Specification and Simulation with ExSpect, in Lauer (Ed), Functional Programming, Concurrency, Simulation and Automated Reasoning, Springer-Verlag (1993)
Kabbaj A. and C. Frasson, Dynamic CG: Toward a General Model of Computation, Proc. Third International Conference on Conceptual Structures, ICCS’95, Santa Cruz, CA (1995)
Kabbaj A., Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels, Ph.D Thesis, DIRO, Université de Montréal, June (1996)
Kabbaj A., Rouane K. and Frasson C, The use of a semantic network activation language in an ITS project, Third International Conference on Intelligent Tutoring Systems, ITS’96, Springer-Verlag (1996)
Kabbaj A., Synergy as an Hybrid Object-Oriented Conceptual Graph Language, Seventh International Conference on Conceptual Structures, ICCS’99 this volume.
Lakos C, From Coloured Petri Nets to Object Petri Nets, in Michelis G. and M. Diaz (Eds.), Application and Theory of Petri Nets, Springer (1995)
Liddle S. W., D. W. Embley and S. N. Woodfield, A Seamless Model for Object-Oriented System development, Bertino E. and S. Urban (Eds.), Object-Oriented Methodologies and Systems, Springer-Verlag (1994)
Lukose D., Executable conceptual structures, Proc. First International Conference on Conceptual Structures, ICCS’93, Quebec City, Canada (1993)
Lukose D., Complex Modelling Constructs in MODEL-ECS, in Proc. Of the Fifth International Conference on Conceptual Structures, ICCS’97, Springer (1997)
Mineau G. W., From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs, in Proc. Of the 6th International Conference on Conceptual Structures, ICCS’98, Springer (1998)
Raban and Delugach, Animating Conceptual Graphs, in Proc. Of the Fifth International Conference on Conceptual Structures, ICCS’97, Springer (1997)
Shlaer S. and S. J. Mellor, Object Lifecycles-Modeling the World in States, Prentice-Hall (1992)
Sowa J. F., Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley(1984)
Sowa J. F., Relating Diagrams to Logic, Proc. First International Conference on Conceptual Structures, ICCS’93, Quebec City, Canada(1993a)
Sowa J. F., Logical foundations for representing object-oriented systems, J. of Experimental and Theoretical AI, 5 (1993b)
Sowa J. F., Conceptual Graph Standard and Extensions, in Proc. Of the 6th International Conference on Conceptual Structures, ICCS’98, Springer (1998)
Spinner M. P., Improving Project Management Skills and Techniques, Prentice-Hall (1989)
Thakkar S. S. (ed.), Selected Reprints on Dataflow and Reduction Architectures, IEEE Computer Society Press (1987)
Torn A., Systems Modelling and Analysis Using Simulation Nets, in C. A. Kulikowski and al. (eds.), AI and ES Languages in Modelling and Simulation, North-Holland (1988)
Zouaq A., Modélisation en Synergy d’un système multi-agents, Mémoire de fin d’étude, INSEA, Rabat, Morocco (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kabbaj, A. (1999). Synergy : A Conceptual Graph Activation-Based Language. In: Tepfenhart, W.M., Cyre, W. (eds) Conceptual Structures: Standards and Practices. ICCS 1999. Lecture Notes in Computer Science(), vol 1640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48659-3_13
Download citation
DOI: https://doi.org/10.1007/3-540-48659-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66223-5
Online ISBN: 978-3-540-48659-6
eBook Packages: Springer Book Archive