5 Hits in 3.4 sec

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios [chapter]

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003 Lecture Notes in Computer Science  
We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied scenarios.  ...  This work has been partially supported by Status ESPIRIT project (IST-2001-32298) and the Aedus EPSRC platform grant GR/R95715/01  ...  Conclusions and Future Work The LTSA-MSC tool [4] has been used successfully on a number of medium-sized case studies.  ... 
doi:10.1007/3-540-36577-x_44 fatcat:sivrn5npmvaj7g3hagkemsauiu

Architecture-Centric Testing for Security [chapter]

Sarah Al-Azzani, Ahmad Al-Natour, Rami Bahsoon
2014 Agile Software Architecture  
This thesis presents a novel architecture-centric approach, which uses Implied Scenarios (IS) to detect design-vulnerabilities in the software architecture.  ...  Rami Bahsoon, for his endless support and guidance. His enthusiastic encouragement, useful critiques, and willingness to give time so generously have been very much appreciated.  ...  The scenarios and the hMSC models were fed into the LTSA-MSC tool to search for and detect ISs.  ... 
doi:10.1016/b978-0-12-407772-0.00009-5 fatcat:k764y7cq7bgavplxl2ovqbbdji

Tool support for model-based engineering of Web service compositions

H. Foster, S. Uchitel, J. Magee, J. Kramer
2005 IEEE International Conference on Web Services (ICWS'05)  
In this paper we describe tool support for a modelbased approach to verifying compositions of web service implementations.  ...  The tool is implemented as a plug-in for the Eclipse development environment providing cooperating tools for specification, formal modeling and trace animation of the composition process.  ...  Through the tool, the MSC specification synthesized to FSP using the LTSA-MSC plug-in can be included in the composed model.  ... 
doi:10.1109/icws.2005.119 dblp:conf/icws/FosterUMK05 fatcat:25qodlckmjfzhghau4wdg74awy


Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
In this paper we describe a tool for a model-based approach to verifying compositions of web service implementations.  ...  The tool supports verification of properties created from design specifications and implementation models to confirm expected results from the viewpoints of both the designer and implementer.  ...  LTSA model checking capabilities (for safety and liveness checks) are then used to detect implied scenarios.  ... 
doi:10.1145/1134285.1134408 dblp:conf/icse/FosterUMK06 fatcat:w4juyg7jsbcbzlvs7evh2uozfu

VM-Flow [chapter]

Ivo J. G. dos Santos, Edmundo R. M. Madeira
2004 IFIP International Federation for Information Processing  
The European Commission is not responsible for its contents, or liable for the possible effects of any usage of the information contained therein.  ...  The CONTRACT project is co-funded by the European Commission under the 6th Framework Programme for RTD with project number FP6-034418.  ...  BPEL4WS model in FSP for use within LTSA, 4 use LTSA model checker to detect possible additional (implied) scenarios that the model supports but that were left unspecified or undefined by the user, and  ... 
doi:10.1007/1-4020-8155-3_15 fatcat:tdnlcms72rbznjvwphoztdx37y