Specifying the Remote Control of Valves in an Explosion Test Environment
作者： Martin Schönhoff , Mojgan Kowsari
关键词:
摘要: We present parts of the specification a program to remote control and monitor different devices, especially valves, in an explosion test environment. The was developed within industrial national project called CATC carried out PTB, German federal institute weights measures. information system supports various activities user groups that are responsible for testing certifying proof electrical equipment PTB. Our approach is based on formal object-oriented language Troll. describe advantages use method our project.
springer.com
core.ac.uk
sci-hub.st 参考文章(13)
Grit Denker, Semantic refinement of concurrent object systems based on serializability Object orientation with parallelism and persistence. pp. 105- 126 ,(1996) , 10.1007/978-1-4613-1437-0_6
Jonathan P. Bowen, Michael G. Hinchey, Seven more myths of formal methods: Dispelling industrial prejudices formal methods. pp. 105- 117 ,(1994) , 10.1007/3-540-58555-9_91
G. Saake, R. Jungclaus, T. Hartmann, Roelf J. Wieringa, P. Hartel, Udo W. Lipeck, G. Koschorrek, OMTROLL - Object Modeling in Troll Universität Hannover, Institut für Informatik. pp. 267- 283 ,(1993)
G. Denker, Transactions in Object-Oriented Specifications workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 203- 218 ,(1994) , 10.1007/BFB0014429
Hans-Dieter Ehrich, Amilcar Sernadas, Local Specification of Distributed Families of Sequential Objects workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 219- 235 ,(1994) , 10.1007/BFB0014430
M. Krone, M. Kowsari, P. Hartel, G. Denker, H. -D. Ehrich, Developing an Information System Using TROLL: An Application Field Study conference on advanced information systems engineering. pp. 136- 159 ,(1996) , 10.1007/3-540-61292-0_8
Ralf Jungclaus, Roel J. Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann, Combining Troll with the Object Modeling Technique GI Jahrestagung. pp. 35- 42 ,(1994) , 10.1007/978-3-642-51136-3_5
Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich, Information systems modelling with TROLL formal methods at work Information Systems. ,vol. 22, pp. 79- 99 ,(1997) , 10.1016/S0306-4379(97)00006-9
William Lorensen, James Rumbaugh, Frederick Eddy, Michael Blaha, William Premerlani, Object-Oriented Modeling and Design ,(1990)
J.P. Bowen, M.G. Hinchey, Seven more myths of formal methods IEEE Software. ,vol. 12, pp. 34- 41 ,(1995) , 10.1109/52.391826