Yue,T,Briand L C,Labiche Y.Automatically deriving a UML analysis model from a use case model[M].Ottawa:Carleton University,2010
[2]
Horvaáth A,Varroó D,Schoofs T.Model-driven development of ARINC 653 configuration tables //Chris Watkins.Proc of Digital Avionics Systems Conference(DASC).Salt Lake City:IEEE,2010:5.A.5-1-5.A.5-115
[3]
Josko B,Ma Q,Metzner A.Designing embedded systems using heterogeneous rich components //Schreinemakers P.Proc of INCOSE Inter Symp.Utrecht:Springer,2008:247-258
[4]
Yue,T,Briand L C,Labiche Y.A systematic review of transformation approaches between user requirements and analysis models[J].Requirements Engineering,2011,16(2):75-99
[5]
Waignier G,Meur A F,Duchien L.Architectural specification and static analyses of contractual application properties[M].Heidelberg:Springer,2008:152-170
[6]
Luca de Alfaro,Mariёlle Stoelinga.Interfaces:a game-theoretic framework for reasoning about component-based systems[J].Electronic Notes in Theoretical Computer Science,2004,97(22):3-23
[7]
Yue,T,Briand L C,Labiche Y.Model driven engineering languages and systems[M].Heidelberg:Springer,2009:484-498
[8]
Alexandre D,Larsen Kim G.Timed I/O automata:a complete specification theory for real-time systems //Proc of the 13th ACM Inter Conf on Hybrid Systems:Computation and Control.New York:ACM,2010:91-100
[9]
Yue,T,Briand L C,Labiche Y.Automatically deriving a UML analysis model from a use case model[M].Ottawa:Carleton University,2010
[10]
Nicola R D,Segala R.A process algebraic view of input/output automata[J].Theoretical Computer Science,1995,138:391-423
[11]
Josko B,Ma Q,Metzner A.Designing embedded systems using heterogeneous rich components //Schreinemakers P.Proc of INCOSE Inter Symp.Utrecht:Springer,2008:247-258
[12]
Hamadi R,Benatallah B.A petri net-based model for web service composition //Proc of the 14th Australasian Database Conference.Darlinghurst:ACM,2003:191-200
[13]
Waignier G,Meur A F,Duchien L.Architectural specification and static analyses of contractual application properties[M].Heidelberg:Springer,2008:152-170
[14]
Luca de Alfaro,Mariёlle Stoelinga.Interfaces:a game-theoretic framework for reasoning about component-based systems[J].Electronic Notes in Theoretical Computer Science,2004,97(22):3-23
[15]
Alexandre D,Larsen Kim G.Timed I/O automata:a complete specification theory for real-time systems //Proc of the 13th ACM Inter Conf on Hybrid Systems:Computation and Control.New York:ACM,2010:91-100
[16]
Nicola R D,Segala R.A process algebraic view of input/output automata[J].Theoretical Computer Science,1995,138:391-423
[17]
Hamadi R,Benatallah B.A petri net-based model for web service composition //Proc of the 14th Australasian Database Conference.Darlinghurst:ACM,2003:191-200
