Correct Systems: Building a Business Process Solution

سیستم‌های صحیح به کل فرآیند ساخت یک مدل فرآیند کسب‌وکار نگاه می‌کند، آن را در یک بیانیه رسمی نیازمندی‌ها و ایجاد یک مشخصات دقیق ارائه می‌کند. موضوع تست در طول فرآیند در نظر گرفته می شود و طراحی برای مسائل تست برای این رویکرد اساسی است. یک مدل (زبان) و یک روش ارائه شده است که بسیار قدرتمند، بسیار آسان برای استفاده و قابل استفاده برای \"دنیای جدید\" سیستم های مبتنی بر مولفه و یکپارچه سازی سیستم ها از اجزای قابل اعتماد است. این کتاب حوزه جدیدی را مورد بحث قرار می دهد که هم برای طراحان نرم افزار و هم برای طراحان سخت افزار جالب خواهد بود. مشخصات، طراحی، پیاده سازی و آزمایش را به شیوه کاربر محور با استفاده از تکنیک های ساده رسمی و نموداری با سطح بالایی از کاربرپسندی ارائه می دهد. بخش اول یک مقدمه ساده برای روش همراه با یک مطالعه موردی کامل و واقعی ارائه می دهد. بخش دوم، به تفصیل، نظریه ریاضی پشت روش ها و ادعاهای مطرح شده را شرح می دهد.

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.