Strategies for real-time system specification
Strategies for real-time system specification
An extended systems modeling language (ESML)
ACM SIGSOFT Software Engineering Notes
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Diagram editors=graphs+attributes+graph grammars
International Journal of Man-Machine Studies - Special issue on structure-based editors and environments
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
LEMMA: A Language for Easy Medical Models Analysis
CBMS'97 Proceedings of the 10th conference on Computer based medical systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Unintrusive Ways to Integrate Formal Specifications in Practice
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
A graph based framework for the implementation of visual environments
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
Structured Analysis has been one of the most widely used specification notations of the last decades. Friendliness and flexibility promoted its use, but informality hampered its precision and efficacy. The many proposals that tried to overcome the problem improve precision, but constrain flexibility. They propose formal and specific interpretations of Structured Analysis that, even if meritorious, do not impact on day-to-day practice. To meet the goal, formalization attempts should not try to impose particular interpretations, but they should allow users to tailor the interpretation to their current needs. In this paper, we present a solution that merges precision and flexibility to provide a customizable and formal definition of Structured Analysis. Formalization consists of a set of customization rules and a consistency framework. Customization rules, based on graph grammars, formalize the different behaviors of notation elements by defining a mapping onto a formal model. The consistency framework groups complementary rules, which give different semantics to the same elements, and constrain the scope of each rule, that is, identifies the set of rules that may be affected by a change.