• Communication of ideas between people and machines
• Completeness checking
• Race condition analysis
• Test case generation
• Viability in terms of indicators such as cost and estimation
• Transformation into an implementation
• The analyst's concerns are not the programmer's—so much so that analysis blueprints are merely advisory, and likely bad advice at that.
• The language in which modelers construct the blueprints is often ill defined and difficult to translate reliably into code.
• The blueprints are out-of-date before they're even finished.
• Modelers often intend these blueprints to predict the unpredictable—the creative act of inventing abstractions in code.
Stephen J. Mellor is vice president and cofounder of Project Technology, a company focused on tools to execute and translate UML models in the context of Agile MDA. His work focuses on creating effective engineering approaches to software development. He received a BA in computer science from the University of Essex, UK. He's the coauthor of Model-Driven Architecture Distilled (Addison-Wesley, 2004). He is a member of the IEEE Software Industrial Advisory Board. Contact him at firstname.lastname@example.org; www.projtech.com.
Anthony N. Clark is a lecturer in computer science at King's College London. His research interests include designing and implementing languages for system modeling. He received a PhD in computer science from London University. He is a member of the British Computer Society. Contact him at the Dept. of Computer Science, King's College London, Strand, London, UK WC2R 2LS; email@example.com; www.dcs.kcl.ac.uk/staff/anclark.
Takao Futagami is a chief consultant at Toyo. His research interests focus on embedded engineering. He received a bachelor's degree in physics from Tsukuba University. He is a member of the Information Processing Society of Japan. Contact him at Toyo Corp., 1-1-6 Yaesu, Tokyo, Japan; firstname.lastname@example.org; www.toyo.co.jp/ss.