Qualifications
Research Interests
- information models and specification languages: object, ontological, process and workflow models
- integration and transformations of heterogeneous information models
- formal semantics of object and process models
- methods and tools for information model integration and compositional development of information systems
Links related to B-technology and Abstract Machine Notation
Publications
Kalinichenko L. A., Stupnikov S. A. OWL as Yet Another Data Model to be Integrated. Advances in Databases and Information Systems: Proc. II of the 15th East-European Conference. - Vienna: Austrian Computer Society, 2011. - P. 178-189.
Kalinichenko L. A., Stupnikov S. A. RIF Framework for Logic Dialects: Analysis and a Case Study. Proc. of the Second Symposium on Ontological Modeling. – Moscow: IPI RAS, 2011. – P. 123-150. (In Russian)
Kalinichenko L. A., Stupnikov S. A. Analysis of motivation, objectives and approaches of the project for the unification of the rule based languages. Proc. of the Second Symposium on Ontological Modeling. – Moscow: IPI RAS, 2011. – P. 79-122. (In Russian)
Vovchenko A. E., Zakharov V. N., Kalinichenko L. A., Kovalyov D. Yu., Ryabukhin O. V., Skvortsov N. A., Stupnikov S. A. Multilayer Specifications in Conceptual and Ontological Modeling. Proc. of the 13th Russian Conference on Digital Libraries RCDL'2011. -- CEUR Workshop Proceedings, 2011. – Vol. 803. – P. 17-25. (In Russian)
Sukhomlin V.A., Afanasiev A.P., Kalinichenko L.À., Posypkin M.A., Stupnikov S.A., Sukhoroslov O.V. On Professional Training and Education in the Field of Grid Technologies and Distributed Computing. Distributed Computing and Grid-Technologies in Science and Education: Proceedings of the 4th International Conference. – Dubna: JINR, 2010. -- P. 284-289.
Vovchenko A. E., Zakharov V. N., Kalinichenko L. A., Kovalyov D. Yu., Ryabukhin O. V., Skvortsov N. A., Stupnikov S. A. From specifications of requirements to conceptual schema. Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 375--381.
Stupnikov S. A., Skvortsov N. A. A mutual mapping of the canonical information model and OWL. Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 392-398.
Stupnikov S. A. A semantic transformation of the canonical information model into a formal specification langage for the refinement verification. Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 383--391.
Vovchenko A.E., Kalinichenko L.A., Stupnikov S.A. Mediation Based Semantic Grid. Distributed Computing and Grid-Technologies in Science and Education: Proceedings of the 4th Internetional Conference. – Dubna: JINR, 2010. -- P. 309-318.
Stupnikov S.A., Kalinichenko L.A. Methods for automated generation of transformations of information models. The Systems and Means of Informatics, Issue 19. -- M.: Nauka, 2009. -- P. 34-62. (In Russian)
Stupnikov S.A., Kalinichenko L.A., Methods for Semi-automatic Construction of Information Models Transformations. Proc. of the 13th East-European Conference Advances in Databases and Information Systems, workshop Model – Driven Architecture: Foundations, Practices and Implications (MDA). - Riga: Riga Technical University, 2009. – P. 432-440.
Vovchenko A.E., Zakharov V.N., Kalinichenko L.A., Stupnikov S.A., Skvortsov N.A. Subject Mediators in a Hybrid Grid-Infrastructure of Virtual Observatories for Problem Solving over Multiple Distributed Heterogeneous Information Resources. Modern Technologies and IT Education: Proc. of the International Conference. -- Moscow: Moscow State University, 2009. -- P. 762-770. (In Russian)
Kalinichenko L.A., Stupnikov S.A. Heterogeneous information model unification as a pre-requisite to resource schema mapping. A. D’Atri and D. Sacca (eds.), Information Systems: People, Organizations, Institutions, and Technologies (Proc. of the V Conference of the Italian Chapter of Association for Information Systems itAIS). -- Berlin-Heidelberg: Springer Physica Verlag, 2009. -- P. 373-380.
Briukhov D., Kalinichenko L., Martynov D., Skvortsov N., Stupnikov S., Vovchenko A., Zakharov V., Zhelenkova O. Application driven mediation middleware grid-infrastucture for problem solving over multiple heterogeneous distributed information resources. Distributed computing and Grid technologies in science and education: Proc. of the International Conference GRID’2008. -- Dubna: JINR, 2008. -- P. 330-336. (In Russian)
Briukhov D., Kalinichenko L., Martynov D., Skvortsov N., Stupnikov S., Vovchenko A., Zakharov V., Zhelenkova O. Application driven mediation middleware of the Russian virtual observatory for scientific problem solving over multiple heterogeneous distributed information resources. Scientific Information for Society – from Today to the Future: Proc. of the 21st CODATA Conference. -- 2009. -- P. 80-85.
Skvortsov N.A., Stupnikov S.A. Application of upper level ontology for mapping of information models. Proc. of the Tenth Russian Conference on Digital Libraries RCDL'2008. -- Dubna: JINR, 2008. -- P. 122-127. (In Russian)
Kalinichenko L.A., Stupnikov S.A. Constructing of Mappings of Heterogeneous Information Models into the Canonical Models of Integrated Information Systems. Advances in Databases and Information Systems: Proc. of the 12th East-European Conference. -- Pori: Tampere University of Technology, 2008. -- P. 106-122.
Briukhov D.O., Vovchenko A. E., Zakharov V.N., Zhelenkova O. P., Kalinichenko L.A., Martynov D.O., Skvortsov N.A., Stupnikov S.A. The Middleware Architecture of the Subject Mediators for Problem Solving over a Set of Integrated Heterogeneous Distributed Information Resources in the Hybrid Grid-Infrastucture of Virtual Observatories Informatics and Applications. -- 2008. -- V. 2, Issue 1. -- P. 2--34. (In Russian)
Zakharov V.N. , Kalinichenko L.A., Sokolov I.A., Stupnikov S.A. Development of Canonical Information Models for Integrated Information Systems. Informatics and Applications. -- 2007. -- V. 1, Issue 2. -- P. 15--38. (In Russian)
Kalinichenko L.A., Stupnikov S.A., Martynov D.O. SYNTHESIS: a Language for Canonical Information Modeling and Mediator Definition for Problem Solving in Heterogeneous Information Resource Environments. Moscow: IPI RAN, 2007. - 171 p.
Stupnikov S.A., Briukhov D.O. UML and OCL representation in canonical information model. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 120--129. (In Russian)
Kalinichenko L. A., Martynov D.O., Stupnikov S.A. Query rewriting using views in a typed mediator environment. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 152--182. (In Russian)
Stupnikov S.A. Formal semantics of canonical information object model core. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 40--68. (In Russian)
Stupnikov S.A. Mapping of canonical model core specifications in Abstract Machine Notation. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 69--95. (In Russian)
Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Process canonical model and its formal interpretation. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 130--151. (In Russian)
Stupnikov S.A. Automation of refinement verification in information systems compositional design. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 96--119. (In Russian)
Kalinichenko L.A., Briukhov D.O., Martynov D.O., Skvortsov N.A., Stupnikov S.A. Mediation Framework for Enterprise Information System Infrastructures. Proc. of the 9th International Conference on Enterprise Information Systems ICEIS 2007. -- Funchal, 2007. -- Volume Databases and Information Systems Integration. -- P. 246--251.
Kalinichenko L.A., Stupnikov S.A., Vovchenko A.E., Zakharov V.N., Zhelenkova O.P. Russian Virtual Observatory Community Centre for Scientific Problems Solving over Multiple Distributed Information Sources. Proc. of the Eighth Russian Conference on Digital Libraries RCDL'2006, Suzdal. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2006. -- P. 120–-129.
Stupnikov S. A. Modeling of compositional refining specifications. Ph. D. Thesis. -- Moscow: IPI RAN, 2006. -- 195 p. (In Russian)
Stupnikov S.A., Kalinichenko L.A., Bressan S. Interactive discovery and composition of complex Web services. Advances in Databases and Information Systems: Proc. of the 10th East European Conference. LNCS 4152. -- Berlin-Heidelberg: Springer-Verlag, 2006. -- P. 216--231.
Zemtsov N.A., Stupnikov S.A., Kalinichenko L.A. Canonical Process Model Synthesis for Interoperable Infrastructures of Information Systems. The Problems and Means of Informatics: Theses of the II Scientific Session of IPI RAN. -- Moscow: IPI RAN, 2005. -- P. 153--156. (In Russian)
Stupnikov S.A., Kalinichenko L.A. Formal Semantics of the Canonical Information Model in Compositional Infrastructure of Distributed Information Systems. The Problems and Means of Informatics: Theses of the II Scientific Session of IPI RAN. -- Moscow: IPI RAN, 2005. -- P. 151--153. (In Russian)
Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Extensible Canonical Process Model Synthesis Applying Formal Interpretation. Advances in Databases and Information Systems: Proc. of the 9th East European Conference. LNCS 3631. -- Berlin-Heidelberg: Springer-Verlag, 2005. -- P. 183--198.
Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Synthesis of the Canonical Models for the Integration of Heterogeneous Information Resources. ̀.: IPI RAN, 2005. -- 87 p. (In Russian)
Zemtsov N.A., Stupnikov S.A. Formal modeling of process specifications for compositional development of workflows. The Systems and Means of Informatics, Issue 14. -- M.: Nauka, 2004. -- P. 186-198. (In Russian)
Kalinichenko L.A., Martynov D.O., Stupnikov S.A. Query rewriting using views in a typed mediator environment. Advances in Databases and Information Systems: Proc. of the 8th East European Conference. LNCS 3255. -- Berlin-Heidelberg: Springer-Verlag, 2004. -- P. 37-53.
Briukhov D.O., Kalinichenko L.A., Stupnikov S.A. Compositional approach for heterogeneous sources registration at a subject mediator. Emerging Database Research in Eastern Europe: Proc. of the Pre-Conference Workshop of VLDB 2003. -- Cottbus: Brandenburg University of Technology, 2003. -- P. 5-11.
Briukhov D.O., Zakharov V.N., Kalinichenko L.A., Stupnikov S.A., Podkolodny N.L. Personalization of Subject Mediator in the Gene Expression Regulation Domain. Proc. of the Fifth Russian Conference on Digital Libraries RCDL'2003. -- St.-Petrsburg: St.-Petrsburg State University, 2003. -- P. 96--98. (In Russian)
Stupnikov S.A.,Kalinichenko L.A., Jin Song DONG Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. Advances in Databases and Information Systems: Proc. of the Sixth East-European Conference. Vol. 2: Research Communications. -- Bratislava: Slovak University of Technology, 2002. -- P. 206-215.
Briukhov D.O., Kalinichenko L.A., Skvortsov N.A., Stupnikov S.A. Value Reconciliation in Mediators of Heterogeneous Information Collections Applying Well-Structured Context Specifications Databases and Information Systems II: Proc. of the Fifth International Baltic Conference on Databases and Information Systems BalticDB&IS'2002. -- Dordrecht: Kluwer Academic Publishers, 2002. -- P. 15--28.
Stupnikov S.A. Mapping of Specification Canonical Model to Formal Notation for Refining Specifications Modelling. Proc. of the XXIV Conference of Young Scientists, Faculty of Mechanics and Mathematics, M. V. Lomonosov Moscow State University. -- Moscow: Center of Applied Research, Faculty of Mechanics and Mathematics, MSU. -- V. II. -- P. 169--172. (In Russian)
Stupnikov S.A., Kalinichenko L.A. Forming the Metainformation Repository on the Base of Canonical Model Specifications Problems of Programming: Special Issue. -- Proc. of the Third International Scientific and Practical Conference on Programming UkrPROG'2002. -- Kiev: Publishing House "Akadempereodika" of NAS of Ukraine, 2002. -- N 1-2. -- P. 301--308. (In Russian)
|