Applications of rule-based programming to verification and transformation of XML

• Project/Area Number: 20500025
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: University of Tsukuba
• Principal Investigator: MARIN Mircea University of Tsukuba, 大学院・システム情報工学研究科, 講師 (60396603)
• Co-Investigator(Kenkyū-buntansha): IDA Tetsuo 筑波大学, 大学院・システム情報工学研究科, 教授 (70100047) ; MINAMIDE Yasuhiko 筑波大学, 大学院・システム情報工学研究科, 准教授 (50252531)
• Project Period (FY): 2008 – 2010
• Project Status: Completed (Fiscal Year 2010)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2009: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2008: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: XML / ルールベースプログラミング / 情報基礎 / ソフトウェア開発効率化・安定化 / ソフトウェア工学

Research Abstract

We studied regular hedge languages (RHLs) as specification models of valid XML documents, and the possibility to use nonlinear regular hedge expression patterns to define a pattern-based query language for XML. We proposed new representations of RHLs, and algorithms for the computation of intersection, quotient, product derivative, and factors of RHLs. We have shown how to use RHL factorization to define a sound and complete type inference algorithm for the tuple of all variables in a nonlinear regular hedge expression pattern.

Research Products

• [Journal Article] On the Computation of Quotients and Factors of Regular Languages. (2010)
  • Author(s): M.Marin, T.Kutsia.
  • Journal Title: Frontiers of Computer Science in China. 4(2) Pages: 173-184
  • Peer Reviewed
• [Journal Article] Regular Hedge Language Factorization Revisited. (2010)
  • Author(s): M.Marin, T.Kutsia.
  • Journal Title: Proceedlngs of the 14^<th> Intl.Conference on Developments in Language Theory (DLT 2010).(Sheng Yu, editor)(London, Ontario, Canada.LNCS 6224) Springer Pages: 328-339
  • Peer Reviewed
• [Journal Article] Type inference for regular expression pattern matching. (2010)
  • Author(s): M.Marin, A.Craciun.
  • Journal Title: Procs.of SYNASC' 2010, Timisoara, Romania(T.Ida, V.Negru, T.Jebelean, D.Petcu, S.Watt, D.Zaharie, editors)(IEEE Computer Society) Pages: 366-276
  • Peer Reviewed
• [Journal Article] Factorizations of regular hedge languages. (2010)
  • Author(s): M.Marin, A.Craciun.
  • Journal Title: Procs.of SYN-ASC' 2009. Timisoara, Romania(S.Watt, V.Negru, T.Ida, T.Jebelean, D.Petcu, D.Zaharie, editors)(IEEE Computer Society.)
  • Peer Reviewed
• [Journal Article] Strategies in PpLog. (2010)
  • Author(s): B.Dundua, T.Kutsia, M.Marin.
  • Journal Title: PNTCS 15 Pages: 32-43
  • Peer Reviewed
• [Journal Article] Order-Sorted Unification with Regular Expression Sorts (2010)
  • Author(s): Temur Kutsia, Mircea Marin
  • Journal Title: Leibniz International Proceedings in Informatics(LIPIcs) Volume: 6 Pages: 193-208
  • Peer Reviewed
• [Journal Article] Regular Hedge Language Factorization Revisited (2010)
  • Author(s): Mircea Marin, Temur Kutsia
  • Journal Title: Lecture Notes in Computer Science Volume: 6226 Pages: 329-339
  • Peer Reviewed
• [Journal Article] Type Inference for Regular Expression Pattern Matching (2010)
  • Author(s): Mircea Marin, Adrian Craciun
  • Journal Title: IEEE Computer Society Proceedings of 12^th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pages: 366-376
  • Peer Reviewed
• [Journal Article] On the computation of quotients and factors of regular languages (2010)
  • Author(s): Mircea Marin, Temur Kutsia
  • Journal Title: Frontiers of Computer Science in China Springer Volume: 4(2) Pages: 173-184
  • Peer Reviewed
• [Journal Article] Linear Systems for Regular Hedge Languages (2010)
  • Author(s): Mircea Marin, Temur Kutsia
  • Journal Title: Advances in Databases and Information Systems. As sociated Workshops and Doctoral Consortium of ADBIS 2009. Proceedings. LNCS 5968 Pages: 104-112
  • Peer Reviewed
• [Journal Article] Strategies in PρLog (2010)
  • Author(s): Besik Dundua, Temur Kutsia, Mircea Marin
  • Journal Title: 9^<th> Intl Workshop on Reduction Strategies in Rewriting and Programming(WRS'09). Electronic Proceedings in Theoretical Computer Science EPTCS 15 Pages: 32-43
  • Peer Reviewed
• [Journal Article] Factorizations of Regular Hedge Languages (2010)
  • Author(s): Mircea Marin, Adrian Craciun
  • Journal Title: Proceedings of SYNASC 2010. IEEE Computer Society Order Number P3964 Pages: 307-314
  • Peer Reviewed
• [Journal Article] Origami Fold as Algebraic Graph Rewriting (2010)
  • Author(s): Ida, T, Takahashi, H
  • Journal Title: Journal of Symbolic Computation 45 Pages: 393-413
  • NAID: 120007138181
  • Peer Reviewed
• [Journal Article] Linear Systems for Regular Hedge Languages. (2009)
  • Author(s): M.Marin, T.Kutsia.
  • Journal Title: ADBIS 2009.(J.Grundspenkis, M.Kirikova, Y.Manoloupoulos, L.Novickis, editors)(Revised Selected Papers. Riga, Latvia. LNCS 5968) Pages: 104-112
  • Peer Reviewed
• [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting (2008)
  • Author(s): Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
  • Journal Title: Electronic Notes in Theoretical Computer Science 216 Pages: 31-44
  • Peer Reviewed
• [Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar (2008)
  • Author(s): T. Nishiyama, Y. Minamide
  • Journal Title: Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148 Pages: 122-131
  • Peer Reviewed
• [Journal Article] Order-sorted Unification with Regular Expression Sorts.
  • Author(s): T.Kutsia, M.Marin.
  • Journal Title: Proceedings of the 21^<st> Internatlonal Conference on Rewri ting Techniques and Applications (RTA 2010), July 11-13, 2010, Edinburgh UK.Vol.6 of the Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, Germany(Ch.Lynch, editor) Pages: 193-208
  • Peer Reviewed
• [Presentation] Order-sorted unification with regular expression sorts. (2009)
  • Author(s): T.Kutsia, M.Marin.
  • Organizer: Procs.of UNIF 2009.(Ch.Lynch, P.Narendran, editors)
  • Place of Presentation: Montreal, Canada.
  • Year and Date: 2009-08-02
• [Presentation] On the Computation of Quotients and Factors of Regular Languages (2009)
  • Author(s): Mircea Marin, Temur Kutsia
  • Organizer: Sixth Asian Workshop on Foundations of Software(AWFS 2009). GRACE TR 2009-01, pages 67-78
  • Place of Presentation: National Institute of Informatics, Tokyo
  • Year and Date: 2009-04-07
• [Presentation] 動的に生成されるHTML文書の妥当性検査 (2008)
  • Author(s): 西山拓哉,南出靖彦
  • Organizer: 日本ソフトウェア科学会第25回大会
  • Place of Presentation: 筑波大学東京キャンパス
  • Year and Date: 2008-09-10
• [Presentation] Matching with Membership Constraints for Hedge and Context Variables. (2008)
  • Author(s): M.Marin, T.Kutsia.
  • Organizer: Procs.of UNIF 2008, pp.55-68.(M.Marin, editor)
  • Place of Presentation: Castle of Hagenberg, Austria.
  • Year and Date: 2008-07-18
• [Presentation] Matching with Membership Constraints for Hedge and Context Variables (2008)
  • Author(s): Mircea Marin, Temur Kutsia
  • Organizer: 22nd International Workshop on Unification (UNIF 2008)
  • Place of Presentation: Castle of Hagenber9, Austria
  • Year and Date: 2008-07-18
• [Remarks] ホームページ等
  • URL: http://www2.score.cs.tsukuba.ac.jp/projects/RBPforXML
• [Remarks]
  • URL: http://www2.score.cs.tsukuba.ac.jp/projects/RBPforXML
• [Remarks]
  • URL: http://www2.score.cs.tsukuba.ac.jp/projects/RBPforXML