Qualifications
Research Interests
Main research iterests and directions are: - object models and specification languages, process models and workflow models
- integration of heterogeneous information models
- formal semantics of object and process models in first order predicate logic as well as in Abstract Machine Notation (AMN)
- developing methods and tools for apllying B-Technology for formal verification of compositional development of information systems
Links related to AMN and B-technology
Publications
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)
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)
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., 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., 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.
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)
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)
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.
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.
Stupnikov S.A. Modeling of compositional refining specifications. Ph. D. Thesis. -- Moscow: IPI RAN, 2006. -- 195 p. (In Russian)
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.
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.
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., 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. 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)
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.,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., 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)
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.
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.
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., 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)
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.
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)
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. 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)
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)
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.
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)
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, 2004. -- 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.
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.
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)
|