Computer Science – Software Engineering
Scientific paper
2011-03-14
Computer Science
Software Engineering
8 pages, 12 figures
Scientific paper
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One (ASN.1 - a very popular specification language with many applications), into the powerful algebraic specification language CafeOBJ. The resulting code can be used to check, validate and falsify critical properties of systems, at the pre-coding stage of development. In this paper, we introduce some key elements of ASN.1 and CafeOBJ and sketch some first steps towards the implementation of such a tool including a case study.
Barlas Konstantinos
Koletsos George
Stefaneas Petros
No associations
LandOfFree
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-138211