IPSJ SIG Technical Report Vol.2015-SE-189 No /7/23 iarch-u 1,a) 1,b) 1,c) 1,d) Archface-U iarch-u Partial Model !" %&)*+,-./ :;<

Size: px

Start display at page:

Download "IPSJ SIG Technical Report Vol.2015-SE-189 No /7/23 iarch-u 1,a) 1,b) 1,c) 1,d) Archface-U iarch-u Partial Model !" %&)*+,-./ :;<"

としみかたづ
5 years ago
Views:

1 iarch-u 1,a) 1,b) 1,c) 1,d) Archface-U iarch-u Partial Model !" %&)*+,-./ :;<=> ( 1) Archface-U [7] Archface-U Archface-U iarch-u 2 Archface-U 3 1 Kyushu University a) fukamachi@posl.ait.kyushu-u.ac.jp b) ubayashi@ait.kyushu-u.ac.jp c) hosoai@qito.kyushu-u.ac.jp d) kamei@ait.kyushu-u.ac.jp!"#$ %& '( 2?@!"#$%&' EFGH (')"#$%&'*+7ABCD, 1 Archface- U Partial Model 4 Archface-U iarch-u 6 2. Archface-U 2.1 Diego (Location) (Level) (Nature) 3 []( 2) Archface-U Diego

2 1 0 1 Archface-U 0 ( ) 3. 2 Diego [] Famelis Partial Model [2] Archface-U [7] 3.1 Partial Model Famelis Partial Model Partial Model Diego Archface-U Partial Model 3 P2P 6 (a-f) Partial Model (g) Partial Model Partial Model OR Partial Model Partial Model Φ M Φ P Φ M Φ P Φ M Φ P SAT SAT 1 2

どれを実装するかが不確か実装するかどうかが不確か 4 Archface-U 3 P2P 6 (a-f) Partial Model (g)[2] 1 Partial Model M p [2] Φ M Φ P Φ M Φ P Property p SAT SAT Maybe SAT UNSAT True UNSAT SAT False UNSAT UNSAT (error) True

3 どれを実装するかが不確か実装するかどうかが不確か 4 Archface-U 3 P2P 6 (a-f) Partial Model (g)[2] 1 Partial Model M p [2] Φ M Φ P Φ M Φ P Property p SAT SAT Maybe SAT UNSAT True UNSAT SAT False UNSAT UNSAT (error) True False Maybe Φ M Φ P Φ M Φ P SAT Φ M Φ P Φ M Φ P Maybe UNSAT Partial Model error 3.2 Archface-U Archface-U Archface [6] Archface-U [7] Archface Java Archface Archface Archface iarch Archface Archface-U Archface-U Archface Certain Archface Uncertain Archface 2 ( 4) Uncertain Archface Certain Archface Archface-U Component-and-Connector [1] Archface-U Archface-U 2 (1) (2) 2 1 Alternative 2 Optional Archface-U Java Archface-U Certain Archface Certain Archface Archface 2 3 P2P 3

1 interface component Node{ 2 void start(); 3 void cancel(); 4 void completed(); } 6 uncertain component unode extends Node{ 7 [void restart();] 8 { 9 void share(), 10 void share(file file) 11 }; 12

4 1 interface component Node{ 2 void start(); 3 void cancel(); 4 void completed(); } 6 uncertain component unode extends Node{ 7 [void restart();] 8 { 9 void share(), 10 void share(file file) 11 }; 12 } interface connector cp2psystem{ 1 Node = (Node.start -> Node.cancel -> Node); 16 } 17 uncertain connector ucp2psystem 18 extends cp2psystem{ 19 Node = (Node.start -> Node.completed 20 -> [Node.restart] -> Node.cancel -> Node); 21 } P2P Archface-U interface component Java Java start interface connector FSP Finite State Process [4] Node.start Node.cancel Node Uncertain Archface Uncertain Archface Optional Alternative 2 2 Optional [] Alternative {} Uncertain Archface Uncertain Archface Uncertain Archface Certain Archface!"#$%&'-./012!"#$%&'()*+,!"#$%&#'()9:;<=>?@ *&"+,&-./01'-9:;<=>?@ AB ,8 6 Uncertain Archface Java 1 Uncertain Archface uncertain connector Node restart Optional start -> completed -> restart -> cancel start -> completed -> cancel 2 3 (a) (b) Partial Model Archface-U [7] Partial Model Archface-U 3.3 ( 6) Partial Model Partial Model [2] Partial Model Archface-U Partial Model Archface-U Archface-U 3.2 4

5 ()*+,-./!"#$%&#'()01234,678 9:2%7./!"#$ 7 ;<=>?@AB"%%*+ ;<=>?@AB CD%&'*+EF!" #$ %&' iarch-u Archface-U 3.2 Optional Alternative 4. iarch-u Archface iarch iarch-u iarch-u Archface-U LTSA (Labelled Transition System Analyser) [4] ( 4) 4.1 Archface-U Archface-U Eclipse Archface-U Archface-U Java Archface-U 3.2 Java Archface-U Eclipse XText API AST(Abstract Syntax Tree) ( 8) 4.2 [3] Archface-U JUnit AspectJ AspectJ Weaving 4.3 LTSA LTSA Magee [4] LTSA LTS Labelled Transition System FSP 3.2 Archface-U FSP Optional Alternative LTSA LTSA Archface-U. 3 P2P P2P 3 (a) (b) (a) (b) Seeding restart DevOps ( ) DevOps (a) (b)

1 節にも示したとおり Partial Model を作成することでこのフロー自体のプロパティ *1 について検査を行うことができ顧客が提示する不確かな要求がフローの前提条件を崩さないかを確認することができる次に不確かさを包容しつつも安全性が確認できた設計モデルを実装に落としこむことを考えるこのとき本開発プロセスでは Partial Model を Archface-U

6 情報処理学会研究報告!"#$%&#'()!"#"!"# *+,!$%&'()" 図 8 Archface-U コンパイラエディタもあり得る.1.2 我々の開発プロセスによる不確かさへの対処不確かさの表現: まず設計段階で発生した restart を *+,#$%&'(&)!"#$%&#'() 行うかどうかという Optional な不確かさを表すことを考える我々のアプローチではこの Optional な不確か!"#! さを設計段階では Partial Model を使って表すことがで!" きる 3.1 節にも示したとおり Partial Model を作成することでこのフロー自体のプロパティ *1 について検査を行うことができ顧客が提示する不確かな要求がフローの前提条件を崩さないかを確認することができる次に不確かさを包容しつつも安全性が確認できた設計モデルを実装に落としこむことを考えるこのとき本開発プロセスでは Partial Model を Archface-U へ変換する Archface-U へ変換することで Partial Model で表現された不確かさを引き継いだまま実装へつなげることができる Archface-U は単なるドキュメントとして不確かさを実装へ引き継ぐだけではなく 3.2 節でも述べたように Archface-U は実装に対して型検査を行う型検査をこの例に用いた場合現在モデル (a) (b) のいずれに従って実装を行っているかを確認することが可能となる (図 9) これは 4.1 節で述べたコンパイラによるメッセージによって確認をすることができるまたモデル (a) (b) のいずれにも従っていない実装を行っている場合その結果がコ *1 例えば今回の例ではどの状態においても Idle 状態へ戻ることができるなどが考えられる 201 Information Processing Society of Japan 図 9 Archface-U の型検査による実装が従っているモデルの判別ンパイルエラーとして表示されるそのため不確かさを抱えている場合でも設計に従った実装を行うことが可能となる不確かさの解決: 不確かさが実装段階で解決される場合を考える今回の例では実装段階で顧客がモデル (a) の設計でシステムを作って欲しいと要求が確定したとするこのことで不確かさが解決したため Archface-U の記述を変更することで不確かさが解決したことを表す具体的には Archface-U において restart の記述を削除するだけでよい逆に顧客がモデル (b) を望んだ場合は restart の [ ] を外すことによって確定することができる.2 不確かさが実装段階で発生実装段階で解決この節では実装段階で不確かさが発生し実装段階で 6

7 !" #$ %&'()#$*+, %&'()#$*-.!"#$%&'!"#$%&()*%+,)*%' Archface-U (1) Archface-U (2) Archface-U 10 Archface-U VCS.2.1 P2P share share share share File.2.2 : Archface-U share Alternative Archface-U Archface-U Git VCS( : Version Controll System) Archface-U share share VCS ( 10) : 2 (1) (2) P2P share share share share bigdatashare bigdatashare share : Archface-U share bigdatashare Alternative share bigdatashare 2 : Archface-U AOP (Aspect Oriented Programming) 4.2 Weaving AspectJ ( 11) share 7

8 !"#$%!"#$%"!"#$$ %&$%'()&* +,&$% -(.)/%&$%01#2&34*!"#$"%&' (!)#$*%&' ( 11!"#$" ()*+,-. &"*+,-./0&'($)* 1234#"#)#$*%&!"#$%&#'().6%&27#!&/!(89(6&6%/+,-**!"#$"%&'.6%&27#!&/:6!&2%#.6/.+,-*!"#!$%&'+,-** / &!)#$*%&0 ' 1234#"#)#$*%& 6'!"#/012()*+34 Archface-U bigdatashare share bigdatashare Archface-U 6. Archface-U iarch-u P2P Archface-U A [1] Allen, R. and Garlan, D.: Formalizing Architectural Connection, Proceedings of the 16th International Conference on Software Engineering, pp (1994). [2] Famelis, M., Salay, R. and Chechik, M.: Partial Models: Towards Modeling and Reasoning with Uncertainty, Proceedings of the 34th International Conference on Software Engineering, pp (2012). [3] Fukamachi, T., Ubayashi, N., Hosoai, S. and Kamei, Y.: Poster: Conquering Uncertainty in Java Programming, Proceedings of the 37th International Conference on Software Engineering, pp (201). [4] Magee, J. and Kramer, J.: State Models and Java Programs (1999). [] Perez-Palacin, D. and Mirandola, R.: Uncertainties in the Modeling of Self-adaptive Systems: A Taxonomy and an Example of Availability Evaluation, Proceedings of the th ACM/SPEC International Conference on Performance Engineering, pp (2014). [6] Ubayashi, N., Nomura, J. and Tamai, T.: Archface: A Contract Place Where Architectural Design and Code Meet Together, Proceedings of the 32nd International Conference on Software Engineering, pp (2010). [7] Java. Vol. 201, No. 21, pp. 1 8 (201). 8

情報処理学会研究報告 IPSJ SIG Technical Report Vol.2015-SE-187 No /3/12 Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U

情報処理学会研究報告 IPSJ SIG Technical Report Vol.2015-SE-187 No /3/12 Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U iarch-u iarch-u Partial Model 1. Known Unknown Unknown Unknown Known Unknown 1 Kyushu University a) fukamachi@posl.ait.kyushu-u.ac.jp