Abstract
In this chapter, we emphasize a constructive method for managing the complexity of large distributed system. The method, so called “Evolutionary” one, is based on well known and very simple principles. Designing a complex distributed system needs a deep understanding of the Requirements Document. Thus our method is mainly a methodology for building trusted system requirement document. It is based on mixing both semi formal (UML based) and formal (Z) notations, and an incremental process to which Validation and Verification stages are applied. Of course the “Evolutionary method” is restricted to the capabilities offered by the 2 used notations. In other words we suggest a methodology that warrantees the formal static specification of a distributed system, and that needs some complementary tools/techniques warranting the formal dynamic specification.
Chapter responsible.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Abrial, E. Borger, and H. Langmaack. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
J. Abrial and D. Schuman. A Specification Language, chapter On the Construction of Programs. Cambridge Academic Press, 1980.
R. Balzer. A 15 year perspective on automatic programming. IEEE TSE, 11(11):1257–1268, 1985.
W. Boehm. Software engineering. IEEE Transactions on Computers, 25:1226–1241, December 1976.
[CAB+94]_D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented development. The Fusion method. Prentice Hall Int., 1994.
P. Descartes. Le discours de la m’ethode. 1656.
M. E. Fagan. Design and code inspection to reduce errors in program development. I.B.M. Systems Journal, 15(3), 1976.
I. Jacobson G. Booch and J. Rumbaugh. The Unified Modeling Language. Object Technology Series. Addison-Wesley, 3 edition, 1999.
JML group. Jml, java modelling language. Technical report, 2000.
D. Hatley and I. Pirbhai. Strategies for Real-Time System Specifications. Dorset House, New York, 1987.
B. Kernigham and R. Pike. The Unix Programming Environment. Prentice-Hall Inc., New Jersey.
L. Lamport. The temporal logic of actions. ACM Toplas, 16(3):872–923, May 1994.
M. Lemoine, P. Thuillier, and J.-L. Wippler. Validating requirements: The evolutionnary approach. In Computer Software and Application Conference (COMPSAC98), August 1998.
OMG. Object constraint language. Technical report, http://www.omg.org.
D. Ross. Strutured analysis (sa): a language for communicating ideas. IEEE-TSE, 3(1), 1977.
RTCA (Radio Technical Commission for Aeronautics). Software consideration in Airborne Systems and Equipment Certification.
M. Spivey. The Z notation-A reference manual. Prentice Hall Int., 1989.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Kluwer Academic Publishers
About this chapter
Cite this chapter
Lemoine, M., Gaudiére, G. (2004). From UML to Z. In: Kordon, F., Lemoine, M. (eds) Formal Methods for Embedded Distributed Systems. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7997-4_3
Download citation
DOI: https://doi.org/10.1007/1-4020-7997-4_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7996-2
Online ISBN: 978-1-4020-7997-9
eBook Packages: Springer Book Archive