研究者詳細 - 結縁　祥治

論文 - 結縁　祥治

分割表示 84 件中 61 - 80 件目／全件表示 >>

*Web Automata: A Behavioral Model of Web Applications based on the MVC 査読有り

Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa

Computer Software 22 巻頁： 44-57 2005年

担当区分：筆頭著者記述言語：英語掲載種別：研究論文（学術雑誌）

We propose a behavioral model of web applications
based on the MVC(Model View and Control)
model architecture. The MVC model architecture
separates design concerns to improve the overall
software quality. Since the architecture defines the
abstract outline of the configurations, there is a
broad gap between coding web applications and its
behavioral property.
We propose a behavioral model, called 'Web Automata',
to implement the MVC architecture. We
model the behavior of a web application with dynamic
contents as an extension of links-automata
proposed by Stotts et.al. As extended in the model
checking techniques, we view a web application as a
data-independent system, where variables appearing
in link parameters and form inputs are attached
to each page.
We propose a testing framework for web applications
based on the behavioral model. We show it
provides testing criteria for web applications when
we focus on the loops on the behavior automata.
We apply our framework to the Jakarta Struts by
presenting the extended configuration schema of
Struts in order to describe the web automata directly.

通信プロセスモデルに基づく並行オブジェクト指向言語によるAIBOプログラムの動作記述査読有り

末次亮、結縁祥治、阿草清滋

ソフトウェア工学の基礎ワークショップFOSE2005 頁： 267-276 2005年11月

*Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation 査読有り

Irek Ulidowski, Shoji Yuen

The Journal of Logic and Algebraic Programming 60-61 巻頁： 401-460 2004年12月

記述言語：英語掲載種別：研究論文（学術雑誌）

We propose a uniform framework, based on the Ordered Structural Operational Semantics (OSOS)
approach of Ulidowski and Phillips [Information and Computation 178 (1) (2002) 180], for process
languages with discrete relative time. Our framework allows the user to select favourite process
operators, whether they are standard operators or new application-specific operators, provided that
they are OSOS definable and their OSOS rules satisfy several simple conditions. The obtained timed
process languages preserve a timed version of rooted eager bisimulation preorder and the time determinacy
property. We also propose several additional conditions on the type of OSOS definitions for
the operators so that several other properties which reflect the nature of time passage, such as the
maximal progress, patience and time persistence properties, are also satisfied.

Name-passing style GUI programming in the π-calculus-based language Nepi 査読有り

ARTS2004(6th AMAST Workshop on Real-Time Systems)Technical Report University of Leicester ( 2004/28 ) 頁： 49-66 2004年

FCDG に基づいたコーディングパターン査読有り

コンピュータソフトウェア 21 巻 ( 4 ) 頁： 27-36 2004年

時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述査読有り

桑原寛明、結縁祥治、阿草清滋

情報処理学会論文誌 45 巻 ( 6 ) 頁： 1498-1507 2004年

記述言語：日本語掲載種別：研究論文（学術雑誌）

組み込みシステムなどのプログラミングに用いられるオブジェクト指向言語の時間特性を形式的に記述することによってその振る舞いをできるだけ精密に特徴づけた。π計算に時間経過を導入するによって、オブジェクトの時間的振る舞いを定式化する。このことによって、小規模な実時間システムのプログラムの検証の直接的な基盤モデルを確立した。

An Approach for Debugging Client Dynamic Web Applications 査読有り

Mohammed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa

45 巻頁： 2373-2383 2004年

π計算に対する時間拡張と代数的意味論査読有り

桑原寛明、結縁祥治、阿草清滋

ソフトウェア工学の基礎ワークショップFOSE2004 頁： 97-108 2004年11月

時間オートマトンの遷移制約記述に基づくAIBOプログラムスケルトンコードの生成手法査読有り

末次亮、結縁祥治、阿草清滋

組込みソフトウェアシンポジウム2004 頁： 126-133 2004年10月

Testing Framework for Web Applications based on the MVC model with Behavioral Description 査読有り

Shoji Yuen, Keishi Kato, Daiju Kato, Shinichiro Yamamoto, Kiyoshi Agusa

Proceedings of ICITA 頁： 11-4:1-6 2004年1月

実行可能なメモリモデルに基づくJava並行プログラムのモデル検査査読有り

深谷直彦、結縁祥治、阿草清滋

ソフトウェア工学の基礎ワークショップFOSE2003 頁： 227-238 2003年11月

時間つきπ計算によるリアルタイムオブジェクト指向言語の形式的記述査読有り

桑原寛明、結縁祥治、阿草清滋

オブジェクト指向最前線頁： 69-76 2003年8月

Process Languages for Rooted Weak Preorders

Irek Ulidowski, Shoji Yuen

Technical Report , University of Leicester 2002 巻 ( 11 ) 2002年

NATによる準マルチホーム化技法査読有り

梶田将司、結縁祥治

情報処理学会論文誌 42 巻 ( 12 ) 2001年

記述言語：日本語掲載種別：研究論文（学術雑誌）

本論文では、ネットワークの基幹に属さない任意の規模のネットワークが局所的なポリシーに基づいて複数のインターネット接続を行う方法を提案する。本手法では、NAT(ネットワークアドレス変換)を用いて複数の外部ネットワークをプライベートネットワークにマッピングすることによる複数接続を実現する。本技法によるマルチホーム化は、ネットワークが異なる複数のグローバルアドレスを用い、接続する側の利用者が通信先に応じて経路を選択することで、一方的に信頼性、効率の向上をもk的とするため、通常のマルチホーム化と区別し、準マルチホーム化と呼ぶ。準マルチホーム化によって、複数の対外接続を局所的なポリシーに基づいて制御することができるようになるため、実際の運営形態に応じた柔軟な負荷の分散と接続の確保が可能になる。最後に名古屋大学情報メディア教育センターにおける本技法の実現方法および評価を示す。

Timed Properties for Process Languages with Time 査読有り

Irek Ulidowski and Shoji Yuen

In Proceedings of SCI2001, Volume XIV 頁： 344-349 2001年

担当区分：筆頭著者記述言語：英語

We present a uniform framework for defining timed process languages
based on the OSOS(Ordered Structural Operational Semantics)
approach
proposed by Ulidowski and Phillips. Our aim is
to develop a general method for extending arbitrary process
languages with temporal actions. An application of this
method to a process language, for example CCS or CSP,
produces an extension of the language with additional process
operators and the notion of time that are most suitable
a task in hand. We review several important properties of
time passage, for example time determinacy,
and propose several syntactic conditions which
guarantee these properties in a process language
with time.

General Process Languages with Time

Irek Ulidowski, Shoji Yuen

Technical Report, University of Leicester 2000 巻 ( 41 ) 2000年

Process Languages for Rooted Eager Bisimulation 査読有り

Lecture Notes in Computer Science 1877 巻頁： 275,289 2000年8月

*Testing Theory for Probabilistic Processes 査読有り

Rance Cleaveland, Zeynep Dayar, Scott Smolka, Shoji Yuen

Information and Computation 154 巻頁： 93-148 1999年

正則な実時間通信プロセスに対するテスト擬順序の記号的特性化

電子情報通信学会論文誌 J80-D-1 巻 ( 6 ) 頁： 474-485 1997年

Extending Process Language with Time 査読有り

Lecture Notes In Computer Science 1349 巻 1997年

　前のページ - 次のページ　

<結縁 祥治>

論文 - 結縁 祥治

<結縁　祥治>

論文 - 結縁　祥治