CSPベースのモデル検査ツール「Process Analysis Toolkit」
本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の１つとして注目されている手法である。
InfoQ
InfoQ
トピック・タグ別の表示
仕様に関するすべてのコンテンツ
仕様に関する最新コンテンツ
書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介
Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』（「Alloy本」）を紹介する。
仕様に関するNews
ebXML RegRep v4.0が承認される
OASISはebXMLレジストリとebXMLリポジトリ(RegRep)の仕様のバージョン4.0が標準として認められたと発表した。しかし、ウェブサービスが廃れ、RESTが普及したクラウドの世界にebXMLの役割はあるのか。
OASISがサービス指向アーキテクチャのための参照アーキテクチャの基礎のレビュー版を公開
OASISがサービス指向アーキテクチャのための参照アーキテクチャの基礎(SOA-RAF)のレビュー版を公開した。これはSOAをビジネスとITの関心事をサポートするエコシステムとして定義している。
NetworkedHelpDeskのチケット共有API: エンタープライズAPIの将来を垣間見る
企業向けソフトウェアにおけるコラボレーションは、プロセスと技術における課題に悩まされてきた。NetworkedHelpDeskのような業界団体による軽量なオープンAPI仕様の登場は、これら技術的課題の一部を軽減するものだ。これは将来のエンタープライズAPIがどのようなものになるかの一例になるだろう。
収縮の価値
ITとアジャイルの熱狂的な支持者のひとりであるMike Burrows氏はKanbandevグループである議論を始めた。このグループはコミュニティを展開/収縮パターンの探索に連れ出している。氏の始めた議論はInfoQの他の記事で紹介した。その記事では要求を細かく砕いて展開する方が、砕いたものを再度まとめることよりも価値があると考える実践者たちの見方を紹介した。しかし、多くの人がこのパターンは両方とも便利だと思っている。
まとめ直し(collapse) の価値
アジャイル手法では，機能を小さなユーザストーリに分解(“展開”)することを推奨している。しかし，コードが完成した後は，これらを元の機能にまとめ直すべきなのか，それとも全体を１つのユニットとして扱う方がよいのだろうか？ まとめ直し(collapse) に利点があるとすれば，それはどのようなものだろう？
Unicode 6.0.0標準公開
先々週、Unicodeとロケールの標準を管理するUnicodeコンソーシアムはそのサイトにUnicode バージョン 6.0を公開した。この標準はソフトウェアベンダがそのソリューションを国際化するのに利用する記号とロケールの共通集合を示している。このリリースでは初めて完全な仕様が完全な形でオンライン公開されている。