## Memo ## Abstract ここ数年、APIエコノミーのコンセプトにより、ビジネス要素として使用されるパブリックAPIのエコシステムの構築が促進されている。これらのAPIには様々な料金プランがあり、開発者は特定の価格と条件のもとでAPIを利用することができる。これらの条件には、APIの利用を制限する容量制限、別名「制限」が含まれる。さらに、最近のウェブアプリケーションは通常、マイクロサービスアーキテクチャ（MSA）に基づいており、複数のサービスが標準化されたパラダイム（通常はRESTful）を使用してパブリックAPIを通じて互いに通信する。MSAが制限のある外部APIを消費する場合、その制限による能力への影響を分析することが必要です。このようなMSAは、制限を考慮したマイクロサービスアーキテクチャ（LAMA）として知られています。この博士論文の目的は、LAMAの内部トポロジーの正式な記述と外部の料金プランが与えられたときの容量を分析するための自動化されたフレームワークを提供することである。このフレームワークは、開発者がLAMAを構築するのに役立つ有用な情報の抽出を扱う分析作業を解決するために使用されるであろう。 ## 1. Introduction