CSPベースのモデル検査ツール「Process Analysis Toolkit」
本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の１つとして注目されている手法である。
InfoQ
InfoQ
トピック・タグ別の表示
仕様に関するすべてのコンテンツ
仕様に関する最新コンテンツ
仕様に関するNews
HTTPbisワーキンググループ、HTTP/2.0の検討をスタート
RackspaceのMark Nottingham氏は最近、HTTPbisワーキンググループのミーティング、HTTP/1.1仕様の明確化、HTTP/2.0の検討を可能にするチャーターの変更をもたらしたSPDYの影響について語った。
HTML5 (WebSockets)の脆弱性?
Lori Macvittie氏がWebSocketsの脆弱性について懸念を表明している。WebSocketsにはHTTPヘッダやMIMEタイプがないからだ。セキュリティに関してWebSocketsの土台はどのようにあるべきかを考える時期に来ているようだ。
Apache、HTTP Server 2.4で17周年を祝う
ApacheはHTTP Serverのバージョン2.4をリリースした。これにはパフォーマンスの改善、並行処理の強化、非同期I/Oサポート、リソースフットプリントの削減などが含まれる。
ebXML RegRep v4.0が承認される
OASISはebXMLレジストリとebXMLリポジトリ(RegRep)の仕様のバージョン4.0が標準として認められたと発表した。しかし、ウェブサービスが廃れ、RESTが普及したクラウドの世界にebXMLの役割はあるのか。
HTTP API進化に関するベストプラクティス
HTTP API発展性へのベストプラクティスのタイトルが示すようにBenjamin Carlyle氏は、HTTP APIに関するシステムを設計する際の原則とプラクティスを定義した。システムとは、拡張可能で、時間とともに進化するものである。
仕様に関するArticle
書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介
Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』（「Alloy本」）を紹介する。
実践RESTful HTTP
Gregor Roth氏から、RESTful HTTPの基礎に関してオーバービューを提供し、RESTful HTTPアプリケーションを設計する上で開発者が直面する典型的な問題に関して取り上げる。その中で、RESTアーキテクチャスタイルをいかに実践していくかを示す。Gregor氏は、URIの命名の共通して利用されるアプローチや、統一インターフェースをつかったリソースへのインタラクション、PUTとPOSTの使い分け、CRUD以外の操作のサポートなどについてとりあげている。
HTTPSコネクションの最初の数ミリ秒
HTTPSコネクションを確立するとき、一体何が起こっているのだろう。この記事では安全なコネクションを準備するためにクライアントとサーバの間でどのようなデータの交換が行われているのか、バイトレベルまで詳細に分析する。
企業から見たSOAガバナンス
Michael Poulin氏が OASIS SOA Reference ModelとReference Architectureの概念を使って、SOAガバナンスがEnterprise SOAの成功を確実にするために必要な理由を説明します。